automated-bug-detection:使用C ++和Java +入门工具包进行自动错误检测

自动错误检测 使用C ++ +入门套件进行自动错误检测 C ++入门 Java入门 构建自动的错误检测工具 推断可能的不变性以进行错误检测 void scope1() { A(); B(); C(); D(); } void scope2() { A(); C(); D(); } void scope3() { A(); B(); B(); } void scope4() { B(); D(); scope1(); } void scope5() { B(); D(); A(); } void scope6() { B(); D(); } 我们可以了解到，在函数scope1，scope3和scope5中，函数A和函数B一起被调用了3次。 函数A在函数scope1，scope2，scope3和scope5中被调用了四次。 我们推断，在scope2中一次调用函数A而没有调用B是一个错误，因为