CodeAuditor: A Vulnerability Detection Framework Based on Constraint Analysis and Model Checking

Open source applications have flourished over recent years. Meanwhile security vulnerabilities in such applications have grown. Since manual code auditing is error-prone, time-consuming and costly, automatic solutions have become necessary. In this paper we address program vulnerabilities by static...

Celý popis

Podrobná bibliografie

Vydáno v:	2009 International Conference on Management and Service Science s. 1 - 4
Hlavní autoři:	Lei Wang, Gui Chen, Jianan Wang, Pengchao Zhao, Qiang Zhang
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.09.2009
Témata:	Application software Automatic control Buffer overflow Computer bugs Flow graphs Formal verification Instruments Pattern analysis Programming Prototypes
ISBN:	1424446384, 9781424446384
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!