FSE’17 paper accepted!

with No Comments

Kostas’s work on “Failure-Directed Program Trimming” will appear at FSE’17! Here is the abstract of the upcoming paper:


We present a new program simplification technique called
program trimming that aims to improve the scalability and precision of
safety checking tools. Given a program P, program trimming generates a
new program P’ such that P and P’ are equi-safe
(i.e., P’ has a bug if and only if P has a bug), but P’ has
fewer execution paths than P. Since many program analyzers are sensitive
to the number of execution paths, program trimming has the potential to
improve the effectiveness of safety checking tools.

In addition to introducing the concept of failure-directed program trimming,
this paper also presents a lightweight static analysis that can be used as a
pre-processing step to remove program paths while retaining equi-safety. We
have implemented the proposed technique in a tool called Trimmer and
evaluate it in the context of two program analysis techniques, namely abstract
interpretation and dynamic symbolic execution. Our experiments show that
program trimming significantly improves the effectiveness
of both techniques.

Leave a Reply

You must be logged in to post a comment.