Abstract:
Program code is represented in the form of a sequence of formalized instructions, in which characteristic subsequences of instructions – vulnerabilities – may be marked out. Detection of such subsequences and determination of their functions is fulfilled by means of code semantic analysis on a pattern basis.