Equid – a static analysis framework
A sophisticated tool for finding bugs and proving their absence in C/C++ code, this project aims at making analysis easy and worth to apply.
November 1, 2014
c, cpp, pc, static analysis
C, C++, RuC
Memory issues, logic errors