antlr bloat chart eclipse fop hsqldb jython lucene pmd xalan scimark
ASyncIterationCollection
ASyncIterationMap
FailSafeEnum 0[1] 0[2] 0[3]
FailSafeIter 0[4] 0[5] 0[6] 0[7] 0[8]
HasNext 1[9] 1[10] 0[11] 4[12]
HasNextElem 5[13] 0[14]
LeakingSync 0[15]
ReaderTest 0[16] 1[17]
WriterTest
ResetRead 0[18]
StartResume
StartStart 0[19]
StopStop
COUNT 5
SUM 12
[1]
Eric Bodden:
both seem to be only due to dynamic loading
[2]
Eric Bodden:
enumerations created interprocedurally
[3]
Eric Bodden:
due to dynamic loading
[4]
Eric Bodden:
due to dynamic loading
[5]
Eric Bodden:
due to dynamic loading
[6]
Eric Bodden:
due to dynamic loading
[7]
Eric Bodden:
1 due to tainting, spurious call graph edge
5 due to lack of object-sentivity (BaseSet)
1 due to delegation
2 due to dynamic loading
[8]
Eric Bodden:
due to dynamic loading
[9]
Eric Bodden:
1 actual match;
plus another match due to delegation, which we correctly assign a low rank;
rest due to tainting, much interprocedural flow and aborted anlyses
[10]
Eric Bodden:
pattern match
[11]
Eric Bodden:
both due to delegation
[12]
Eric Bodden:
4 true matches; one of them passes iterator into method which then just calls next()
2 matches due to tainting (caused bu the true matches)
[13]
Eric Bodden:
5 actual matches
1 due to weird enumeration over enumerations (the Enumeration which is checked on is overwritten in the same method)
1 due to delegation

ONLY ONE OF THE FIVE MATCHES IS EXERCISED BY DACAPO!
[14]
Eric Bodden:
due to dynamic loading
[15]
Eric Bodden:
due to dynamic loading
[16]
Eric Bodden:
due to tainting
[17]
Eric Bodden:
ACTUAL ERROR!
[18]
Eric Bodden:
caused though tainting: very early on in the method, the constructor is called, which calls reset() and that leads to tainting
[19]
Eric Bodden:
would need freshness analysis to rule this one out