High performance software vulnerabilities detection system and methods

摘要: This invention teaches a system and methods of detecting software vulnerabilities in computer program by analyzing the compiled code optionally source program. The models to examine both control flow data properties target A comprehensive instruction model is used for each code, complemented graph that includes all potential paths instruction. record unsafe during execution analyzes creates security finding corresponding calls an function on data. findings are aggregated report. further uses precomputation improve performance caching 1-to-many mapping basic block code.