Robert的博客
·
从fastjson漏洞谈防御式编程
内容提要
最近，fastjson出现了一个漏洞，导致在解析特殊字符时发生OOM。问题在于isEOF函数未能正确判断字符读取情况，建议在isEOF中处理bp + 1 > len的情况，以避免类似问题再次发生。
关键要点
-
fastjson出现了一个漏洞，导致在解析特殊字符时发生OOM。
-
问题在于isEOF函数未能正确判断字符读取情况。
-
在scanString时，读取字符时bp的值会增加，即使没有实际读取字符。
-
isEOF函数未考虑到读取超出总长度的情况，导致永远返回false。
-
防御式编程的原则是不要相信其他工程师，应该考虑到所有可能的异常情况。
-
建议在isEOF中处理bp + 1 > len的情况，以避免类似问题再次发生。
延伸解读
漏洞分析与防御式编程的重要性
fastjson的漏洞揭示了在软件开发中，防御式编程的重要性。开发者不应仅依赖于输入的合理性，而应考虑到各种异常情况的可能性。通过对isEOF函数的改进，可以有效避免类似的OOM问题，确保程序的健壮性。
代码维护中的变量语义问题
在fastjson的实现中，bp的值在未实际读取字符的情况下仍然增加，这导致了变量语义的不清晰。这样的设计不仅增加了代码维护的难度，也可能引发潜在的错误。因此，开发者在设计变量时应确保其语义清晰，以减少后续维护中的混淆。
修复建议与实际应用
针对fastjson的漏洞，建议在isEOF函数中增加对bp + 1 > len的判断。这一简单的修复可以有效防止因读取超出总长度而导致的OOM问题。开发者在实际应用中应重视此类细节，以提升代码的安全性和稳定性。
延伸问答
fastjson漏洞的主要问题是什么？
fastjson在解析特殊字符时出现了OOM，主要是因为isEOF函数未能正确判断字符读取情况。
isEOF函数的错误是什么？
isEOF函数未考虑bp + 1 > len的情况，导致永远返回false。
防御式编程的原则是什么？
防御式编程的原则是不要相信其他工程师，应该考虑到所有可能的异常情况。
如何修复fastjson的漏洞？
建议在isEOF中处理bp + 1 > len的情况，以避免类似问题再次发生。
为什么fastjson的isEOF函数会导致严重问题？
因为isEOF未判断读取超出总长度的情况，导致在特定输入下出现OOM。
在fastjson中，bp变量的作用是什么？
bp变量表示已读取的字符数量，但在没有实际读取字符的情况下也会增加。
