Scroll to top
Share
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

Open Website

Features

  • Model checking

  • Abstract interpretation

  • Plugin-based programming language support

  • Builtin server mode

  • compile_commands.json support

  • Mimic GCC and Clang