Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
ASSISTING PROGRAM ANALYSES WITH LIBRARY SYNOPSES Darren C. Atkinson
 

Summary: ASSISTING PROGRAM ANALYSES WITH LIBRARY SYNOPSES
Darren C. Atkinson
Department of Computer Engineering
Santa Clara University
Santa Clara, CA 95053-0566
atkinson@engr.scu.edu
Abstract
Understanding a program based on its source code is te-
dious and error-prone. Unfortunately, such a task is often
necessary due to lack of adequate documentation. To assist
software engineers in this task, automated analysis tools are
often used. Such tools analyze the program source, com-
puting information, and present that information to the tool
user in a useful way. To compute correct information, the
entire program may need to be analyzed; however, most
programs written today use libraries extensively, for which
source code may not be available. Therefore, tools must
somehow model the libraries to summarize their effects.
However, such models are hard to construct by hand and
are often tool-specific, limiting reuse.

  

Source: Atkinson, Darren C. - Computer Engineering Department, Santa Clara University

 

Collections: Computer Technologies and Information Sciences