Static analysis tool for discovering vulnerabilities through program metrics
%Supplementary notes can be added here, including code and math.