Equid – a static analysis framework

• 2019-07-02

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: 2014-11-01

Languages: C++

Platforms: Linux, Windows, MacOS

GitHub

Features

• Model checking
• Abstract interpretation
• Plugin-based programming language support
• Builtin server mode
• compile_commands.json support
• Mimic GCC and Clang