cppcheck analysis of cvc3_2.2-13.dsc

./src/theory_arith/theory_arith3.cpp:517 [error] - Dangerous iterator usage. After erase the iterator is invalid so dereferencing it or comparing it with another iterator is invalid.

Note: if you think the results reveal a security bug, please don't hesitate to contact the security team
This report was generated on Mon, 20 Dec 2010 21:13:19 +0000, based on results by cppcheck 1.46

Automated Code Analysis

cppcheck analysis of cvc3_2.2-13.dsc