|
|
Trudy SPIIRAN, 2008, Issue 7, Pages 160–169
(Mi trspy353)
|
|
|
|
Vulnerability analysis of program code by pattern techniques
E.L. Evnevich, S.V. Perminov, E.V. Belash, M.A. Vnukov
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.
Citation:
E.L. Evnevich, S.V. Perminov, E.V. Belash, M.A. Vnukov, “Vulnerability analysis of program code by pattern techniques”, Tr. SPIIRAN, 7 (2008), 160–169
Linking options:
https://www.mathnet.ru/eng/trspy353 https://www.mathnet.ru/eng/trspy/v7/p160
|
|