2016-2021 Static analysis, Testing

Verification Example Framework

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

ActiveOpen source

Languages

C, C++, RuC, Python

CPU

X86_64, ARM, MIPS

Platforms

Windows, Linux, Mac

GitHub