2011 Proceeding- Program Chairs:
- Jeff Foster,
- Lori Pollock
It is our great pleasure to welcome you to the 10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), held September 5, 2011 in Szeged, Hungary. This edition of the workshop is co-located with the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2011). PASTE 2011 continues the tradition of bringing together researchers and practitioners interested in program analysis and its role in solving software engineering problems.
We received 14 submissions of which four long and two short papers were selected by the program committee to appear in the PASTE program. Each submission was reviewed by three PC members. In some cases, additional reviews were solicited from outside experts. We thank the PC members and the external reviewer for their dedication, thorough reviews, and constructive feedback. We also thank the keynote speaker Sumit Gulwani (Microsoft Research) for his willingness to share his latest research and insights with the workshop participants.
Proceeding Downloads
Labeling library functions in stripped binaries
Binary code presents unique analysis challenges, particularly when debugging information has been stripped from the executable. Among the valuable information lost in stripping are the identities of standard library functions linked into the executable; ...
Anywhere, any-time binary instrumentation
The Dyninst binary instrumentation and analysis framework distinguishes itself from other binary instrumentation tools through its abstract, machine independent interface; its emphasis on anywhere, any-time binary instrumentation; and its low overhead ...
Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution
In reverse engineering, dynamic pattern detection is accomplished by collecting execution traces and comparing them to expected behavioral patterns. The traces are collected by manually executing the program under study and therefore represent only part ...
An evaluation of change-based coverage criteria
Various coverage criteria are commonly used to assess the quality of test suites, but achieving full coverage according to these criteria is often impossible or impractical. Our research starts from the popular assumption that a disproportionate number ...
Locating failure-inducing environment changes
Traditionally, debugging refers to the process of locating the program portions which are responsible for a program failure. However, a program also fails when the execution environment does not meet the requirement/assumption of the program. ...
Assessing modularity via usage changes
Good program design strives towards modularity, that is, limiting the effects of changes to the code. We assess the modularity of software modules by mining change histories: The more a change to a module implementation changes its usage in client code, ...
