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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2009 International Conference on Management and Service Science S. 1 - 4
Hauptverfasser:	Lei Wang, Gui Chen, Jianan Wang, Pengchao Zhao, Qiang Zhang
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.09.2009
Schlagworte:	Application software Automatic control Buffer overflow Computer bugs Flow graphs Formal verification Instruments Pattern analysis Programming Prototypes
ISBN:	1424446384, 9781424446384
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!