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
