FIELD: computing technology.
SUBSTANCE: invention relates to the field of computer technology for analysing executable binary files and source code using fuzzy logic. The technical result is achieved by means of a system containing a decompiler configured to receive the source code of the input program and present the input program in an intermediate representation (IR) of the target code in a low-level code (LLC), as well as a front end configured to retrieve the representation of the binary code of the input program and present the input program as target LLC IR. The system additionally includes an analyser configured to receive the target LLC IR and analyse the target LLC IR in order to detect vulnerabilities, undocumented functions, and errors of the input program using the predefined rules stored in the module of rules and transmitted to the analyser. The analyser utilises a fuzzy logic mechanism in order to come to substantially more accurate results.
EFFECT: reduce the number of false positive and false negative results and provides functions for eliminating the detected vulnerabilities and errors.
14 cl, 6 dwg, 3 tbl
