Software Inspection System

专利名称：Software Inspection System

发明人：Mark C. Reynolds,Azer Bestavros,Assaf J.

Kfoury

申请号：US13780448申请日：20130228

公开号：US201402440A1公开日：20140828

专利附图：

摘要：A method for software inspection analyzes a body of computer code to assesswhether the body of computer code contains malware. Various embodiments extract theexecutable elements of the body of computer code and modify those elements using

rules defining the format of instructions for the programming language in which thecomputer code was written, and using rules defined from the security specification ofthat programming language, to produce a model of the body of computer code. Themethod then analyzes the model using a model checking system, which determineswhether any of the language rules have been violated, in which case the method flags thecomputer code as potentially including malware.

申请人：TRUSTEES OF BOSTON UNIVERSITY

地址：Boston MA US

国籍：US

更多信息请下载全文后查看