FORMALIZED METHOD FOR ANALYZING CODE VULNERABILITIES THAT MAY CAUSE ATTACK

摘要

The present invention relates to information technology, in particular to the field of information security. Disclosed is a formalized method for analyzing code vulnerabilities that may cause an attack, specifically comprising searching for hidden execution sequences and hiding codes, and searching for privileged instructions. By applying the solution provided by the present invention, attacks such as a dirty cow vulnerability can be prevented, and unauthorized operations performed during running because of the existence of unnecessary instructions in a file can be prevented.