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á bibliografia

Vydané v:	2009 International Conference on Management and Service Science s. 1 - 4
Hlavní autori:	Lei Wang, Gui Chen, Jianan Wang, Pengchao Zhao, Qiang Zhang
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.09.2009
Predmet:	Application software Automatic control Buffer overflow Computer bugs Flow graphs Formal verification Instruments Pattern analysis Programming Prototypes
ISBN:	1424446384, 9781424446384
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!