CodeSurfer/Path Inspector

Authors:
Paul Anderson
Affiliations:
GrammaTech, Inc.
Venue:
ICSM '04 Proceedings of the 20th IEEE International Conference on Software Maintenance
Year:
2004

Citing 0
Cited 1

An empirical framework for comparing effectiveness of testing and property-based formal analysis

PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

CodeSurfer is a powerful source code analysis and navigation tool for a range of languages, including C/C++ and x86 machine code. The Path Inspector is an add-on to CodeSurfer that allows a user to reason about paths through the program, and which can be used to find programming flaws.