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

• 2019-07-02

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.

Date: 2019

Languages: C, C++, Python, Bash, Rust

Platforms: Linux, Windows, Mac

GitHub

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++).