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
-
Programming languages:
C++
-
Supported languages:
C, C++, RuC
-
Defect classes:
Memory issues, logic errors
-
Platforms:
Linux, Windows, MacOS
Features
-
Model checking
-
Abstract interpretation
-
Plugin-based programming language support
-
Builtin server mode
-
compile_commands.json support
-
Mimic GCC and Clang