Title :
The CodeSurfer software understanding platform
Author :
Anderson, Paul ; Zarins, Mark
Author_Institution :
GrammaTech Inc., Ithaca, NY, USA
Abstract :
CodeSurfer is a tool that provides a wide range of program understanding capabilities by exposing the results of a static-semantic analysis to the user in novel and interesting ways. The tool performs a number of whole-program analyses, including pointer analysis, and creates a system dependence graph for the program. The user can browse these dependences through the GUI in a manner akin to surfing the Web. An open architecture fosters the development of plug-ins that can extend the basic functionality. These include tools for reasoning about the paths through the program, and for software assurance.
Keywords :
graphical user interfaces; program diagnostics; reasoning about programs; reverse engineering; software tools; CodeSurfer tool; open architecture; program understanding; software assurance; software understanding platform; static-semantic analysis; system dependence graph; Computer architecture; Data analysis; Flow graphs; Graphical user interfaces; Libraries; Performance analysis; Prototypes; Software tools; Specification languages; Tree graphs;
Conference_Titel :
Program Comprehension, 2005. IWPC 2005. Proceedings. 13th International Workshop on
Print_ISBN :
0-7695-2254-8
DOI :
10.1109/WPC.2005.37
