编程工具:检测永真永假分支

 

tthp://mathy.xyz/tool/findBug.html

 

  • 功能:检测永真永假分支(网页演示)
  • 红色标记永真分支:当执行到此处入口时,必会进入。
  • 灰色标记永假分支:不会经过此处 | 不会进入此入口。
  • 说明
  • 参数类型:支持简单类型,List, Map,Set, 暂不支持TreeMap等等其它类型。
  • 死循环:只设超时,未有及时退出(待处理)。
  • 算法会尝试回避未定义的类,或因此产生误判。
  • 误判率≤10%, 或误判集合尺寸。eg. list.size()≤123
  • 预期
  • 查找常识性的逻辑错误。eg. a>b => a!=b
  • 学习函数功能,进一步判断编程上的错误。
  • eg. list.clear() =>list 必空
  • 根据规则描述,判断代码中的业务异常。
  • 截图

 

编程工具:检测永真永假分支