F4F: Taint analysis of framework-based web applications
Manu Sridharan, Shay Artzi, et al.
OOPSLA 2011
Many programs have latent bugs that cause the program to fail. In order to fix a failing program, is it crucial to be able to reproduce the failure consistently. However, reproducing a failure can be difficult and time-consuming, especially when the failure is discovered by a user in a deployed application. We present ReCrash, an approach to reproduce failures efficiently, both locally and in deployed applications, without any changes to the host's environment, and with low execution overhead. During execution, ReCrash efficiently stores part of the state of method arguments. If the program fails, ReCrash uses the stored information to create unit tests that reproduce the failure. This is effective because programs written in object-oriented style rely mostly on near-by state. This demo presents ReCrashJ, an implementation of ReCrash for Java. We show the ReCrashJ Eclipse plug-in (for developers) and the ReCrashJ command-line modules (for deployed software).
Manu Sridharan, Shay Artzi, et al.
OOPSLA 2011
Jan Wloka, Manu Sridharan, et al.
ESEC/FSE 2009
Shay Artzi, Julian Dolby, et al.
ISSTA 2010
Frank Tip, Robert M. Fuhrer, et al.
ACM TOPLAS