Semantic Designs Profile Report Probe Reference File: D:\SemanticDesigns\ProfileDisplayTests\bandera\target\Bandera.prf Profile Data Files: D:\SemanticDesigns\ProfileDisplayTests\bandera\target\%execution_2003_2_28_18_6_14_905.pfd D:\SemanticDesigns\ProfileDisplayTests\bandera\target\%execution_2003_2_28_18_9_5_61.pfd SUMMARY: Total Probes: 140219 Total Files: 3824 27358 probes covered (19.5%) 16069160 times execution in total. 587.36 times execution per probe in average. 100% CPU usage. 112861 probes uncovered. 80.5% probes uncovered. Profile Report by File: [1] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\LinkedList.java 115 probes in file. 81 probes covered (70.4%) 2285079 times exection in total. 28210.85 times execution per probe in average. 14.22% CPU usage. 34 probes uncovered (29.5%) [2] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\ArrayList.java 40 probes in file. 33 probes covered (82.5%) 1416458 times exection in total. 42922.97 times execution per probe in average. 8.81% CPU usage. 7 probes uncovered (17.5%) [3] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\unicodepreprocessor\lexer\Lexer.java 96 probes in file. 64 probes covered (66.6%) 1254540 times exection in total. 19602.18 times execution per probe in average. 7.8% CPU usage. 32 probes uncovered (33.4%) [4] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\lexer\Lexer.java 501 probes in file. 307 probes covered (61.2%) 928391 times exection in total. 3024.07 times execution per probe in average. 5.77% CPU usage. 194 probes uncovered (38.8%) [5] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\AbstractList.java 85 probes in file. 31 probes covered (36.4%) 899595 times exection in total. 29019.19 times execution per probe in average. 5.59% CPU usage. 54 probes uncovered (63.6%) [6] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\ArraySet.java 33 probes in file. 30 probes covered (90.9%) 774154 times exection in total. 25805.13 times execution per probe in average. 4.81% CPU usage. 3 probes uncovered (9.0%) [7] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\parser\Parser.java 3078 probes in file. 1479 probes covered (48.0%) 734105 times exection in total. 496.35 times execution per probe in average. 4.56% CPU usage. 1599 probes uncovered (52.0%) [8] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\SlicingMethod.java 804 probes in file. 630 probes covered (78.3%) 473407 times exection in total. 751.43 times execution per probe in average. 2.94% CPU usage. 174 probes uncovered (21.7%) [9] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\HashMap.java 36 probes in file. 24 probes covered (66.6%) 463011 times exection in total. 19292.12 times execution per probe in average. 2.88% CPU usage. 12 probes uncovered (33.4%) [10] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\lexer\Lexer.java 108 probes in file. 94 probes covered (87.0%) 416274 times exection in total. 4428.44 times execution per probe in average. 2.59% CPU usage. 14 probes uncovered (13.0%) [11] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\util\Util.java 141 probes in file. 88 probes covered (62.4%) 389382 times exection in total. 4424.79 times execution per probe in average. 2.42% CPU usage. 53 probes uncovered (37.6%) [12] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\lexer\Lexer.java 112 probes in file. 96 probes covered (85.7%) 385190 times exection in total. 4012.39 times execution per probe in average. 2.39% CPU usage. 16 probes uncovered (14.2%) [13] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\Collections.java 44 probes in file. 10 probes covered (22.7%) 333445 times exection in total. 33344.5 times execution per probe in average. 2.07% CPU usage. 34 probes uncovered (77.3%) [14] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\StmtGraph.java 181 probes in file. 140 probes covered (77.3%) 323741 times exection in total. 2312.43 times execution per probe in average. 2.01% CPU usage. 41 probes uncovered (22.7%) [15] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\BuildPDG.java 617 probes in file. 545 probes covered (88.3%) 207081 times exection in total. 379.96 times execution per probe in average. 1.28% CPU usage. 72 probes uncovered (11.7%) [16] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\AbstractCollection.java 46 probes in file. 35 probes covered (76.0%) 201948 times exection in total. 5769.94 times execution per probe in average. 1.25% CPU usage. 11 probes uncovered (24.0%) [17] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\SetUtil.java 42 probes in file. 35 probes covered (83.3%) 198976 times exection in total. 5685.02 times execution per probe in average. 1.23% CPU usage. 7 probes uncovered (16.7%) [18] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\Local.java 23 probes in file. 16 probes covered (69.5%) 193203 times exection in total. 12075.18 times execution per probe in average. 1.2% CPU usage. 7 probes uncovered (30.5%) [19] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\SliceTraceNode.java 24 probes in file. 15 probes covered (62.5%) 189003 times exection in total. 12600.2 times execution per probe in average. 1.17% CPU usage. 9 probes uncovered (37.5%) [20] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\parser\Parser.java 159 probes in file. 134 probes covered (84.2%) 181288 times exection in total. 1352.89 times execution per probe in average. 1.12% CPU usage. 25 probes uncovered (15.7%) [21] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\BlockStmtAnnotation.java 70 probes in file. 45 probes covered (64.2%) 179234 times exection in total. 3982.97 times execution per probe in average. 1.11% CPU usage. 25 probes uncovered (35.8%) [22] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\ArrayPackedSet.java 76 probes in file. 37 probes covered (48.6%) 146367 times exection in total. 3955.86 times execution per probe in average. 0.91% CPU usage. 39 probes uncovered (51.4%) [23] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\unicodepreprocessor\UnicodePreprocessor.java 26 probes in file. 9 probes covered (34.6%) 145770 times exection in total. 16196.66 times execution per probe in average. 0.9% CPU usage. 17 probes uncovered (65.4%) [24] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\parser\Parser.java 181 probes in file. 157 probes covered (86.7%) 136312 times exection in total. 868.22 times execution per probe in average. 0.84% CPU usage. 24 probes uncovered (13.2%) [25] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\Name.java 27 probes in file. 21 probes covered (77.7%) 131425 times exection in total. 6258.33 times execution per probe in average. 0.81% CPU usage. 6 probes uncovered (22.2%) [26] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\ForwardFlowAnalysis.java 38 probes in file. 37 probes covered (97.3%) 125313 times exection in total. 3386.83 times execution per probe in average. 0.77% CPU usage. 1 probes uncovered (2.7%) [27] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\unicodepreprocessor\node\Token.java 9 probes in file. 4 probes covered (44.4%) 97176 times exection in total. 24294.0 times execution per probe in average. 0.6% CPU usage. 5 probes uncovered (55.6%) [28] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\unicodepreprocessor\node\TRawInputCharacter.java 6 probes in file. 4 probes covered (66.6%) 97164 times exection in total. 24291.0 times execution per probe in average. 0.6% CPU usage. 2 probes uncovered (33.4%) [29] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\HashSet.java 19 probes in file. 11 probes covered (57.8%) 96292 times exection in total. 8753.81 times execution per probe in average. 0.59% CPU usage. 8 probes uncovered (42.2%) [30] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\lexer\Lexer.java 192 probes in file. 120 probes covered (62.5%) 89535 times exection in total. 746.12 times execution per probe in average. 0.55% CPU usage. 72 probes uncovered (37.5%) [31] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\IndexMaps.java 367 probes in file. 248 probes covered (67.5%) 88428 times exection in total. 356.56 times execution per probe in average. 0.55% CPU usage. 119 probes uncovered (32.5%) [32] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractValueBox.java 4 probes in file. 3 probes covered (75.0%) 80922 times exection in total. 26974.0 times execution per probe in average. 0.5% CPU usage. 1 probes uncovered (25.0%) [33] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\parser\Parser.java 564 probes in file. 206 probes covered (36.5%) 79356 times exection in total. 385.22 times execution per probe in average. 0.49% CPU usage. 358 probes uncovered (63.5%) [34] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\Annotation.java 47 probes in file. 15 probes covered (31.9%) 78687 times exection in total. 5245.8 times execution per probe in average. 0.48% CPU usage. 32 probes uncovered (68.1%) [35] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\Node.java 18 probes in file. 18 probes covered (100.0%) 68597 times exection in total. 3810.94 times execution per probe in average. 0.42% CPU usage. 0 probes uncovered (0.0%) [36] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\ClassOrInterfaceType.java 239 probes in file. 149 probes covered (62.3%) 55073 times exection in total. 369.61 times execution per probe in average. 0.34% CPU usage. 90 probes uncovered (37.7%) [37] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractDefinitionStmt.java 11 probes in file. 9 probes covered (81.8%) 54682 times exection in total. 6075.77 times execution per probe in average. 0.34% CPU usage. 2 probes uncovered (18.2%) [38] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\CopiesFlowAnalysis.java 35 probes in file. 35 probes covered (100.0%) 54362 times exection in total. 1553.2 times execution per probe in average. 0.33% CPU usage. 0 probes uncovered (0.0%) [39] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\Statements.java 48 probes in file. 34 probes covered (70.8%) 51839 times exection in total. 1524.67 times execution per probe in average. 0.32% CPU usage. 14 probes uncovered (29.2%) [40] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\PostProcess.java 624 probes in file. 404 probes covered (64.7%) 50338 times exection in total. 124.59 times execution per probe in average. 0.31% CPU usage. 220 probes uncovered (35.3%) [41] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\unicodepreprocessor\UnicodeLexer.java 13 probes in file. 3 probes covered (23.0%) 48594 times exection in total. 16198.0 times execution per probe in average. 0.3% CPU usage. 10 probes uncovered (77.0%) [42] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\codegenerator\JIJCCodeGenerator.java 1931 probes in file. 1156 probes covered (59.8%) 48438 times exection in total. 41.9 times execution per probe in average. 0.3% CPU usage. 775 probes uncovered (40.2%) [43] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\SymbolTable.java 300 probes in file. 222 probes covered (74.0%) 47866 times exection in total. 215.61 times execution per probe in average. 0.29% CPU usage. 78 probes uncovered (26.0%) [44] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\Token.java 9 probes in file. 7 probes covered (77.7%) 45861 times exection in total. 6551.57 times execution per probe in average. 0.28% CPU usage. 2 probes uncovered (22.2%) [45] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\AbstractMap.java 89 probes in file. 6 probes covered (6.7%) 45572 times exection in total. 7595.33 times execution per probe in average. 0.28% CPU usage. 83 probes uncovered (93.3%) [46] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\SootClass.java 196 probes in file. 111 probes covered (56.6%) 44579 times exection in total. 401.61 times execution per probe in average. 0.27% CPU usage. 85 probes uncovered (43.4%) [47] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\Method.java 77 probes in file. 56 probes covered (72.7%) 42283 times exection in total. 755.05 times execution per probe in average. 0.26% CPU usage. 21 probes uncovered (27.3%) [48] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\SequentialAnnotation.java 15 probes in file. 11 probes covered (73.3%) 41552 times exection in total. 3777.45 times execution per probe in average. 0.25% CPU usage. 4 probes uncovered (26.7%) [49] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\SynchronizedStmtAnnotation.java 93 probes in file. 49 probes covered (52.6%) 39990 times exection in total. 816.12 times execution per probe in average. 0.24% CPU usage. 44 probes uncovered (47.4%) [50] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\LocalDefsFlowAnalysis.java 62 probes in file. 58 probes covered (93.5%) 39901 times exection in total. 687.94 times execution per probe in average. 0.24% CPU usage. 4 probes uncovered (6.5%) [51] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\laleh\java\astfix\ASTFixer.java 651 probes in file. 363 probes covered (55.7%) 37799 times exection in total. 104.12 times execution per probe in average. 0.23% CPU usage. 288 probes uncovered (44.3%) [52] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\LockAnalysis.java 173 probes in file. 118 probes covered (68.2%) 34569 times exection in total. 292.95 times execution per probe in average. 0.21% CPU usage. 55 probes uncovered (31.8%) [53] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\SootMethod.java 73 probes in file. 42 probes covered (57.5%) 31143 times exection in total. 741.5 times execution per probe in average. 0.19% CPU usage. 31 probes uncovered (42.5%) [54] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\TypedLinkedList.java 18 probes in file. 9 probes covered (50.0%) 30808 times exection in total. 3423.11 times execution per probe in average. 0.19% CPU usage. 9 probes uncovered (50.0%) [55] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\InterClassAnalysis.java 155 probes in file. 152 probes covered (98.0%) 28238 times exection in total. 185.77 times execution per probe in average. 0.17% CPU usage. 3 probes uncovered (2.0%) [56] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\IfStmtAnnotation.java 86 probes in file. 50 probes covered (58.1%) 28027 times exection in total. 560.53 times execution per probe in average. 0.17% CPU usage. 36 probes uncovered (41.9%) [57] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\optimizer\TemporaryLocalsReduction.java 53 probes in file. 46 probes covered (86.7%) 27371 times exection in total. 595.02 times execution per probe in average. 0.17% CPU usage. 7 probes uncovered (13.2%) [58] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractInstanceFieldRef.java 17 probes in file. 12 probes covered (70.5%) 26427 times exection in total. 2202.25 times execution per probe in average. 0.16% CPU usage. 5 probes uncovered (29.5%) [59] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\VectorSet.java 19 probes in file. 10 probes covered (52.6%) 25163 times exection in total. 2516.3 times execution per probe in average. 0.15% CPU usage. 9 probes uncovered (47.4%) [60] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\analysis\DepthFirstAdapter.java 3370 probes in file. 784 probes covered (23.2%) 23953 times exection in total. 30.55 times execution per probe in average. 0.14% CPU usage. 2586 probes uncovered (76.8%) [61] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\SimpleLocalDefs.java 28 probes in file. 23 probes covered (82.1%) 23649 times exection in total. 1028.21 times execution per probe in average. 0.14% CPU usage. 5 probes uncovered (17.9%) [62] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\parser\TokenIndex.java 104 probes in file. 58 probes covered (55.7%) 23306 times exection in total. 401.82 times execution per probe in average. 0.14% CPU usage. 46 probes uncovered (44.3%) [63] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\DeadCodeEliminator.java 40 probes in file. 35 probes covered (87.5%) 22496 times exection in total. 642.74 times execution per probe in average. 0.13% CPU usage. 5 probes uncovered (12.5%) [64] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\SootClassManager.java 25 probes in file. 15 probes covered (60.0%) 20327 times exection in total. 1355.13 times execution per probe in average. 0.12% CPU usage. 10 probes uncovered (40.0%) [65] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\AnnotationManager.java 123 probes in file. 59 probes covered (47.9%) 20056 times exection in total. 339.93 times execution per probe in average. 0.12% CPU usage. 64 probes uncovered (52.1%) [66] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\util\AbstractSequentialList.java 25 probes in file. 4 probes covered (16.0%) 19984 times exection in total. 4996.0 times execution per probe in average. 0.12% CPU usage. 21 probes uncovered (84.0%) [67] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\RefType.java 7 probes in file. 5 probes covered (71.4%) 19559 times exection in total. 3911.8 times execution per probe in average. 0.12% CPU usage. 2 probes uncovered (28.5%) [68] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JimpleBody.java 232 probes in file. 106 probes covered (45.6%) 18504 times exection in total. 174.56 times execution per probe in average. 0.11% CPU usage. 126 probes uncovered (54.4%) [69] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\Token.java 9 probes in file. 6 probes covered (66.6%) 18148 times exection in total. 3024.66 times execution per probe in average. 0.11% CPU usage. 3 probes uncovered (33.4%) [70] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\SimpleLocalCopies.java 16 probes in file. 13 probes covered (81.2%) 16605 times exection in total. 1277.3 times execution per probe in average. 0.1% CPU usage. 3 probes uncovered (18.7%) [71] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\analysis\AnalysisAdapter.java 511 probes in file. 114 probes covered (22.3%) 16592 times exection in total. 145.54 times execution per probe in average. 0.1% CPU usage. 397 probes uncovered (77.7%) [72] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\Package.java 85 probes in file. 70 probes covered (82.3%) 16509 times exection in total. 235.84 times execution per probe in average. 0.1% CPU usage. 15 probes uncovered (17.7%) [73] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\Token.java 9 probes in file. 6 probes covered (66.6%) 13382 times exection in total. 2230.33 times execution per probe in average. 0.08% CPU usage. 3 probes uncovered (33.4%) [74] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\Transformations.java 187 probes in file. 22 probes covered (11.7%) 13305 times exection in total. 604.77 times execution per probe in average. 0.08% CPU usage. 165 probes uncovered (88.3%) [75] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\dependency\DependencyValueViewer.java 419 probes in file. 267 probes covered (63.7%) 12930 times exection in total. 48.42 times execution per probe in average. 0.08% CPU usage. 152 probes uncovered (36.3%) [76] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractStmt.java 19 probes in file. 10 probes covered (52.6%) 12316 times exection in total. 1231.6 times execution per probe in average. 0.07% CPU usage. 9 probes uncovered (47.4%) [77] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\FlowUniverse.java 10 probes in file. 9 probes covered (90.0%) 12075 times exection in total. 1341.66 times execution per probe in average. 0.07% CPU usage. 1 probes uncovered (10.0%) [78] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\FGNode.java 13 probes in file. 12 probes covered (92.3%) 11974 times exection in total. 997.83 times execution per probe in average. 0.07% CPU usage. 1 probes uncovered (7.7%) [79] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\DataBox.java 21 probes in file. 16 probes covered (76.1%) 11458 times exection in total. 716.12 times execution per probe in average. 0.07% CPU usage. 5 probes uncovered (23.9%) [80] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\laleh\java\astfix\JJCParser.java 2 probes in file. 2 probes covered (100.0%) 11197 times exection in total. 5598.5 times execution per probe in average. 0.06% CPU usage. 0 probes uncovered (0.0%) [81] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\TryStmtAnnotation.java 73 probes in file. 46 probes covered (63.0%) 11081 times exection in total. 240.89 times execution per probe in average. 0.06% CPU usage. 27 probes uncovered (37.0%) [82] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\AStringResource.java 46 probes in file. 21 probes covered (45.6%) 10920 times exection in total. 520.0 times execution per probe in average. 0.06% CPU usage. 25 probes uncovered (54.4%) [83] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\Variable.java 15 probes in file. 10 probes covered (66.6%) 10832 times exection in total. 1083.19 times execution per probe in average. 0.06% CPU usage. 5 probes uncovered (33.4%) [84] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\FGWorkSendVals.java 11 probes in file. 11 probes covered (100.0%) 10166 times exection in total. 924.18 times execution per probe in average. 0.06% CPU usage. 0 probes uncovered (0.0%) [85] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\Node.java 18 probes in file. 2 probes covered (11.1%) 10008 times exection in total. 5004.0 times execution per probe in average. 0.06% CPU usage. 16 probes uncovered (88.9%) [86] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\StmtList.java 54 probes in file. 22 probes covered (40.7%) 9879 times exection in total. 449.04 times execution per probe in average. 0.06% CPU usage. 32 probes uncovered (59.3%) [87] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\FASet.java 11 probes in file. 8 probes covered (72.7%) 9732 times exection in total. 1216.5 times execution per probe in average. 0.06% CPU usage. 3 probes uncovered (27.3%) [88] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\Slicer.java 316 probes in file. 243 probes covered (76.8%) 9623 times exection in total. 39.6 times execution per probe in average. 0.05% CPU usage. 73 probes uncovered (23.2%) [89] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\LocalStmtPair.java 5 probes in file. 4 probes covered (80.0%) 9513 times exection in total. 2378.25 times execution per probe in average. 0.05% CPU usage. 1 probes uncovered (20.0%) [90] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\CompilationManager.java 208 probes in file. 152 probes covered (73.0%) 9491 times exection in total. 62.44 times execution per probe in average. 0.05% CPU usage. 56 probes uncovered (27.0%) [91] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\StmtBox.java 8 probes in file. 8 probes covered (100.0%) 9229 times exection in total. 1153.62 times execution per probe in average. 0.05% CPU usage. 0 probes uncovered (0.0%) [92] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\BUISessionPane.java 409 probes in file. 248 probes covered (60.6%) 9145 times exection in total. 36.87 times execution per probe in average. 0.05% CPU usage. 161 probes uncovered (39.4%) [93] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\Jimple.java 67 probes in file. 48 probes covered (71.6%) 9008 times exection in total. 187.66 times execution per probe in average. 0.05% CPU usage. 19 probes uncovered (28.4%) [94] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\Analysis.java 121 probes in file. 82 probes covered (67.7%) 8865 times exection in total. 108.1 times execution per probe in average. 0.05% CPU usage. 39 probes uncovered (32.3%) [95] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\Modifier.java 36 probes in file. 27 probes covered (75.0%) 8821 times exection in total. 326.7 times execution per probe in average. 0.05% CPU usage. 9 probes uncovered (25.0%) [96] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\analysis\AnalysisAdapter.java 32 probes in file. 7 probes covered (21.8%) 8612 times exection in total. 1230.28 times execution per probe in average. 0.05% CPU usage. 25 probes uncovered (78.2%) [97] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractNonStaticInvokeExpr.java 10 probes in file. 8 probes covered (80.0%) 8456 times exection in total. 1057.0 times execution per probe in average. 0.05% CPU usage. 2 probes uncovered (20.0%) [98] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\SessionManager.java 1357 probes in file. 950 probes covered (70.0%) 8296 times exection in total. 8.73 times execution per probe in average. 0.05% CPU usage. 407 probes uncovered (30.0%) [99] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\optimizer\DeadCodeElimination.java 11 probes in file. 10 probes covered (90.9%) 8158 times exection in total. 815.8 times execution per probe in average. 0.05% CPU usage. 1 probes uncovered (9.0%) [100] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\X1PResource.java 26 probes in file. 16 probes covered (61.5%) 7680 times exection in total. 480.0 times execution per probe in average. 0.04% CPU usage. 10 probes uncovered (38.5%) [101] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\dependency\Dependencies.java 2826 probes in file. 1623 probes covered (57.4%) 7565 times exection in total. 4.66 times execution per probe in average. 0.04% CPU usage. 1203 probes uncovered (42.6%) [102] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\IntType.java 6 probes in file. 5 probes covered (83.3%) 7340 times exection in total. 1468.0 times execution per probe in average. 0.04% CPU usage. 1 probes uncovered (16.7%) [103] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\FlowAnalysis.java 5 probes in file. 4 probes covered (80.0%) 7309 times exection in total. 1827.25 times execution per probe in average. 0.04% CPU usage. 1 probes uncovered (20.0%) [104] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JExitMonitorStmt.java 15 probes in file. 11 probes covered (73.3%) 7138 times exection in total. 648.9 times execution per probe in average. 0.04% CPU usage. 4 probes uncovered (26.7%) [105] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\Node.java 18 probes in file. 2 probes covered (11.1%) 7084 times exection in total. 3542.0 times execution per probe in average. 0.04% CPU usage. 16 probes uncovered (88.9%) [106] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\SessionsSaverLoader.java 86 probes in file. 46 probes covered (53.4%) 7076 times exection in total. 153.82 times execution per probe in average. 0.04% CPU usage. 40 probes uncovered (46.6%) [107] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\TWhiteSpace.java 6 probes in file. 4 probes covered (66.6%) 6880 times exection in total. 1720.0 times execution per probe in average. 0.04% CPU usage. 2 probes uncovered (33.4%) [108] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TSemicolon.java 7 probes in file. 6 probes covered (85.7%) 6751 times exection in total. 1125.16 times execution per probe in average. 0.04% CPU usage. 1 probes uncovered (14.2%) [109] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\parser\TokenIndex.java 8 probes in file. 7 probes covered (87.5%) 6736 times exection in total. 962.28 times execution per probe in average. 0.04% CPU usage. 1 probes uncovered (12.5%) [110] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TId.java 6 probes in file. 6 probes covered (100.0%) 6655 times exection in total. 1109.16 times execution per probe in average. 0.04% CPU usage. 0 probes uncovered (0.0%) [111] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\MethodDeclarationAnnotation.java 62 probes in file. 33 probes covered (53.2%) 6589 times exection in total. 199.66 times execution per probe in average. 0.04% CPU usage. 29 probes uncovered (46.8%) [112] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\FGExpr.java 212 probes in file. 108 probes covered (50.9%) 6475 times exection in total. 59.95 times execution per probe in average. 0.04% CPU usage. 104 probes uncovered (49.1%) [113] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\Node.java 18 probes in file. 8 probes covered (44.4%) 6432 times exection in total. 804.0 times execution per probe in average. 0.04% CPU usage. 10 probes uncovered (55.6%) [114] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\Token.java 9 probes in file. 6 probes covered (66.6%) 6399 times exection in total. 1066.5 times execution per probe in average. 0.03% CPU usage. 3 probes uncovered (33.4%) [115] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ASimpleName.java 18 probes in file. 11 probes covered (61.1%) 6356 times exection in total. 577.81 times execution per probe in average. 0.03% CPU usage. 7 probes uncovered (38.9%) [116] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\analysis\AnalysisAdapter.java 36 probes in file. 9 probes covered (25.0%) 6214 times exection in total. 690.44 times execution per probe in average. 0.03% CPU usage. 27 probes uncovered (75.0%) [117] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JInvokeStmt.java 15 probes in file. 13 probes covered (86.6%) 6069 times exection in total. 466.84 times execution per probe in average. 0.03% CPU usage. 2 probes uncovered (13.4%) [118] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\WorkList.java 9 probes in file. 8 probes covered (88.8%) 6055 times exection in total. 756.87 times execution per probe in average. 0.03% CPU usage. 1 probes uncovered (11.2%) [119] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ABinaryExp.java 46 probes in file. 30 probes covered (65.2%) 5798 times exection in total. 193.26 times execution per probe in average. 0.03% CPU usage. 16 probes uncovered (34.8%) [120] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractBinopExpr.java 18 probes in file. 9 probes covered (50.0%) 5727 times exection in total. 636.33 times execution per probe in average. 0.03% CPU usage. 9 probes uncovered (50.0%) [121] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\TId.java 6 probes in file. 4 probes covered (66.6%) 5680 times exection in total. 1420.0 times execution per probe in average. 0.03% CPU usage. 2 probes uncovered (33.4%) [122] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TWhiteSpace.java 6 probes in file. 4 probes covered (66.6%) 5604 times exection in total. 1401.0 times execution per probe in average. 0.03% CPU usage. 2 probes uncovered (33.4%) [123] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\AStringResource.java 46 probes in file. 21 probes covered (45.6%) 5460 times exection in total. 260.0 times execution per probe in average. 0.03% CPU usage. 25 probes uncovered (54.4%) [124] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\FileChooser.java 83 probes in file. 18 probes covered (21.6%) 5351 times exection in total. 297.27 times execution per probe in average. 0.03% CPU usage. 65 probes uncovered (78.4%) [125] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TRPar.java 7 probes in file. 6 probes covered (85.7%) 5310 times exection in total. 885.0 times execution per probe in average. 0.03% CPU usage. 1 probes uncovered (14.2%) [126] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOneSimpleName.java 18 probes in file. 10 probes covered (55.5%) 5226 times exection in total. 522.59 times execution per probe in average. 0.03% CPU usage. 8 probes uncovered (44.5%) [127] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ABlock.java 62 probes in file. 32 probes covered (51.6%) 5158 times exection in total. 161.18 times execution per probe in average. 0.03% CPU usage. 30 probes uncovered (48.4%) [128] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\datastructure\Pattern.java 91 probes in file. 39 probes covered (42.8%) 5018 times exection in total. 128.66 times execution per probe in average. 0.03% CPU usage. 52 probes uncovered (57.2%) [129] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\parser\TokenIndex.java 9 probes in file. 8 probes covered (88.8%) 5008 times exection in total. 626.0 times execution per probe in average. 0.03% CPU usage. 1 probes uncovered (11.2%) [130] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JTrap.java 18 probes in file. 9 probes covered (50.0%) 5007 times exection in total. 556.33 times execution per probe in average. 0.03% CPU usage. 9 probes uncovered (50.0%) [131] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\FGStmt.java 49 probes in file. 40 probes covered (81.6%) 4860 times exection in total. 121.5 times execution per probe in average. 0.03% CPU usage. 9 probes uncovered (18.4%) [132] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\ControlFlowAnnotation.java 47 probes in file. 22 probes covered (46.8%) 4772 times exection in total. 216.9 times execution per probe in average. 0.02% CPU usage. 25 probes uncovered (53.2%) [133] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\dependency\CodeBrowserPane.java 381 probes in file. 253 probes covered (66.4%) 4765 times exection in total. 18.83 times execution per probe in average. 0.02% CPU usage. 128 probes uncovered (33.5%) [134] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\ASession.java 92 probes in file. 37 probes covered (40.2%) 4760 times exection in total. 128.64 times execution per probe in average. 0.02% CPU usage. 55 probes uncovered (59.8%) [135] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TWhiteSpace.java 6 probes in file. 4 probes covered (66.6%) 4720 times exection in total. 1180.0 times execution per probe in average. 0.02% CPU usage. 2 probes uncovered (33.4%) [136] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\ForStmtAnnotation.java 85 probes in file. 46 probes covered (54.1%) 4523 times exection in total. 98.32 times execution per probe in average. 0.02% CPU usage. 39 probes uncovered (45.9%) [137] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\Type.java 8 probes in file. 5 probes covered (62.5%) 4429 times exection in total. 885.8 times execution per probe in average. 0.02% CPU usage. 3 probes uncovered (37.5%) [138] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\abstraction\gui\TreeTableModelAdapter.java 19 probes in file. 14 probes covered (73.6%) 4312 times exection in total. 308.0 times execution per probe in average. 0.02% CPU usage. 5 probes uncovered (26.4%) [139] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\assertion\lexer\Lexer.java 128 probes in file. 88 probes covered (68.7%) 4209 times exection in total. 47.82 times execution per probe in average. 0.02% CPU usage. 40 probes uncovered (31.3%) [140] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\doc\DocProcessor.java 65 probes in file. 49 probes covered (75.3%) 4201 times exection in total. 85.73 times execution per probe in average. 0.02% CPU usage. 16 probes uncovered (24.7%) [141] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\AStringStrings.java 18 probes in file. 8 probes covered (44.4%) 4160 times exection in total. 520.0 times execution per probe in average. 0.02% CPU usage. 10 probes uncovered (55.6%) [142] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\X1PResource.java 26 probes in file. 16 probes covered (61.5%) 4160 times exection in total. 260.0 times execution per probe in average. 0.02% CPU usage. 10 probes uncovered (38.5%) [143] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\APostfixExpUnaryExpNotPlusMinus.java 18 probes in file. 9 probes covered (50.0%) 4068 times exection in total. 452.0 times execution per probe in average. 0.02% CPU usage. 9 probes uncovered (50.0%) [144] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANotPlusMinusUnaryExp.java 18 probes in file. 9 probes covered (50.0%) 4068 times exection in total. 452.0 times execution per probe in average. 0.02% CPU usage. 9 probes uncovered (50.0%) [145] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\decompiler\FilenameLinePair.java 15 probes in file. 9 probes covered (60.0%) 4041 times exection in total. 449.0 times execution per probe in average. 0.02% CPU usage. 6 probes uncovered (40.0%) [146] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\WhileStmtAnnotation.java 45 probes in file. 33 probes covered (73.3%) 4038 times exection in total. 122.36 times execution per probe in average. 0.02% CPU usage. 12 probes uncovered (26.7%) [147] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AUnaryExpMultiplicativeExp.java 18 probes in file. 9 probes covered (50.0%) 3996 times exection in total. 444.0 times execution per probe in average. 0.02% CPU usage. 9 probes uncovered (50.0%) [148] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANameExp.java 18 probes in file. 11 probes covered (61.1%) 3990 times exection in total. 362.72 times execution per probe in average. 0.02% CPU usage. 7 probes uncovered (38.9%) [149] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\ArrayType.java 12 probes in file. 11 probes covered (91.6%) 3864 times exection in total. 351.27 times execution per probe in average. 0.02% CPU usage. 1 probes uncovered (8.4%) [150] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\BUI.java 1054 probes in file. 869 probes covered (82.4%) 3776 times exection in total. 4.34 times execution per probe in average. 0.02% CPU usage. 185 probes uncovered (17.5%) [151] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TId.java 6 probes in file. 4 probes covered (66.6%) 3716 times exection in total. 929.0 times execution per probe in average. 0.02% CPU usage. 2 probes uncovered (33.4%) [152] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AMultiplicativeExpAdditiveExp.java 18 probes in file. 9 probes covered (50.0%) 3696 times exection in total. 410.66 times execution per probe in average. 0.02% CPU usage. 9 probes uncovered (50.0%) [153] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AAdditiveExpShiftExp.java 18 probes in file. 9 probes covered (50.0%) 3696 times exection in total. 410.66 times execution per probe in average. 0.02% CPU usage. 9 probes uncovered (50.0%) [154] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JAssignStmt.java 10 probes in file. 8 probes covered (80.0%) 3692 times exection in total. 461.5 times execution per probe in average. 0.02% CPU usage. 2 probes uncovered (20.0%) [155] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\X1PFormatWord.java 26 probes in file. 16 probes covered (61.5%) 3680 times exection in total. 230.0 times execution per probe in average. 0.02% CPU usage. 10 probes uncovered (38.5%) [156] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\Field.java 39 probes in file. 25 probes covered (64.1%) 3670 times exection in total. 146.8 times execution per probe in average. 0.02% CPU usage. 14 probes uncovered (35.9%) [157] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\optimizer\JumpElimination.java 11 probes in file. 9 probes covered (81.8%) 3659 times exection in total. 406.55 times execution per probe in average. 0.02% CPU usage. 2 probes uncovered (18.2%) [158] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\MethodCallAnalysis.java 145 probes in file. 124 probes covered (85.5%) 3611 times exection in total. 29.12 times execution per probe in average. 0.02% CPU usage. 21 probes uncovered (14.5%) [159] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\abstraction\gui\TypeTree.java 97 probes in file. 47 probes covered (48.4%) 3608 times exection in total. 76.76 times execution per probe in average. 0.02% CPU usage. 50 probes uncovered (51.6%) [160] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\APattern.java 77 probes in file. 33 probes covered (42.8%) 3588 times exection in total. 108.72 times execution per probe in average. 0.02% CPU usage. 44 probes uncovered (57.2%) [161] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ALiteralExp.java 18 probes in file. 11 probes covered (61.1%) 3397 times exection in total. 308.81 times execution per probe in average. 0.02% CPU usage. 7 probes uncovered (38.9%) [162] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AShiftExpRelationalExp.java 18 probes in file. 9 probes covered (50.0%) 3336 times exection in total. 370.66 times execution per probe in average. 0.02% CPU usage. 9 probes uncovered (50.0%) [163] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JIfStmt.java 21 probes in file. 16 probes covered (76.1%) 3314 times exection in total. 207.12 times execution per probe in average. 0.02% CPU usage. 5 probes uncovered (23.9%) [164] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\Fields.java 86 probes in file. 40 probes covered (46.5%) 3300 times exection in total. 82.5 times execution per probe in average. 0.02% CPU usage. 46 probes uncovered (53.5%) [165] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\assertion\parser\Parser.java 242 probes in file. 106 probes covered (43.8%) 3254 times exection in total. 30.69 times execution per probe in average. 0.02% CPU usage. 136 probes uncovered (56.2%) [166] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\MethodVariantManager.java 30 probes in file. 25 probes covered (83.3%) 3254 times exection in total. 130.16 times execution per probe in average. 0.02% CPU usage. 5 probes uncovered (16.7%) [167] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\abstraction\gui\JTreeTable.java 95 probes in file. 82 probes covered (86.3%) 3225 times exection in total. 39.32 times execution per probe in average. 0.02% CPU usage. 13 probes uncovered (13.7%) [168] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ASimpleNameName.java 18 probes in file. 8 probes covered (44.4%) 3216 times exection in total. 402.0 times execution per probe in average. 0.02% CPU usage. 10 probes uncovered (55.6%) [169] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANameMethodInvocationExp.java 77 probes in file. 35 probes covered (45.4%) 3195 times exection in total. 91.28 times execution per probe in average. 0.01% CPU usage. 42 probes uncovered (54.6%) [170] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ARelationalExpEqualityExp.java 18 probes in file. 9 probes covered (50.0%) 3156 times exection in total. 350.66 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [171] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AEqualityExpAndExp.java 18 probes in file. 9 probes covered (50.0%) 3156 times exection in total. 350.66 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [172] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AExclusiveOrExpInclusiveOrExp.java 18 probes in file. 9 probes covered (50.0%) 3156 times exection in total. 350.66 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [173] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AAndExpExclusiveOrExp.java 18 probes in file. 9 probes covered (50.0%) 3156 times exection in total. 350.66 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [174] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\ArrayType.java 17 probes in file. 7 probes covered (41.1%) 3145 times exection in total. 449.28 times execution per probe in average. 0.01% CPU usage. 10 probes uncovered (58.9%) [175] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AConditionalAndExpConditionalOrExp.java 18 probes in file. 9 probes covered (50.0%) 3120 times exection in total. 346.66 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [176] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AInclusiveOrExpConditionalAndExp.java 18 probes in file. 9 probes covered (50.0%) 3120 times exection in total. 346.66 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [177] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AConditionalOrExpConditionalExp.java 18 probes in file. 9 probes covered (50.0%) 3108 times exection in total. 345.33 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [178] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AConditionalExpAssignmentExp.java 18 probes in file. 9 probes covered (50.0%) 3108 times exection in total. 345.33 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [179] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\PatternSaverLoader.java 76 probes in file. 44 probes covered (57.8%) 3072 times exection in total. 69.81 times execution per probe in average. 0.01% CPU usage. 32 probes uncovered (42.2%) [180] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\StaticFieldRef.java 11 probes in file. 9 probes covered (81.8%) 3001 times exection in total. 333.44 times execution per probe in average. 0.01% CPU usage. 2 probes uncovered (18.2%) [181] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\MethodVariant.java 42 probes in file. 25 probes covered (59.5%) 2991 times exection in total. 119.64 times execution per probe in average. 0.01% CPU usage. 17 probes uncovered (40.5%) [182] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\NodeCast.java 2 probes in file. 2 probes covered (100.0%) 2952 times exection in total. 1476.0 times execution per probe in average. 0.01% CPU usage. 0 probes uncovered (0.0%) [183] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\parser\TokenIndex.java 29 probes in file. 14 probes covered (48.2%) 2800 times exection in total. 200.0 times execution per probe in average. 0.01% CPU usage. 15 probes uncovered (51.8%) [184] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TypedLinkedList.java 26 probes in file. 3 probes covered (11.5%) 2778 times exection in total. 926.0 times execution per probe in average. 0.01% CPU usage. 23 probes uncovered (88.5%) [185] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AStmtBlockedStmt.java 18 probes in file. 10 probes covered (55.5%) 2663 times exection in total. 266.29 times execution per probe in average. 0.01% CPU usage. 8 probes uncovered (44.5%) [186] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\AFormat.java 62 probes in file. 23 probes covered (37.0%) 2660 times exection in total. 115.65 times execution per probe in average. 0.01% CPU usage. 39 probes uncovered (63.0%) [187] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\TStringLiteral.java 6 probes in file. 4 probes covered (66.6%) 2600 times exection in total. 650.0 times execution per probe in average. 0.01% CPU usage. 2 probes uncovered (33.4%) [188] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\TEqual.java 7 probes in file. 4 probes covered (57.1%) 2600 times exection in total. 650.0 times execution per probe in average. 0.01% CPU usage. 3 probes uncovered (42.9%) [189] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANamePostfixExp.java 18 probes in file. 10 probes covered (55.5%) 2574 times exection in total. 257.4 times execution per probe in average. 0.01% CPU usage. 8 probes uncovered (44.5%) [190] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\decompiler\LineExtractor.java 111 probes in file. 54 probes covered (48.6%) 2507 times exection in total. 46.42 times execution per probe in average. 0.01% CPU usage. 57 probes uncovered (51.4%) [191] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\PreProcess.java 127 probes in file. 59 probes covered (46.4%) 2485 times exection in total. 42.11 times execution per probe in average. 0.01% CPU usage. 68 probes uncovered (53.6%) [192] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JEnterMonitorStmt.java 15 probes in file. 11 probes covered (73.3%) 2481 times exection in total. 225.54 times execution per probe in average. 0.01% CPU usage. 4 probes uncovered (26.7%) [193] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\AHoleFormatWord.java 46 probes in file. 19 probes covered (41.3%) 2470 times exection in total. 130.0 times execution per probe in average. 0.01% CPU usage. 27 probes uncovered (58.7%) [194] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\MonitorPair.java 19 probes in file. 17 probes covered (89.4%) 2347 times exection in total. 138.05 times execution per probe in average. 0.01% CPU usage. 2 probes uncovered (10.5%) [195] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANameMethodInvocation.java 60 probes in file. 36 probes covered (60.0%) 2341 times exection in total. 65.02 times execution per probe in average. 0.01% CPU usage. 24 probes uncovered (40.0%) [196] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\util\NameGenerator.java 3 probes in file. 3 probes covered (100.0%) 2329 times exection in total. 776.33 times execution per probe in average. 0.01% CPU usage. 0 probes uncovered (0.0%) [197] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\TypedLinkedList.java 18 probes in file. 2 probes covered (11.1%) 2324 times exection in total. 1162.0 times execution per probe in average. 0.01% CPU usage. 16 probes uncovered (88.9%) [198] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\analysis\ClassOrInterfaceMembersAnalysis.java 127 probes in file. 84 probes covered (66.1%) 2297 times exection in total. 27.34 times execution per probe in average. 0.01% CPU usage. 43 probes uncovered (33.9%) [199] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\PropertyManager.java 1446 probes in file. 723 probes covered (50.0%) 2293 times exection in total. 3.17 times execution per probe in average. 0.01% CPU usage. 723 probes uncovered (50.0%) [200] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AExpStmt.java 32 probes in file. 17 probes covered (53.1%) 2272 times exection in total. 133.64 times execution per probe in average. 0.01% CPU usage. 15 probes uncovered (46.9%) [201] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TRBrace.java 7 probes in file. 6 probes covered (85.7%) 2167 times exection in total. 361.16 times execution per probe in average. 0.01% CPU usage. 1 probes uncovered (14.2%) [202] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\AStringStrings.java 18 probes in file. 8 probes covered (44.4%) 2080 times exection in total. 260.0 times execution per probe in average. 0.01% CPU usage. 10 probes uncovered (55.6%) [203] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOneQualifiedName.java 46 probes in file. 28 probes covered (60.8%) 2080 times exection in total. 74.28 times execution per probe in average. 0.01% CPU usage. 18 probes uncovered (39.2%) [204] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\TId.java 6 probes in file. 4 probes covered (66.6%) 2058 times exection in total. 514.5 times execution per probe in average. 0.01% CPU usage. 2 probes uncovered (33.4%) [205] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AMethodDeclarator.java 105 probes in file. 35 probes covered (33.3%) 2024 times exection in total. 57.82 times execution per probe in average. 0.01% CPU usage. 70 probes uncovered (66.7%) [206] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AQualifiedName.java 46 probes in file. 27 probes covered (58.6%) 2013 times exection in total. 74.55 times execution per probe in average. 0.01% CPU usage. 19 probes uncovered (41.4%) [207] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TLPar.java 7 probes in file. 6 probes covered (85.7%) 1958 times exection in total. 326.33 times execution per probe in average. 0.01% CPU usage. 1 probes uncovered (14.2%) [208] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AVoidMethodHeader.java 77 probes in file. 38 probes covered (49.3%) 1948 times exection in total. 51.26 times execution per probe in average. 0.01% CPU usage. 39 probes uncovered (50.7%) [209] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AIntegerLiteralLiteral.java 18 probes in file. 10 probes covered (55.5%) 1924 times exection in total. 192.4 times execution per probe in average. 0.01% CPU usage. 8 probes uncovered (44.5%) [210] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\APrimaryNoNewArrayPrimary.java 18 probes in file. 9 probes covered (50.0%) 1908 times exection in total. 212.0 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [211] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\PatternManager.java 425 probes in file. 339 probes covered (79.7%) 1898 times exection in total. 5.59 times execution per probe in average. 0.01% CPU usage. 86 probes uncovered (20.2%) [212] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\APrimaryPostfixExp.java 18 probes in file. 9 probes covered (50.0%) 1860 times exection in total. 206.66 times execution per probe in average. 0.01% CPU usage. 9 probes uncovered (50.0%) [213] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractNewExpr.java 7 probes in file. 5 probes covered (71.4%) 1854 times exection in total. 370.8 times execution per probe in average. 0.01% CPU usage. 2 probes uncovered (28.5%) [214] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\AIdsIds.java 46 probes in file. 21 probes covered (45.6%) 1848 times exection in total. 88.0 times execution per probe in average. 0.01% CPU usage. 25 probes uncovered (54.4%) [215] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ADecimalIntegerLiteral.java 18 probes in file. 10 probes covered (55.5%) 1828 times exection in total. 182.8 times execution per probe in average. 0.01% CPU usage. 8 probes uncovered (44.5%) [216] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\FGActionInvoke.java 28 probes in file. 23 probes covered (82.1%) 1813 times exection in total. 78.82 times execution per probe in average. 0.01% CPU usage. 5 probes uncovered (17.9%) [217] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOldSimpleClassInstanceCreationExp.java 88 probes in file. 51 probes covered (57.9%) 1788 times exection in total. 35.05 times execution per probe in average. 0.01% CPU usage. 37 probes uncovered (42.1%) [218] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\AParamResource.java 74 probes in file. 33 probes covered (44.5%) 1768 times exection in total. 53.57 times execution per probe in average. 0.01% CPU usage. 41 probes uncovered (55.5%) [219] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\ConstantAndCopyPropagator.java 66 probes in file. 51 probes covered (77.2%) 1768 times exection in total. 34.66 times execution per probe in average. 0.01% CPU usage. 15 probes uncovered (22.7%) [220] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JGotoStmt.java 12 probes in file. 9 probes covered (75.0%) 1768 times exection in total. 196.44 times execution per probe in average. 0.01% CPU usage. 3 probes uncovered (25.0%) [221] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\SimpleLocalUses.java 30 probes in file. 26 probes covered (86.6%) 1757 times exection in total. 67.57 times execution per probe in average. 0.01% CPU usage. 4 probes uncovered (13.4%) [222] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOldExp.java 18 probes in file. 8 probes covered (44.4%) 1752 times exection in total. 219.0 times execution per probe in average. 0.01% CPU usage. 10 probes uncovered (55.6%) [223] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOriginalExpStmt.java 32 probes in file. 15 probes covered (46.8%) 1746 times exection in total. 116.4 times execution per probe in average. 0.01% CPU usage. 17 probes uncovered (53.2%) [224] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractJimpleValueSwitch.java 49 probes in file. 2 probes covered (4.0%) 1728 times exection in total. 864.0 times execution per probe in average. 0.01% CPU usage. 47 probes uncovered (96.0%) [225] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\FGNodeAST.java 4 probes in file. 3 probes covered (75.0%) 1718 times exection in total. 572.66 times execution per probe in average. 0.01% CPU usage. 1 probes uncovered (25.0%) [226] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AVariableDeclaratorId.java 47 probes in file. 22 probes covered (46.8%) 1676 times exection in total. 76.18 times execution per probe in average. 0.01% CPU usage. 25 probes uncovered (53.2%) [227] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\VoidType.java 6 probes in file. 4 probes covered (66.6%) 1657 times exection in total. 414.25 times execution per probe in average. 0.01% CPU usage. 2 probes uncovered (33.4%) [228] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JThrowStmt.java 15 probes in file. 9 probes covered (60.0%) 1651 times exection in total. 183.44 times execution per probe in average. 0.01% CPU usage. 6 probes uncovered (40.0%) [229] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOldMethodDeclarator.java 92 probes in file. 31 probes covered (33.6%) 1597 times exection in total. 51.51 times execution per probe in average. 0.0% CPU usage. 61 probes uncovered (66.4%) [230] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\optimizer\TrivialExpression.java 152 probes in file. 22 probes covered (14.4%) 1594 times exection in total. 72.45 times execution per probe in average. 0.0% CPU usage. 130 probes uncovered (85.6%) [231] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JNopStmt.java 6 probes in file. 4 probes covered (66.6%) 1562 times exection in total. 390.5 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (33.4%) [232] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TEqual.java 7 probes in file. 4 probes covered (57.1%) 1560 times exection in total. 390.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [233] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AMethodDeclaration.java 32 probes in file. 16 probes covered (50.0%) 1556 times exection in total. 97.25 times execution per probe in average. 0.0% CPU usage. 16 probes uncovered (50.0%) [234] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\symboltable\PrimitiveType.java 1 probes in file. 1 probes covered (100.0%) 1548 times exection in total. 1548.0 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [235] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\DeadlockRelatedCriterion.java 40 probes in file. 36 probes covered (90.0%) 1541 times exection in total. 42.8 times execution per probe in average. 0.0% CPU usage. 4 probes uncovered (10.0%) [236] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\TypedLinkedList.java 26 probes in file. 7 probes covered (26.9%) 1529 times exection in total. 218.42 times execution per probe in average. 0.0% CPU usage. 19 probes uncovered (73.1%) [237] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AAssignment.java 46 probes in file. 27 probes covered (58.6%) 1517 times exection in total. 56.18 times execution per probe in average. 0.0% CPU usage. 19 probes uncovered (41.4%) [238] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AIfStmt.java 102 probes in file. 56 probes covered (54.9%) 1510 times exection in total. 26.96 times execution per probe in average. 0.0% CPU usage. 46 probes uncovered (45.1%) [239] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AIfThenStmt.java 74 probes in file. 46 probes covered (62.1%) 1491 times exection in total. 32.41 times execution per probe in average. 0.0% CPU usage. 28 probes uncovered (37.9%) [240] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\X1PBlockedStmt.java 26 probes in file. 16 probes covered (61.5%) 1488 times exection in total. 93.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (38.5%) [241] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\SootField.java 23 probes in file. 12 probes covered (52.1%) 1487 times exection in total. 123.91 times execution per probe in average. 0.0% CPU usage. 11 probes uncovered (47.9%) [242] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\assertion\AssertionSliceInterestCollector.java 18 probes in file. 17 probes covered (94.4%) 1433 times exection in total. 84.29 times execution per probe in average. 0.0% CPU usage. 1 probes uncovered (5.5%) [243] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\SliceCriterion.java 7 probes in file. 7 probes covered (100.0%) 1416 times exection in total. 202.28 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [244] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\datastructure\Session.java 144 probes in file. 69 probes covered (47.9%) 1407 times exection in total. 20.39 times execution per probe in average. 0.0% CPU usage. 75 probes uncovered (52.1%) [245] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\Constant.java 1 probes in file. 1 probes covered (100.0%) 1405 times exection in total. 1405.0 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [246] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\ast\Reformatter.java 10 probes in file. 10 probes covered (100.0%) 1392 times exection in total. 139.2 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [247] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AStmtWithoutTrailingSubstmtStmt.java 18 probes in file. 8 probes covered (44.4%) 1384 times exection in total. 173.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (55.6%) [248] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ASynchronizedStmt.java 74 probes in file. 39 probes covered (52.7%) 1350 times exection in total. 34.61 times execution per probe in average. 0.0% CPU usage. 35 probes uncovered (47.3%) [249] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\ast\SynchronizedMethodTransformer.java 57 probes in file. 35 probes covered (61.4%) 1348 times exection in total. 38.51 times execution per probe in average. 0.0% CPU usage. 22 probes uncovered (38.6%) [250] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\analysis\AnalysisAdapter.java 98 probes in file. 18 probes covered (18.3%) 1321 times exection in total. 73.38 times execution per probe in average. 0.0% CPU usage. 80 probes uncovered (81.7%) [251] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TStringLiteral.java 6 probes in file. 4 probes covered (66.6%) 1300 times exection in total. 325.0 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (33.4%) [252] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AAssignmentExp.java 46 probes in file. 26 probes covered (56.5%) 1299 times exection in total. 49.96 times execution per probe in average. 0.0% CPU usage. 20 probes uncovered (43.5%) [253] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TComma.java 7 probes in file. 4 probes covered (57.1%) 1292 times exection in total. 323.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [254] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\AbstractInvokeExpr.java 9 probes in file. 7 probes covered (77.7%) 1269 times exection in total. 181.28 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (22.2%) [255] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOneForStmt.java 130 probes in file. 82 probes covered (63.0%) 1251 times exection in total. 15.25 times execution per probe in average. 0.0% CPU usage. 48 probes uncovered (37.0%) [256] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AFormalParameter.java 62 probes in file. 17 probes covered (27.4%) 1244 times exection in total. 73.17 times execution per probe in average. 0.0% CPU usage. 45 probes uncovered (72.6%) [257] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ALiteralPrimaryNoNewArray.java 18 probes in file. 10 probes covered (55.5%) 1235 times exection in total. 123.5 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [258] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ASimpleClassInstanceCreationExp.java 107 probes in file. 47 probes covered (43.9%) 1215 times exection in total. 25.85 times execution per probe in average. 0.0% CPU usage. 60 probes uncovered (56.1%) [259] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ABooleanLiteralLiteral.java 18 probes in file. 10 probes covered (55.5%) 1203 times exection in total. 120.3 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [260] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\NodeCast.java 2 probes in file. 2 probes covered (100.0%) 1182 times exection in total. 591.0 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [261] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TLBrace.java 7 probes in file. 6 probes covered (85.7%) 1181 times exection in total. 196.83 times execution per probe in average. 0.0% CPU usage. 1 probes uncovered (14.2%) [262] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ATypedMethodHeader.java 77 probes in file. 31 probes covered (40.2%) 1166 times exection in total. 37.61 times execution per probe in average. 0.0% CPU usage. 46 probes uncovered (59.8%) [263] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AExpStmtStmtWithoutTrailingSubstmt.java 18 probes in file. 9 probes covered (50.0%) 1164 times exection in total. 129.33 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [264] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AFieldDeclaration.java 90 probes in file. 33 probes covered (36.6%) 1133 times exection in total. 34.33 times execution per probe in average. 0.0% CPU usage. 57 probes uncovered (63.4%) [265] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\X1PClassBodyDeclaration.java 26 probes in file. 16 probes covered (61.5%) 1120 times exection in total. 70.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (38.5%) [266] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\analysis\DepthFirstAdapter.java 84 probes in file. 23 probes covered (27.3%) 1110 times exection in total. 48.26 times execution per probe in average. 0.0% CPU usage. 61 probes uncovered (72.7%) [267] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\abstraction\gui\AbstractTreeNode.java 11 probes in file. 7 probes covered (63.6%) 1072 times exection in total. 153.14 times execution per probe in average. 0.0% CPU usage. 4 probes uncovered (36.4%) [268] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\ImmediateBox.java 2 probes in file. 2 probes covered (100.0%) 1065 times exection in total. 532.5 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [269] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TRBracket.java 7 probes in file. 5 probes covered (71.4%) 1054 times exection in total. 210.8 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (28.5%) [270] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\ConstructorDeclarationAnnotation.java 57 probes in file. 26 probes covered (45.6%) 1053 times exection in total. 40.5 times execution per probe in average. 0.0% CPU usage. 31 probes uncovered (54.4%) [271] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AAssignedVariableDeclarator.java 46 probes in file. 24 probes covered (52.1%) 1053 times exection in total. 43.87 times execution per probe in average. 0.0% CPU usage. 22 probes uncovered (47.9%) [272] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\RValueBox.java 2 probes in file. 2 probes covered (100.0%) 1051 times exection in total. 525.5 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [273] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\AIdFormatWord.java 18 probes in file. 7 probes covered (38.8%) 1050 times exection in total. 150.0 times execution per probe in average. 0.0% CPU usage. 11 probes uncovered (61.2%) [274] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AUnaryExp.java 32 probes in file. 24 probes covered (75.0%) 1045 times exection in total. 43.54 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (25.0%) [275] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\VariableBox.java 2 probes in file. 2 probes covered (100.0%) 1041 times exection in total. 520.5 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [276] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\LocalBox.java 2 probes in file. 2 probes covered (100.0%) 1015 times exection in total. 507.5 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [277] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\optimizer\PushComplement.java 68 probes in file. 41 probes covered (60.2%) 1006 times exection in total. 24.53 times execution per probe in average. 0.0% CPU usage. 27 probes uncovered (39.8%) [278] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOneReturnStmt.java 46 probes in file. 28 probes covered (60.8%) 990 times exection in total. 35.35 times execution per probe in average. 0.0% CPU usage. 18 probes uncovered (39.2%) [279] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ALocalVariableDeclaration.java 75 probes in file. 22 probes covered (29.3%) 989 times exection in total. 44.95 times execution per probe in average. 0.0% CPU usage. 53 probes uncovered (70.7%) [280] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TRBrace.java 7 probes in file. 4 probes covered (57.1%) 988 times exection in total. 247.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [281] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AClassBody.java 62 probes in file. 26 probes covered (41.9%) 985 times exection in total. 37.88 times execution per probe in average. 0.0% CPU usage. 36 probes uncovered (58.1%) [282] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AClassDeclaration.java 107 probes in file. 45 probes covered (42.0%) 980 times exection in total. 21.77 times execution per probe in average. 0.0% CPU usage. 62 probes uncovered (58.0%) [283] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\TLBrace.java 7 probes in file. 4 probes covered (57.1%) 976 times exection in total. 244.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [284] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\TWhiteSpace.java 6 probes in file. 4 probes covered (66.6%) 968 times exection in total. 242.0 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (33.4%) [285] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\APublicModifier.java 18 probes in file. 10 probes covered (55.5%) 962 times exection in total. 96.2 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [286] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\ThisRef.java 6 probes in file. 4 probes covered (66.6%) 946 times exection in total. 236.5 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (33.4%) [287] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JReturnVoidStmt.java 6 probes in file. 6 probes covered (100.0%) 941 times exection in total. 156.83 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [288] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\APrimitiveType.java 18 probes in file. 10 probes covered (55.5%) 930 times exection in total. 93.0 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [289] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\X1PModifier.java 26 probes in file. 16 probes covered (61.5%) 928 times exection in total. 58.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (38.5%) [290] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\X2PBlockedStmt.java 16 probes in file. 9 probes covered (56.2%) 927 times exection in total. 103.0 times execution per probe in average. 0.0% CPU usage. 7 probes uncovered (43.8%) [291] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TDecimalIntegerLiteral.java 6 probes in file. 5 probes covered (83.3%) 901 times exection in total. 180.2 times execution per probe in average. 0.0% CPU usage. 1 probes uncovered (16.7%) [292] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AMethodClassBodyDeclaration.java 18 probes in file. 9 probes covered (50.0%) 896 times exection in total. 99.55 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [293] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\SpinOption.java 558 probes in file. 339 probes covered (60.7%) 890 times exection in total. 2.62 times execution per probe in average. 0.0% CPU usage. 219 probes uncovered (39.3%) [294] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\InfoAnalysis.java 24 probes in file. 21 probes covered (87.5%) 888 times exection in total. 42.28 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (12.5%) [295] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JArrayRef.java 29 probes in file. 14 probes covered (48.2%) 882 times exection in total. 63.0 times execution per probe in average. 0.0% CPU usage. 15 probes uncovered (51.8%) [296] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOldLocalVariableDeclaration.java 62 probes in file. 23 probes covered (37.0%) 870 times exection in total. 37.82 times execution per probe in average. 0.0% CPU usage. 39 probes uncovered (63.0%) [297] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\DSpinOption.java 540 probes in file. 327 probes covered (60.5%) 858 times exection in total. 2.62 times execution per probe in average. 0.0% CPU usage. 213 probes uncovered (39.5%) [298] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\AssertionBrowser.java 285 probes in file. 199 probes covered (69.8%) 849 times exection in total. 4.26 times execution per probe in average. 0.0% CPU usage. 86 probes uncovered (30.2%) [299] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TPublic.java 7 probes in file. 5 probes covered (71.4%) 841 times exection in total. 168.2 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (28.5%) [300] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\IntPair.java 1 probes in file. 1 probes covered (100.0%) 830 times exection in total. 830.0 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [301] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AArgumentListArgumentList.java 46 probes in file. 24 probes covered (52.1%) 825 times exection in total. 34.37 times execution per probe in average. 0.0% CPU usage. 22 probes uncovered (47.9%) [302] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\JPFOption.java 534 probes in file. 310 probes covered (58.0%) 800 times exection in total. 2.58 times execution per probe in average. 0.0% CPU usage. 224 probes uncovered (42.0%) [303] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\X1PPattern.java 26 probes in file. 16 probes covered (61.5%) 800 times exection in total. 50.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (38.5%) [304] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TAssign.java 7 probes in file. 5 probes covered (71.4%) 799 times exection in total. 159.8 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (28.5%) [305] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\ValueVariant.java 5 probes in file. 4 probes covered (80.0%) 789 times exection in total. 197.25 times execution per probe in average. 0.0% CPU usage. 1 probes uncovered (20.0%) [306] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\ClassFile.java 5 probes in file. 2 probes covered (40.0%) 784 times exection in total. 392.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (60.0%) [307] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JIdentityStmt.java 10 probes in file. 7 probes covered (70.0%) 774 times exection in total. 110.57 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (30.0%) [308] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TDot.java 7 probes in file. 6 probes covered (85.7%) 769 times exection in total. 128.16 times execution per probe in average. 0.0% CPU usage. 1 probes uncovered (14.2%) [309] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AClassOrInterfaceType.java 18 probes in file. 9 probes covered (50.0%) 756 times exection in total. 84.0 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [310] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\InstanceVariantManager.java 21 probes in file. 16 probes covered (76.1%) 742 times exection in total. 46.37 times execution per probe in average. 0.0% CPU usage. 5 probes uncovered (23.9%) [311] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\X2PModifier.java 16 probes in file. 9 probes covered (56.2%) 738 times exection in total. 82.0 times execution per probe in average. 0.0% CPU usage. 7 probes uncovered (43.8%) [312] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ABlockMethodBody.java 18 probes in file. 13 probes covered (72.2%) 736 times exection in total. 56.61 times execution per probe in average. 0.0% CPU usage. 5 probes uncovered (27.8%) [313] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AReferenceType.java 18 probes in file. 9 probes covered (50.0%) 721 times exection in total. 80.11 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [314] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AForStmt.java 152 probes in file. 72 probes covered (47.3%) 713 times exection in total. 9.9 times execution per probe in average. 0.0% CPU usage. 80 probes uncovered (52.7%) [315] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\TDoubleQuote.java 7 probes in file. 4 probes covered (57.1%) 710 times exection in total. 177.5 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [316] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AIntPrimitiveType.java 18 probes in file. 11 probes covered (61.1%) 707 times exection in total. 64.27 times execution per probe in average. 0.0% CPU usage. 7 probes uncovered (38.9%) [317] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\PredicateBrowser.java 289 probes in file. 182 probes covered (62.9%) 706 times exection in total. 3.87 times execution per probe in average. 0.0% CPU usage. 107 probes uncovered (37.1%) [318] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\abstraction\gui\TypeTreeNode.java 7 probes in file. 5 probes covered (71.4%) 700 times exection in total. 140.0 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (28.5%) [319] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOldFieldDeclaration.java 77 probes in file. 36 probes covered (46.7%) 690 times exection in total. 19.16 times execution per probe in average. 0.0% CPU usage. 41 probes uncovered (53.3%) [320] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AMethodDeclarationClassMemberDeclaration.java 18 probes in file. 10 probes covered (55.5%) 689 times exection in total. 68.9 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [321] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\APlusAdditiveExp.java 46 probes in file. 27 probes covered (58.6%) 684 times exection in total. 25.33 times execution per probe in average. 0.0% CPU usage. 19 probes uncovered (41.4%) [322] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\util\BanderaLog.java 69 probes in file. 14 probes covered (20.2%) 682 times exection in total. 48.71 times execution per probe in average. 0.0% CPU usage. 55 probes uncovered (79.8%) [323] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\Util.java 24 probes in file. 15 probes covered (62.5%) 678 times exection in total. 45.2 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (37.5%) [324] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AIntIntegralType.java 18 probes in file. 10 probes covered (55.5%) 676 times exection in total. 67.6 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [325] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\abstraction\gui\MethodTreeNode.java 33 probes in file. 23 probes covered (69.6%) 675 times exection in total. 29.34 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (30.4%) [326] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\JReturnStmt.java 15 probes in file. 9 probes covered (60.0%) 670 times exection in total. 74.44 times execution per probe in average. 0.0% CPU usage. 6 probes uncovered (40.0%) [327] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\Start.java 32 probes in file. 16 probes covered (50.0%) 668 times exection in total. 41.75 times execution per probe in average. 0.0% CPU usage. 16 probes uncovered (50.0%) [328] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\TRBrace.java 7 probes in file. 4 probes covered (57.1%) 660 times exection in total. 165.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [329] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\ClasspathManager.java 202 probes in file. 86 probes covered (42.5%) 660 times exection in total. 7.67 times execution per probe in average. 0.0% CPU usage. 116 probes uncovered (57.5%) [330] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\IncludedManager.java 191 probes in file. 85 probes covered (44.5%) 654 times exection in total. 7.69 times execution per probe in average. 0.0% CPU usage. 106 probes uncovered (55.5%) [331] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AReturnStmt.java 46 probes in file. 24 probes covered (52.1%) 647 times exection in total. 26.95 times execution per probe in average. 0.0% CPU usage. 22 probes uncovered (47.9%) [332] D:\SemanticDesigns\JavaTestSuite\bandera\org\apache\log4j\Hierarchy.java 105 probes in file. 44 probes covered (41.9%) 642 times exection in total. 14.59 times execution per probe in average. 0.0% CPU usage. 61 probes uncovered (58.1%) [333] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AIntegralTypeNumericType.java 18 probes in file. 9 probes covered (50.0%) 636 times exection in total. 70.66 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [334] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANameArrayAccess.java 60 probes in file. 28 probes covered (46.6%) 622 times exection in total. 22.21 times execution per probe in average. 0.0% CPU usage. 32 probes uncovered (53.4%) [335] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TComma.java 7 probes in file. 4 probes covered (57.1%) 616 times exection in total. 154.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [336] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AVariableDeclaratorVariableDeclarators.java 18 probes in file. 9 probes covered (50.0%) 612 times exection in total. 68.0 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [337] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\abstraction\gui\ClassTreeNode.java 18 probes in file. 18 probes covered (100.0%) 611 times exection in total. 33.94 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [338] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ATrueBooleanLiteral.java 18 probes in file. 9 probes covered (50.0%) 611 times exection in total. 67.88 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [339] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\EmptyStmtAnnotation.java 5 probes in file. 2 probes covered (40.0%) 604 times exection in total. 302.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (60.0%) [340] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ALocalVariableDeclarationStmt.java 32 probes in file. 19 probes covered (59.3%) 598 times exection in total. 31.47 times execution per probe in average. 0.0% CPU usage. 13 probes uncovered (40.7%) [341] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AClassMemberDeclarationClassBodyDeclaration.java 18 probes in file. 8 probes covered (44.4%) 592 times exection in total. 74.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (55.6%) [342] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AMethodInvocationStmtExp.java 18 probes in file. 9 probes covered (50.0%) 588 times exection in total. 65.33 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [343] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANameReferenceType.java 18 probes in file. 9 probes covered (50.0%) 577 times exection in total. 64.11 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [344] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\X1PSession.java 26 probes in file. 16 probes covered (61.5%) 576 times exection in total. 36.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (38.5%) [345] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TLBrace.java 7 probes in file. 4 probes covered (57.1%) 572 times exection in total. 143.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [346] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AFalseBooleanLiteral.java 18 probes in file. 8 probes covered (44.4%) 572 times exection in total. 71.5 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (55.6%) [347] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\assertion\AssertionExtractor.java 48 probes in file. 42 probes covered (87.5%) 559 times exection in total. 13.3 times execution per probe in average. 0.0% CPU usage. 6 probes uncovered (12.5%) [348] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AExpVariableInitializer.java 18 probes in file. 10 probes covered (55.5%) 543 times exection in total. 54.3 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [349] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AExpArgumentList.java 18 probes in file. 9 probes covered (50.0%) 540 times exection in total. 60.0 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [350] D:\SemanticDesigns\JavaTestSuite\bandera\org\apache\log4j\helpers\PatternParser.java 162 probes in file. 62 probes covered (38.2%) 534 times exection in total. 8.61 times execution per probe in average. 0.0% CPU usage. 100 probes uncovered (61.8%) [351] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\annotation\FieldDeclarationAnnotation.java 31 probes in file. 17 probes covered (54.8%) 525 times exection in total. 30.88 times execution per probe in average. 0.0% CPU usage. 14 probes uncovered (45.2%) [352] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\TPattern.java 7 probes in file. 4 probes covered (57.1%) 512 times exection in total. 128.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [353] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\pdgslicer\PostProcessOnAnnotation.java 640 probes in file. 249 probes covered (38.9%) 509 times exection in total. 2.04 times execution per probe in average. 0.0% CPU usage. 391 probes uncovered (61.1%) [354] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\APrimaryMethodInvocationExp.java 107 probes in file. 44 probes covered (41.1%) 507 times exection in total. 11.52 times execution per probe in average. 0.0% CPU usage. 63 probes uncovered (58.9%) [355] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ALtRelationalExp.java 46 probes in file. 27 probes covered (58.6%) 504 times exection in total. 18.66 times execution per probe in average. 0.0% CPU usage. 19 probes uncovered (41.4%) [356] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TPlus.java 7 probes in file. 5 probes covered (71.4%) 503 times exection in total. 100.6 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (28.5%) [357] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\util\Preferences.java 128 probes in file. 34 probes covered (26.5%) 499 times exection in total. 14.67 times execution per probe in average. 0.0% CPU usage. 94 probes uncovered (73.5%) [358] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOneSynchronizedStmt.java 74 probes in file. 46 probes covered (62.1%) 497 times exection in total. 10.8 times execution per probe in average. 0.0% CPU usage. 28 probes uncovered (37.9%) [359] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\ParameterRef.java 8 probes in file. 5 probes covered (62.5%) 494 times exection in total. 98.8 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (37.5%) [360] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANameLeftHandSide.java 18 probes in file. 10 probes covered (55.5%) 492 times exection in total. 49.2 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [361] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\ValueVariantManager.java 25 probes in file. 22 probes covered (88.0%) 492 times exection in total. 22.36 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (12.0%) [362] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ALocalVariableDeclarationInBlockedStmt.java 32 probes in file. 18 probes covered (56.2%) 480 times exection in total. 26.66 times execution per probe in average. 0.0% CPU usage. 14 probes uncovered (43.8%) [363] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AAssignmentStmtExp.java 18 probes in file. 9 probes covered (50.0%) 480 times exection in total. 53.33 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [364] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\CompleteStmtGraph.java 1 probes in file. 1 probes covered (100.0%) 470 times exection in total. 470.0 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [365] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AEqEqualityExp.java 46 probes in file. 27 probes covered (58.6%) 468 times exection in total. 17.33 times execution per probe in average. 0.0% CPU usage. 19 probes uncovered (41.4%) [366] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\X2PResource.java 16 probes in file. 9 probes covered (56.2%) 468 times exection in total. 52.0 times execution per probe in average. 0.0% CPU usage. 7 probes uncovered (43.8%) [367] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\abstraction\gui\AbstractionLibraryManager.java 409 probes in file. 183 probes covered (44.7%) 466 times exection in total. 2.54 times execution per probe in average. 0.0% CPU usage. 226 probes uncovered (55.3%) [368] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\EOF.java 6 probes in file. 4 probes covered (66.6%) 465 times exection in total. 116.25 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (33.4%) [369] D:\SemanticDesigns\JavaTestSuite\bandera\org\apache\log4j\Category.java 150 probes in file. 22 probes covered (14.6%) 452 times exection in total. 20.54 times execution per probe in average. 0.0% CPU usage. 128 probes uncovered (85.4%) [370] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\node\X2PFormatWord.java 16 probes in file. 9 probes covered (56.2%) 450 times exection in total. 50.0 times execution per probe in average. 0.0% CPU usage. 7 probes uncovered (43.8%) [371] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TEq.java 7 probes in file. 5 probes covered (71.4%) 443 times exection in total. 88.6 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (28.5%) [372] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TLt.java 7 probes in file. 6 probes covered (85.7%) 443 times exection in total. 73.83 times execution per probe in average. 0.0% CPU usage. 1 probes uncovered (14.2%) [373] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bui\session\node\TRBrace.java 7 probes in file. 4 probes covered (57.1%) 440 times exection in total. 110.0 times execution per probe in average. 0.0% CPU usage. 3 probes uncovered (42.9%) [374] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\predicate\PredicateExtractor.java 22 probes in file. 5 probes covered (22.7%) 439 times exection in total. 87.8 times execution per probe in average. 0.0% CPU usage. 17 probes uncovered (77.3%) [375] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\bofa\MethodIndexManagerPoint.java 2 probes in file. 2 probes covered (100.0%) 439 times exection in total. 219.5 times execution per probe in average. 0.0% CPU usage. 0 probes uncovered (0.0%) [376] D:\SemanticDesigns\JavaTestSuite\bandera\ca\mcgill\sable\soot\jimple\LocalCopy.java 6 probes in file. 5 probes covered (83.3%) 438 times exection in total. 87.6 times execution per probe in average. 0.0% CPU usage. 1 probes uncovered (16.7%) [377] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AConstructorDeclaration.java 77 probes in file. 29 probes covered (37.6%) 433 times exection in total. 14.93 times execution per probe in average. 0.0% CPU usage. 48 probes uncovered (62.4%) [378] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AAssignAssignmentOperator.java 18 probes in file. 10 probes covered (55.5%) 426 times exection in total. 42.6 times execution per probe in average. 0.0% CPU usage. 8 probes uncovered (44.5%) [379] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AOneWhileStmt.java 74 probes in file. 46 probes covered (62.1%) 426 times exection in total. 9.26 times execution per probe in average. 0.0% CPU usage. 28 probes uncovered (37.9%) [380] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AConstructorDeclarator.java 77 probes in file. 31 probes covered (40.2%) 425 times exection in total. 13.7 times execution per probe in average. 0.0% CPU usage. 46 probes uncovered (59.8%) [381] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\ANumericTypePrimitiveType.java 18 probes in file. 8 probes covered (44.4%) 424 times exection in total. 53.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (55.6%) [382] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AFinalModifier.java 18 probes in file. 9 probes covered (50.0%) 423 times exection in total. 47.0 times execution per probe in average. 0.0% CPU usage. 9 probes uncovered (50.0%) [383] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\APrimaryMethodInvocation.java 88 probes in file. 51 probes covered (57.9%) 420 times exection in total. 8.23 times execution per probe in average. 0.0% CPU usage. 37 probes uncovered (42.1%) [384] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\TInt.java 7 probes in file. 5 probes covered (71.4%) 416 times exection in total. 83.2 times execution per probe in average. 0.0% CPU usage. 2 probes uncovered (28.5%) [385] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\jjjc\node\AQualifiedNameName.java 18 probes in file. 8 probes covered (44.4%) 416 times exection in total. 52.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (55.6%) [386] D:\SemanticDesigns\JavaTestSuite\bandera\edu\ksu\cis\bandera\specification\pattern\node\AIdIds.java 18 probes in file. 8 probes covered (44.4%) 416 times exection in total. 52.0 times execution per probe in average. 0.0% CPU usage. 10 probes uncovered (55.6%) [387] D:\SemanticDesigns\JavaTestSuite\bande