Maxim Menshikov

Static analysis researcher and software engineer

Static analysis testing ensemble

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