مرکز منطقه ای اطلاع رساني علوم و فناوري

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 :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1929022