Maxim Menshikov
Static analysis reseacher and startup founder
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