How to write system-specific, static checkers in metal

摘要

This volume contains the papers presented at the Fourth ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'02), held as part of SIGSOFT 2002 in conjunction with the 10th International Symposium on the Foundations of Software Engineering (FSE-10), on November 18-19, 2002 in Charleston, South Carolina.In recent years, there has been increasing interest in the use of sophisticated program analysis techniques in software development and maintenance tools. This class of tools includes those used for program understanding, verification, testing, debugging, reverse engineering, and profiling. Not only can such tools make use of analysis techniques previously developed for optimizing compilers, they frequently require the development of entirely new techniques tailored to the requirements of software tools. The goal of PASTE'02 was to bring together members of the program analysis, software tools, and software engineering communities to focus on applications of program analysis techniques in software tools.For the PASTE'02 program, the program committee aimed for a true workshop format (in contrast to a "mini-conference") by soliciting both long and short written contributions, by inviting three distinguished speakers (Dawson Engler, Greg Morrisett, David Notkin) to discuss topics of special interest to the PASTE audience, and by allowing ample time for discussions.A total of 26 papers were submitted, out of which 9 papers were selected by the program committee. Each paper was reviewed by at least three program committee members. The program committee thanks Deepak Goyal and Thomas Reps for their assistance in evaluating the submissions.