Finesec

A new framework for creating compact models for finding vulnerabilities in C/C++ code