An Algebraic Approach for the Detection of Vulnerabilities in Software Systems

The paper presents an algebraic approach for finding vulnerabilities in a program system that is given as the sequence of processor instructions. The main result of the paper is the transformation of code to algebraic specifications and providing its symbolic modeling for the detection of vulnerability cases that are presented as formulas in logic language. The method anticipates the usage of solving and proving systems integrated with the Algebraic Programming System developed by the authors. A given example illustrates the method.