Print Email Facebook Twitter Supporting software inspection with static profiling Title Supporting software inspection with static profiling Author Boogerd, C. Moonen, L. Faculty Electrical Engineering, Mathematics and Computer Science Department Software Computer Technology Date 2009-12-31 Abstract Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure, reliable and high quality code. However, an often quoted disadvantage of these tools is that they generate an inordinate number of warnings, including many false positives due to the use of approximate analysis techniques. This information overload effectively limits their usefulness. In this paper we present ELAN, a technique that helps the user prioritize the information generated by a software inspection tool, based on a demand-driven computation of the likelihood that execution reaches the locations for which warnings are reported. This analysis is orthogonal to other prioritization techniques known from literature, such as severity levels and statistical filtering to reduce false positives. We evaluate the feasibility of our technique using a number of case studies and assess the quality of our static estimates by comparing them to actual values obtained by dynamic profiling. To reference this document use: http://resolver.tudelft.nl/uuid:a0566475-d848-46ec-b935-ad37b507e641 Publisher Delft University of Technology, Software Engineering Research Group ISSN 1872-5392 Source Technical Report Series TUD-SERG-2009-022 Part of collection Institutional Repository Document type report Rights (c) 2009 by the authors of this report. Software Engineering Research Group, Department ofSoftware Technology, Faculty of Electrical Engineering, Mathematics and Computer Science, Delft University of Technology. All rights reserved. No part of this series may be reproduced in any form or by any means without prior written permission of the authors. Files PDF TUD-SERG-2009-022.pdf 377.61 KB Close viewer /islandora/object/uuid:a0566475-d848-46ec-b935-ad37b507e641/datastream/OBJ/view