Summary-Based Pointer Analysis Framework for Modular Bug Finding
Published in Columbia Academic Commons (Columbia University) • Jan 1, 2008
Authors:
Stephen A. Edwards
Abstract
Modern society is irreversibly dependent on computers and, consequently, on software. However, as the complexity of programs increase, so does the number of defects within them. To alleviate the problem, automated techniques are constantly used to improve software quality. Static analysis is one suc...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!