Static analysis
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.
-
Date
November 1, 2014
-
Tags
c, cpp, pc, static analysis
-
Supported languages:
C, C++, RuC
-
Defect classes:
Memory issues, logic errors
