2019 Static analysis

Visao - a static analysis framework

A sophisticated tool for finding bugs and proving their absence in C/C++/Go code, this project aims at making analysis easy and worth to apply.

ActiveHighlightOpen source
Languages
C, C++, Python, Bash, Rust
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++).