projects
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
projects [2013/08/23 02:03] – pd | projects [2013/09/03 15:14] – pd | ||
---|---|---|---|
Line 38: | Line 38: | ||
3. | 3. | ||
+ | ------------ | ||
+ | |||
+ | \\ | ||
+ | ======Hunting for Bugs in Logging: applying JPF to log4j====== | ||
+ | |||
+ | **Supervisor: | ||
+ | |||
+ | 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. | ||
+ | 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. | ||
+ | is to apply this extension to log4j. | ||
+ | |||
+ | [1] David A. Dickey, B. Sinem Dorter, J. Michael German, Benjamin D. Madore, Mark W. Piper, Gabriel L. Zenarosa. " | ||
+ | |||
+ | **Required Background: | ||
+ | \\ | ||
+ | ------------ | ||
\\ | \\ | ||
\\ | \\ | ||
Line 49: | Line 70: | ||
\\ | \\ | ||
\\ | \\ | ||
+ | |||
=====Previous Projects from Summer 2013===== | =====Previous Projects from Summer 2013===== | ||
projects.txt · Last modified: 2016/01/13 20:05 by stevenc