|
Published Articles >> Table of Contents >> Abstract
21st IEEE International Conference on Automated Software Engineering (ASE'06)
pp. 293-296
Effective Generation of Interface Robustness Properties for Static Analysis
Mithun Acharya, North Carolina State University
Tanu Sharma, North Carolina State University
Jun Xu, North Carolina State University
Tao Xie, North Carolina State University
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.35
Send link to a friend
| Abstract |
|
A software system interacts with its environment through
system interfaces. Robustness of software systems are governed
by various temporal properties related to these interfaces,
whose violation leads to system crashes and security
compromises. These properties can be formally specified
for system interfaces and statically verified against a software
system. But manually specifying a large number of interface
properties for static verification is often inaccurate
or incomplete, apart from being cumbersome. In this paper,
we propose a novel framework that effectively generates interface
properties for static checking from a few generic,
high level robustness rules that capture interface behavior.
We implement our framework for an existing static analyzer
with simple data flow extensions and apply it on POSIX-API
system interfaces used in 10 Redhat-9.0 open source packages.
The results show that the framework can effectively
generate a large number of useful interface properties from
a few generically specified rules.
|
 Additional Information
|
Citation:
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie,
"Effective Generation of Interface Robustness Properties for Static Analysis,"
ase,
pp. 293-296,
21st IEEE International Conference on Automated Software Engineering (ASE'06),
2006
|
|
