Maxim Menshikov

Static analysis researcher and software engineer

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

Languages: C++

Platforms: Linux, Windows, MacOS

GitHub

Image

Features

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