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

Full description

Bibliographic Details

Published in:	2009 International Conference on Management and Service Science pp. 1 - 4
Main Authors:	Lei Wang, Gui Chen, Jianan Wang, Pengchao Zhao, Qiang Zhang
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.09.2009
Subjects:	Application software Automatic control Buffer overflow Computer bugs Flow graphs Formal verification Instruments Pattern analysis Programming Prototypes
ISBN:	1424446384, 9781424446384
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!