DocumentCode
1929022
Title
CodeSurfer/Path Inspector
Author
Anderson, Paul
Author_Institution
Grammatech Inc., Ithaca, NY, USA
fYear
2004
fDate
11-14 Sept. 2004
Firstpage
508
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.
Keywords
C language; program diagnostics; reasoning about programs; C/C++ language; CodeSurfer; Path Inspector; programming flaws; source code analysis; source code navigation tool; x86 machine code; Computer bugs; Costs; Educational institutions; Information analysis; Navigation; Software maintenance; Specification languages; Tree graphs;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Maintenance, 2004. Proceedings. 20th IEEE International Conference on
ISSN
1063-6773
Print_ISBN
0-7695-2213-0
Type
conf
DOI
10.1109/ICSM.2004.1357853
Filename
1357853
Link To Document