Scroll to top
Share
Static analysis

Verification Example Framework

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

  • Tags

    c, cpp, ruc, static analysis, testing

  • Date:

    2016-2021

  • Programming languages:

    C, C++, RuC, Python

Open Website