Maxim Menshikov

Static analysis reseacher and startup founder


Equid - a static analysis framework Static analysis Active Highlights Open-source

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: 2019

Languages: C, C++, Python, Bash

Platforms: Linux, Windows, Mac

GitHub

Image

Features

  • Model checking.
  • Abstract interpretation.
  • Plugin-based programming language support.
  • Builtin server mode via libasp library.
  • compile_commands.json support.
  • Mimic GCC, Clang, Clang-CL (and thus Microsoft Visual C++).