Hunting for Bugs in Logging: applying JPF to log4j
Supervisor: Franck van Breugel
Description: Java PathFinder (JPF) is a tool that can detect bugs in Java code. The Java library Apache log4j allows developers to control which log statements are output. In the past, Dickey et al.  have attempted to detect bugs in log4j by means of JPF with very limited succes.
Recently, in collaboration with Shafiei (NASA) we have developed an extension of JPF called jpf-nhandler. The aim of this project is to apply this extension to log4j.
 David A. Dickey, B. Sinem Dorter, J. Michael German, Benjamin D. Madore, Mark W. Piper, Gabriel L. Zenarosa. “Evaluating Java PathFinder on Log4J.” 2011.
Required Background: General CSE408x prerequisites