1. A software vulnerabilities detection system comprising: a) compiled code and optionally source code that resulted in said compiled code; b) an instruction model for each instruction of said compiled code comprising instruction location, debug information, instruction type and operands of each said instruction; c) a control flow graph for each said instruction comprising all potential control flow paths for each said instruction; d) a data flow model comprising recorded flow of unsafe data as observed during the execution of said compiled code, said data flow model utilizing a precomputation of data flow inputs and outputs associated with a basic block of said compiled code and optionally said source code; e) computing means for analyzing said instruction model, said control flow graph and said data flow model to obtain a security finding for each said instruction that calls an unsafe function on said unsafe data; and f) a security report comprising each said security finding, said security report comprising said debug information and said source code information if available.