Verification Example Framework Static analysis Active Open-source

The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.

Date: 2016-2021

Languages: C, C++, RuC, Python

CPU: X86_64, ARM, MIPS

Platforms: Windows, Linux, Mac