Maxim Menshikov
Static analysis reseacher and startup founder
Static analysis testing ensemble Static analysis Active
Testing static analysis projects is hard. This project aims to serve as a bridge between Continuous Integration (CI) and Verification Example Framework (VEF).
Date: 2020-2021
Languages: Bash, Python
CPU: X86_64, ARM, MIPS
Platforms: Windows, Linux, Mac