Semantic Designs Test Coverage Report Probe Reference File: D:\SDProductTests\DMS\Domains\Java\Java1_4\Tools\TestCoverage\Tests\bandera\workdir\Bandera.prf Test Coverage Vectors: D:\SDProductTests\DMS\Domains\Java\Java1_4\Tools\TestCoverage\Tests\bandera\workdir\%execution_2005_2_1_17_19_39_815.tcv D:\SDProductTests\DMS\Domains\Java\Java1_4\Tools\TestCoverage\Tests\bandera\workdir\%execution_2005_2_1_17_19_40_18.tcv SUMMARY: Total Probes: 136832 Total Files: 3824 3.0% covered (4195 out of 136832). 97.0% uncovered (132637 out of 136832). COVERAGE REPORT BY FILE: [1] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\Bandera.java 96.0% uncovered (48 out of 50). [2] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\laleh\java\astfix\ASTFixer.java 100.0% uncovered (651 out of 651). [3] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\laleh\java\astfix\JJCParser.java 100.0% uncovered (2 out of 2). [4] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\AlreadyDeclaredException.java 100.0% uncovered (2 out of 2). [5] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\AlreadyManagedException.java 100.0% uncovered (2 out of 2). [6] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\AlreadyThrowsException.java 100.0% uncovered (2 out of 2). [7] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\AmbiguousFieldException.java 100.0% uncovered (2 out of 2). [8] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\AmbiguousMethodException.java 100.0% uncovered (2 out of 2). [9] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\ArrayType.java 100.0% uncovered (12 out of 12). [10] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\BaseType.java 0.0% uncovered (0 out of 0). [11] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\Body.java 0.0% uncovered (0 out of 0). [12] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\BodyExpr.java 0.0% uncovered (0 out of 0). [13] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\BodyRepresentation.java 0.0% uncovered (0 out of 0). [14] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\BooleanType.java 100.0% uncovered (6 out of 6). [15] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\BuildAndStoreBody.java 100.0% uncovered (5 out of 5). [16] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\BuildBody.java 100.0% uncovered (3 out of 3). [17] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\ByteType.java 33.3% uncovered (2 out of 6). [18] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\CharType.java 33.3% uncovered (2 out of 6). [19] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\ClassFile.java 100.0% uncovered (5 out of 5). [20] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\ClassFileBody.java 100.0% uncovered (4 out of 4). [21] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\ClassFileNotFoundException.java 0.0% uncovered (0 out of 0). [22] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\CorruptClassFileException.java 0.0% uncovered (0 out of 0). [23] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\DoesNotThrowException.java 100.0% uncovered (2 out of 2). [24] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\DoubleType.java 33.3% uncovered (2 out of 6). [25] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\DuplicateNameException.java 100.0% uncovered (2 out of 2). [26] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\ErroneousType.java 100.0% uncovered (6 out of 6). [27] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\FloatType.java 33.3% uncovered (2 out of 6). [28] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\IllegalTypeMergeException.java 100.0% uncovered (2 out of 2). [29] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\IncorrectDeclarerException.java 100.0% uncovered (2 out of 2). [30] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\IncorrectManagerException.java 100.0% uncovered (2 out of 2). [31] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\IntType.java 33.3% uncovered (2 out of 6). [32] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\LongType.java 100.0% uncovered (6 out of 6). [33] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\Modifier.java 100.0% uncovered (36 out of 36). [34] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NoSuchClassException.java 100.0% uncovered (2 out of 2). [35] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NoSuchException.java 100.0% uncovered (2 out of 2). [36] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NoSuchFieldException.java 100.0% uncovered (2 out of 2). [37] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NoSuchInterfaceException.java 100.0% uncovered (2 out of 2). [38] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NoSuchMethodException.java 100.0% uncovered (2 out of 2). [39] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NoSuperClassException.java 100.0% uncovered (2 out of 2). [40] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NotDeclaredException.java 100.0% uncovered (2 out of 2). [41] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NotManagedException.java 100.0% uncovered (2 out of 2). [42] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\NullType.java 100.0% uncovered (6 out of 6). [43] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\RefType.java 100.0% uncovered (7 out of 7). [44] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\ShortType.java 33.3% uncovered (2 out of 6). [45] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\SootClass.java 100.0% uncovered (191 out of 191). [46] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\SootClassManager.java 100.0% uncovered (24 out of 24). [47] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\SootField.java 100.0% uncovered (22 out of 22). [48] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\SootMethod.java 100.0% uncovered (71 out of 71). [49] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\StaticMethodException.java 100.0% uncovered (2 out of 2). [50] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\StmtAddressType.java 100.0% uncovered (6 out of 6). [51] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\StoredBody.java 100.0% uncovered (2 out of 2). [52] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\Timer.java 100.0% uncovered (9 out of 9). [53] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\ToBriefString.java 0.0% uncovered (0 out of 0). [54] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\Type.java 100.0% uncovered (31 out of 31). [55] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\TypeSwitch.java 100.0% uncovered (19 out of 19). [56] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\UnknownType.java 100.0% uncovered (6 out of 6). [57] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\VoidType.java 100.0% uncovered (6 out of 6). [58] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\baf\Baf.java 100.0% uncovered (3 out of 3). [59] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\baf\BafBody.java 100.0% uncovered (4 out of 4). [60] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\BBQ.java 100.0% uncovered (14 out of 14). [61] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\BasicBlock.java 100.0% uncovered (12 out of 12). [62] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\ByteCode.java 100.0% uncovered (462 out of 462). [63] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CFG.java 100.0% uncovered (1547 out of 1547). [64] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_Class_info.java 100.0% uncovered (6 out of 6). [65] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_Double_info.java 100.0% uncovered (8 out of 8). [66] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_Fieldref_info.java 100.0% uncovered (9 out of 9). [67] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_Float_info.java 100.0% uncovered (8 out of 8). [68] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_Integer_info.java 100.0% uncovered (6 out of 6). [69] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_InterfaceMethodref_info.java 100.0% uncovered (9 out of 9). [70] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_Long_info.java 100.0% uncovered (8 out of 8). [71] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_Methodref_info.java 100.0% uncovered (9 out of 9). [72] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_NameAndType_info.java 100.0% uncovered (9 out of 9). [73] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_String_info.java 100.0% uncovered (6 out of 6). [74] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\CONSTANT_Utf8_info.java 100.0% uncovered (37 out of 37). [75] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\ClassFile.java 100.0% uncovered (509 out of 509). [76] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Code_attribute.java 100.0% uncovered (4 out of 4). [77] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\ConstantValue_attribute.java 0.0% uncovered (0 out of 0). [78] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Double2ndHalfType.java 100.0% uncovered (4 out of 4). [79] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Exception_attribute.java 0.0% uncovered (0 out of 0). [80] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\FutureStmt.java 100.0% uncovered (7 out of 7). [81] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Generic_attribute.java 0.0% uncovered (0 out of 0). [82] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Info.java 100.0% uncovered (16 out of 16). [83] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction.java 100.0% uncovered (19 out of 19). [84] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Aaload.java 100.0% uncovered (1 out of 1). [85] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Aastore.java 100.0% uncovered (1 out of 1). [86] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Aconst_null.java 100.0% uncovered (1 out of 1). [87] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Aload.java 100.0% uncovered (1 out of 1). [88] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Aload_0.java 100.0% uncovered (1 out of 1). [89] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Aload_1.java 100.0% uncovered (1 out of 1). [90] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Aload_2.java 100.0% uncovered (1 out of 1). [91] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Aload_3.java 100.0% uncovered (1 out of 1). [92] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Anewarray.java 100.0% uncovered (1 out of 1). [93] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Areturn.java 100.0% uncovered (1 out of 1). [94] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Arraylength.java 100.0% uncovered (1 out of 1). [95] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Astore.java 100.0% uncovered (1 out of 1). [96] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Astore_0.java 100.0% uncovered (1 out of 1). [97] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Astore_1.java 100.0% uncovered (1 out of 1). [98] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Astore_2.java 100.0% uncovered (1 out of 1). [99] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Astore_3.java 100.0% uncovered (1 out of 1). [100] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Athrow.java 100.0% uncovered (2 out of 2). [101] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Baload.java 100.0% uncovered (1 out of 1). [102] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Bastore.java 100.0% uncovered (1 out of 1). [103] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Bipush.java 100.0% uncovered (2 out of 2). [104] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Breakpoint.java 100.0% uncovered (1 out of 1). [105] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Caload.java 100.0% uncovered (1 out of 1). [106] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Castore.java 100.0% uncovered (1 out of 1). [107] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Checkcast.java 100.0% uncovered (1 out of 1). [108] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_D2f.java 100.0% uncovered (1 out of 1). [109] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_D2i.java 100.0% uncovered (1 out of 1). [110] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_D2l.java 100.0% uncovered (1 out of 1). [111] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dadd.java 100.0% uncovered (1 out of 1). [112] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Daload.java 100.0% uncovered (1 out of 1). [113] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dastore.java 100.0% uncovered (1 out of 1). [114] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dcmpg.java 100.0% uncovered (1 out of 1). [115] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dcmpl.java 100.0% uncovered (1 out of 1). [116] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dconst_0.java 100.0% uncovered (1 out of 1). [117] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dconst_1.java 100.0% uncovered (1 out of 1). [118] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ddiv.java 100.0% uncovered (1 out of 1). [119] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dload.java 100.0% uncovered (1 out of 1). [120] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dload_0.java 100.0% uncovered (1 out of 1). [121] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dload_1.java 100.0% uncovered (1 out of 1). [122] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dload_2.java 100.0% uncovered (1 out of 1). [123] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dload_3.java 100.0% uncovered (1 out of 1). [124] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dmul.java 100.0% uncovered (1 out of 1). [125] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dneg.java 100.0% uncovered (1 out of 1). [126] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Drem.java 100.0% uncovered (1 out of 1). [127] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dreturn.java 100.0% uncovered (1 out of 1). [128] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dstore.java 100.0% uncovered (1 out of 1). [129] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dstore_0.java 100.0% uncovered (1 out of 1). [130] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dstore_1.java 100.0% uncovered (1 out of 1). [131] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dstore_2.java 100.0% uncovered (1 out of 1). [132] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dstore_3.java 100.0% uncovered (1 out of 1). [133] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dsub.java 100.0% uncovered (1 out of 1). [134] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dup.java 100.0% uncovered (1 out of 1). [135] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dup2.java 100.0% uncovered (1 out of 1). [136] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dup2_x1.java 100.0% uncovered (1 out of 1). [137] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dup2_x2.java 100.0% uncovered (1 out of 1). [138] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dup_x1.java 100.0% uncovered (1 out of 1). [139] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Dup_x2.java 100.0% uncovered (1 out of 1). [140] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_F2d.java 100.0% uncovered (1 out of 1). [141] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_F2i.java 100.0% uncovered (1 out of 1). [142] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_F2l.java 100.0% uncovered (1 out of 1). [143] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fadd.java 100.0% uncovered (1 out of 1). [144] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Faload.java 100.0% uncovered (1 out of 1). [145] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fastore.java 100.0% uncovered (1 out of 1). [146] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fcmpg.java 100.0% uncovered (1 out of 1). [147] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fcmpl.java 100.0% uncovered (1 out of 1). [148] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fconst_0.java 100.0% uncovered (1 out of 1). [149] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fconst_1.java 100.0% uncovered (1 out of 1). [150] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fconst_2.java 100.0% uncovered (1 out of 1). [151] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fdiv.java 100.0% uncovered (1 out of 1). [152] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fload.java 100.0% uncovered (1 out of 1). [153] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fload_0.java 100.0% uncovered (1 out of 1). [154] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fload_1.java 100.0% uncovered (1 out of 1). [155] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fload_2.java 100.0% uncovered (1 out of 1). [156] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fload_3.java 100.0% uncovered (1 out of 1). [157] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fmul.java 100.0% uncovered (1 out of 1). [158] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fneg.java 100.0% uncovered (1 out of 1). [159] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Frem.java 100.0% uncovered (1 out of 1). [160] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Freturn.java 100.0% uncovered (1 out of 1). [161] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fstore.java 100.0% uncovered (1 out of 1). [162] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fstore_0.java 100.0% uncovered (1 out of 1). [163] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fstore_1.java 100.0% uncovered (1 out of 1). [164] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fstore_2.java 100.0% uncovered (1 out of 1). [165] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fstore_3.java 100.0% uncovered (1 out of 1). [166] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Fsub.java 100.0% uncovered (1 out of 1). [167] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Getfield.java 100.0% uncovered (1 out of 1). [168] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Getstatic.java 100.0% uncovered (1 out of 1). [169] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Goto.java 100.0% uncovered (2 out of 2). [170] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Goto_w.java 100.0% uncovered (2 out of 2). [171] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_I2d.java 100.0% uncovered (1 out of 1). [172] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_I2f.java 100.0% uncovered (1 out of 1). [173] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_I2l.java 100.0% uncovered (1 out of 1). [174] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iadd.java 100.0% uncovered (1 out of 1). [175] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iaload.java 100.0% uncovered (1 out of 1). [176] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iand.java 100.0% uncovered (1 out of 1). [177] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iastore.java 100.0% uncovered (1 out of 1). [178] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iconst_0.java 100.0% uncovered (1 out of 1). [179] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iconst_1.java 100.0% uncovered (1 out of 1). [180] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iconst_2.java 100.0% uncovered (1 out of 1). [181] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iconst_3.java 100.0% uncovered (1 out of 1). [182] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iconst_4.java 100.0% uncovered (1 out of 1). [183] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iconst_5.java 100.0% uncovered (1 out of 1). [184] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iconst_m1.java 100.0% uncovered (1 out of 1). [185] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Idiv.java 100.0% uncovered (1 out of 1). [186] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_If_acmpeq.java 100.0% uncovered (1 out of 1). [187] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_If_acmpne.java 100.0% uncovered (1 out of 1). [188] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_If_icmpeq.java 100.0% uncovered (1 out of 1). [189] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_If_icmpge.java 100.0% uncovered (1 out of 1). [190] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_If_icmpgt.java 100.0% uncovered (1 out of 1). [191] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_If_icmple.java 100.0% uncovered (1 out of 1). [192] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_If_icmplt.java 100.0% uncovered (1 out of 1). [193] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_If_icmpne.java 100.0% uncovered (1 out of 1). [194] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ifeq.java 100.0% uncovered (1 out of 1). [195] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ifge.java 100.0% uncovered (1 out of 1). [196] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ifgt.java 100.0% uncovered (1 out of 1). [197] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ifle.java 100.0% uncovered (1 out of 1). [198] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iflt.java 100.0% uncovered (1 out of 1). [199] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ifne.java 100.0% uncovered (1 out of 1). [200] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ifnonnull.java 100.0% uncovered (1 out of 1). [201] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ifnull.java 100.0% uncovered (1 out of 1). [202] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iinc.java 100.0% uncovered (9 out of 9). [203] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iload.java 100.0% uncovered (1 out of 1). [204] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iload_0.java 100.0% uncovered (1 out of 1). [205] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iload_1.java 100.0% uncovered (1 out of 1). [206] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iload_2.java 100.0% uncovered (1 out of 1). [207] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iload_3.java 100.0% uncovered (1 out of 1). [208] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Imul.java 100.0% uncovered (1 out of 1). [209] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ineg.java 100.0% uncovered (1 out of 1). [210] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Instanceof.java 100.0% uncovered (1 out of 1). [211] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Int2byte.java 100.0% uncovered (1 out of 1). [212] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Int2char.java 100.0% uncovered (1 out of 1). [213] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Int2short.java 100.0% uncovered (1 out of 1). [214] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Invokeinterface.java 100.0% uncovered (7 out of 7). [215] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Invokenonvirtual.java 100.0% uncovered (1 out of 1). [216] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Invokestatic.java 100.0% uncovered (1 out of 1). [217] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Invokevirtual.java 100.0% uncovered (1 out of 1). [218] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ior.java 100.0% uncovered (1 out of 1). [219] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Irem.java 100.0% uncovered (1 out of 1). [220] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ireturn.java 100.0% uncovered (1 out of 1). [221] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ishl.java 100.0% uncovered (1 out of 1). [222] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ishr.java 100.0% uncovered (1 out of 1). [223] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Istore.java 100.0% uncovered (1 out of 1). [224] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Istore_0.java 100.0% uncovered (1 out of 1). [225] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Istore_1.java 100.0% uncovered (1 out of 1). [226] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Istore_2.java 100.0% uncovered (1 out of 1). [227] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Istore_3.java 100.0% uncovered (1 out of 1). [228] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Isub.java 100.0% uncovered (1 out of 1). [229] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Iushr.java 100.0% uncovered (1 out of 1). [230] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ixor.java 100.0% uncovered (1 out of 1). [231] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Jsr.java 100.0% uncovered (2 out of 2). [232] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Jsr_w.java 100.0% uncovered (2 out of 2). [233] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_L2d.java 100.0% uncovered (1 out of 1). [234] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_L2f.java 100.0% uncovered (1 out of 1). [235] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_L2i.java 100.0% uncovered (1 out of 1). [236] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ladd.java 100.0% uncovered (1 out of 1). [237] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Laload.java 100.0% uncovered (1 out of 1). [238] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Land.java 100.0% uncovered (1 out of 1). [239] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lastore.java 100.0% uncovered (1 out of 1). [240] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lcmp.java 100.0% uncovered (1 out of 1). [241] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lconst_0.java 100.0% uncovered (1 out of 1). [242] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lconst_1.java 100.0% uncovered (1 out of 1). [243] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ldc1.java 100.0% uncovered (1 out of 1). [244] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ldc2.java 100.0% uncovered (1 out of 1). [245] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ldc2w.java 100.0% uncovered (1 out of 1). [246] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ldiv.java 100.0% uncovered (1 out of 1). [247] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lload.java 100.0% uncovered (1 out of 1). [248] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lload_0.java 100.0% uncovered (1 out of 1). [249] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lload_1.java 100.0% uncovered (1 out of 1). [250] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lload_2.java 100.0% uncovered (1 out of 1). [251] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lload_3.java 100.0% uncovered (1 out of 1). [252] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lmul.java 100.0% uncovered (1 out of 1). [253] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lneg.java 100.0% uncovered (1 out of 1). [254] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lookupswitch.java 100.0% uncovered (42 out of 42). [255] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lor.java 100.0% uncovered (1 out of 1). [256] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lrem.java 100.0% uncovered (1 out of 1). [257] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lreturn.java 100.0% uncovered (1 out of 1). [258] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lshl.java 100.0% uncovered (1 out of 1). [259] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lshr.java 100.0% uncovered (1 out of 1). [260] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lstore.java 100.0% uncovered (1 out of 1). [261] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lstore_0.java 100.0% uncovered (1 out of 1). [262] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lstore_1.java 100.0% uncovered (1 out of 1). [263] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lstore_2.java 100.0% uncovered (1 out of 1). [264] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lstore_3.java 100.0% uncovered (1 out of 1). [265] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lsub.java 100.0% uncovered (1 out of 1). [266] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lushr.java 100.0% uncovered (1 out of 1). [267] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Lxor.java 100.0% uncovered (1 out of 1). [268] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Monitorenter.java 100.0% uncovered (1 out of 1). [269] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Monitorexit.java 100.0% uncovered (1 out of 1). [270] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Multianewarray.java 100.0% uncovered (7 out of 7). [271] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_New.java 100.0% uncovered (2 out of 2). [272] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Newarray.java 100.0% uncovered (16 out of 16). [273] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Nop.java 100.0% uncovered (1 out of 1). [274] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Pop.java 100.0% uncovered (1 out of 1). [275] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Pop2.java 100.0% uncovered (1 out of 1). [276] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Putfield.java 100.0% uncovered (1 out of 1). [277] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Putstatic.java 100.0% uncovered (1 out of 1). [278] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ret.java 100.0% uncovered (1 out of 1). [279] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Ret_w.java 100.0% uncovered (1 out of 1). [280] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Return.java 100.0% uncovered (1 out of 1). [281] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Saload.java 100.0% uncovered (1 out of 1). [282] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Sastore.java 100.0% uncovered (1 out of 1). [283] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Sipush.java 100.0% uncovered (2 out of 2). [284] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Swap.java 100.0% uncovered (1 out of 1). [285] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Tableswitch.java 100.0% uncovered (43 out of 43). [286] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Unknown.java 100.0% uncovered (1 out of 1). [287] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_Wide.java 100.0% uncovered (1 out of 1). [288] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_byte.java 100.0% uncovered (5 out of 5). [289] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_byteindex.java 100.0% uncovered (7 out of 7). [290] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_bytevar.java 100.0% uncovered (7 out of 7). [291] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_int.java 100.0% uncovered (7 out of 7). [292] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_intbranch.java 100.0% uncovered (15 out of 15). [293] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_intindex.java 100.0% uncovered (9 out of 9). [294] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_intvar.java 100.0% uncovered (7 out of 7). [295] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_longbranch.java 100.0% uncovered (15 out of 15). [296] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Instruction_noargs.java 100.0% uncovered (3 out of 3). [297] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\LineNumberTable_attribute.java 0.0% uncovered (0 out of 0). [298] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\LocalVariableTable_attribute.java 100.0% uncovered (8 out of 8). [299] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Long2ndHalfType.java 100.0% uncovered (4 out of 4). [300] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Main.java 100.0% uncovered (17 out of 17). [301] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\OutFlow.java 100.0% uncovered (1 out of 1). [302] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\SourceFile_attribute.java 0.0% uncovered (0 out of 0). [303] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\TypeArray.java 100.0% uncovered (29 out of 29). [304] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\TypeStack.java 100.0% uncovered (38 out of 38). [305] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\UnusuableType.java 100.0% uncovered (4 out of 4). [306] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Utf8_Enumeration.java 100.0% uncovered (11 out of 11). [307] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\Util.java 100.0% uncovered (162 out of 162). [308] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\attribute_info.java 0.0% uncovered (0 out of 0). [309] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\cp_info.java 100.0% uncovered (41 out of 41). [310] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\exception_table_entry.java 0.0% uncovered (0 out of 0). [311] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\field_info.java 100.0% uncovered (9 out of 9). [312] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\line_number_table_entry.java 0.0% uncovered (0 out of 0). [313] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\local_variable_table_entry.java 0.0% uncovered (0 out of 0). [314] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\coffi\method_info.java 100.0% uncovered (15 out of 15). [315] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\AbstractGrimpBinopExpr.java 100.0% uncovered (13 out of 13). [316] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\AbstractGrimpFloatBinopExpr.java 100.0% uncovered (2 out of 2). [317] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\AbstractGrimpIntBinopExpr.java 100.0% uncovered (2 out of 2). [318] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\AbstractGrimpIntLongBinopExpr.java 100.0% uncovered (2 out of 2). [319] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\BuildGrimpBodyOption.java 0.0% uncovered (0 out of 0). [320] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\ExprBox.java 100.0% uncovered (2 out of 2). [321] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GAddExpr.java 100.0% uncovered (4 out of 4). [322] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GAndExpr.java 100.0% uncovered (4 out of 4). [323] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GArrayRef.java 100.0% uncovered (11 out of 11). [324] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GAssignStmt.java 100.0% uncovered (1 out of 1). [325] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GCastExpr.java 100.0% uncovered (7 out of 7). [326] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GCmpExpr.java 100.0% uncovered (4 out of 4). [327] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GCmpgExpr.java 100.0% uncovered (4 out of 4). [328] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GCmplExpr.java 100.0% uncovered (4 out of 4). [329] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GDivExpr.java 100.0% uncovered (4 out of 4). [330] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GEnterMonitorStmt.java 100.0% uncovered (1 out of 1). [331] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GEqExpr.java 100.0% uncovered (4 out of 4). [332] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GExitMonitorStmt.java 100.0% uncovered (1 out of 1). [333] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GGeExpr.java 100.0% uncovered (4 out of 4). [334] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GGtExpr.java 100.0% uncovered (4 out of 4). [335] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GIdentityStmt.java 100.0% uncovered (1 out of 1). [336] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GIfStmt.java 100.0% uncovered (1 out of 1). [337] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GInstanceFieldRef.java 100.0% uncovered (7 out of 7). [338] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GInstanceOfExpr.java 100.0% uncovered (1 out of 1). [339] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GInterfaceInvokeExpr.java 100.0% uncovered (22 out of 22). [340] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GInvokeStmt.java 100.0% uncovered (1 out of 1). [341] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GLeExpr.java 100.0% uncovered (4 out of 4). [342] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GLengthExpr.java 100.0% uncovered (1 out of 1). [343] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GLookupSwitchStmt.java 100.0% uncovered (5 out of 5). [344] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GLtExpr.java 100.0% uncovered (4 out of 4). [345] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GMulExpr.java 100.0% uncovered (4 out of 4). [346] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GNeExpr.java 100.0% uncovered (4 out of 4). [347] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GNegExpr.java 100.0% uncovered (1 out of 1). [348] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GNewArrayExpr.java 100.0% uncovered (2 out of 2). [349] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GNewInvokeExpr.java 100.0% uncovered (28 out of 28). [350] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GNewMultiArrayExpr.java 100.0% uncovered (2 out of 2). [351] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GOrExpr.java 100.0% uncovered (4 out of 4). [352] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GRValueBox.java 100.0% uncovered (2 out of 2). [353] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GRemExpr.java 100.0% uncovered (4 out of 4). [354] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GRetStmt.java 100.0% uncovered (1 out of 1). [355] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GReturnStmt.java 100.0% uncovered (1 out of 1). [356] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GShlExpr.java 100.0% uncovered (4 out of 4). [357] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GShrExpr.java 100.0% uncovered (4 out of 4). [358] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GSpecialInvokeExpr.java 100.0% uncovered (22 out of 22). [359] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GStaticInvokeExpr.java 100.0% uncovered (2 out of 2). [360] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GSubExpr.java 100.0% uncovered (4 out of 4). [361] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GTableSwitchStmt.java 100.0% uncovered (5 out of 5). [362] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GThrowStmt.java 100.0% uncovered (1 out of 1). [363] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GTrap.java 100.0% uncovered (1 out of 1). [364] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GUshrExpr.java 100.0% uncovered (4 out of 4). [365] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GVirtualInvokeExpr.java 100.0% uncovered (22 out of 22). [366] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GXorExpr.java 100.0% uncovered (4 out of 4). [367] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\Grimp.java 100.0% uncovered (131 out of 131). [368] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GrimpBody.java 100.0% uncovered (204 out of 204). [369] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GrimpExprSwitch.java 0.0% uncovered (0 out of 0). [370] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\GrimpTransformations.java 100.0% uncovered (46 out of 46). [371] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\Main.java 100.0% uncovered (156 out of 156). [372] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\ObjExprBox.java 100.0% uncovered (2 out of 2). [373] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\Precedence.java 0.0% uncovered (0 out of 0). [374] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\grimp\PrintGrimpBodyOption.java 100.0% uncovered (1 out of 1). [375] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractBinopExpr.java 100.0% uncovered (18 out of 18). [376] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractCastExpr.java 100.0% uncovered (15 out of 15). [377] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractConstantSwitch.java 100.0% uncovered (9 out of 9). [378] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractDefinitionStmt.java 100.0% uncovered (11 out of 11). [379] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractExprSwitch.java 100.0% uncovered (35 out of 35). [380] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractFloatBinopExpr.java 100.0% uncovered (11 out of 11). [381] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractInstanceFieldRef.java 100.0% uncovered (17 out of 17). [382] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractInstanceOfExpr.java 100.0% uncovered (14 out of 14). [383] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractIntBinopExpr.java 100.0% uncovered (1 out of 1). [384] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractIntLongBinopExpr.java 100.0% uncovered (7 out of 7). [385] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractInterfaceInvokeExpr.java 100.0% uncovered (18 out of 18). [386] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractInvokeExpr.java 100.0% uncovered (9 out of 9). [387] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractJimpleBinopExpr.java 100.0% uncovered (2 out of 2). [388] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractJimpleFloatBinopExpr.java 100.0% uncovered (2 out of 2). [389] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractJimpleIntBinopExpr.java 100.0% uncovered (2 out of 2). [390] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractJimpleIntLongBinopExpr.java 100.0% uncovered (2 out of 2). [391] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractJimpleValueSwitch.java 100.0% uncovered (49 out of 49). [392] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractLengthExpr.java 100.0% uncovered (5 out of 5). [393] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractNegExpr.java 100.0% uncovered (14 out of 14). [394] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractNewArrayExpr.java 100.0% uncovered (22 out of 22). [395] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractNewExpr.java 100.0% uncovered (7 out of 7). [396] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractNewMultiArrayExpr.java 100.0% uncovered (32 out of 32). [397] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractNonStaticInvokeExpr.java 100.0% uncovered (10 out of 10). [398] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractRefSwitch.java 100.0% uncovered (8 out of 8). [399] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractSpecialInvokeExpr.java 100.0% uncovered (18 out of 18). [400] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractStaticInvokeExpr.java 100.0% uncovered (25 out of 25). [401] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractStmt.java 100.0% uncovered (19 out of 19). [402] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractStmtSwitch.java 100.0% uncovered (18 out of 18). [403] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractUnopExpr.java 100.0% uncovered (8 out of 8). [404] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractValueBox.java 100.0% uncovered (4 out of 4). [405] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AbstractVirtualInvokeExpr.java 100.0% uncovered (18 out of 18). [406] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AddExpr.java 0.0% uncovered (0 out of 0). [407] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AndExpr.java 0.0% uncovered (0 out of 0). [408] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ArrayPackedSet.java 100.0% uncovered (73 out of 73). [409] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ArrayRef.java 0.0% uncovered (0 out of 0). [410] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ArraySparseSet.java 100.0% uncovered (78 out of 78). [411] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\AssignStmt.java 0.0% uncovered (0 out of 0). [412] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\BackwardFlowAnalysis.java 100.0% uncovered (31 out of 31). [413] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\BinopExpr.java 0.0% uncovered (0 out of 0). [414] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\BoundedFlowSet.java 0.0% uncovered (0 out of 0). [415] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\BreakpointStmt.java 0.0% uncovered (0 out of 0). [416] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\BriefStmtGraph.java 100.0% uncovered (1 out of 1). [417] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\BuildJimpleBodyOption.java 100.0% uncovered (6 out of 6). [418] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\CastExpr.java 0.0% uncovered (0 out of 0). [419] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\CaughtExceptionRef.java 0.0% uncovered (0 out of 0). [420] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ChaitinAllocator.java 100.0% uncovered (102 out of 102). [421] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ClassHierarchy.java 100.0% uncovered (103 out of 103). [422] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\CmpExpr.java 0.0% uncovered (0 out of 0). [423] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\CmpgExpr.java 0.0% uncovered (0 out of 0). [424] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\CmplExpr.java 0.0% uncovered (0 out of 0). [425] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\CompleteStmtGraph.java 100.0% uncovered (1 out of 1). [426] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ConcreteRef.java 0.0% uncovered (0 out of 0). [427] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ConditionExpr.java 0.0% uncovered (0 out of 0). [428] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ConditionExprBox.java 100.0% uncovered (2 out of 2). [429] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Constant.java 100.0% uncovered (1 out of 1). [430] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ConstantAndCopyPropagator.java 100.0% uncovered (64 out of 64). [431] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ConstantSwitch.java 0.0% uncovered (0 out of 0). [432] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\CopiesFlowAnalysis.java 100.0% uncovered (30 out of 30). [433] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\DeadCodeEliminator.java 100.0% uncovered (37 out of 37). [434] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\DefinitionStmt.java 0.0% uncovered (0 out of 0). [435] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\DivExpr.java 0.0% uncovered (0 out of 0). [436] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\DoubleConstant.java 100.0% uncovered (7 out of 7). [437] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\EnterMonitorStmt.java 0.0% uncovered (0 out of 0). [438] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\EqExpr.java 0.0% uncovered (0 out of 0). [439] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\EqualLocals.java 0.0% uncovered (0 out of 0). [440] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ExitMonitorStmt.java 0.0% uncovered (0 out of 0). [441] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Expr.java 0.0% uncovered (0 out of 0). [442] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ExprSwitch.java 0.0% uncovered (0 out of 0). [443] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\FastAllocator.java 100.0% uncovered (97 out of 97). [444] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\FastColorer.java 100.0% uncovered (51 out of 51). [445] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\FieldRef.java 0.0% uncovered (0 out of 0). [446] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\FloatConstant.java 100.0% uncovered (7 out of 7). [447] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\FlowAnalysis.java 100.0% uncovered (5 out of 5). [448] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\FlowSet.java 0.0% uncovered (0 out of 0). [449] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\FlowUniverse.java 100.0% uncovered (10 out of 10). [450] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ForwardFlowAnalysis.java 100.0% uncovered (34 out of 34). [451] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\GeExpr.java 0.0% uncovered (0 out of 0). [452] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\GotoStmt.java 0.0% uncovered (0 out of 0). [453] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\GroupIntPair.java 100.0% uncovered (5 out of 5). [454] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\GtExpr.java 0.0% uncovered (0 out of 0). [455] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\IdentityRef.java 0.0% uncovered (0 out of 0). [456] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\IdentityRefBox.java 100.0% uncovered (2 out of 2). [457] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\IdentityStmt.java 0.0% uncovered (0 out of 0). [458] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\IfStmt.java 0.0% uncovered (0 out of 0). [459] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ImmediateBox.java 100.0% uncovered (2 out of 2). [460] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\InstanceFieldRef.java 0.0% uncovered (0 out of 0). [461] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\InstanceOfExpr.java 0.0% uncovered (0 out of 0). [462] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\IntConstant.java 100.0% uncovered (7 out of 7). [463] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\IntPair.java 100.0% uncovered (1 out of 1). [464] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\InterfaceInvokeExpr.java 0.0% uncovered (0 out of 0). [465] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\InvokeExpr.java 0.0% uncovered (0 out of 0). [466] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\InvokeExprBox.java 100.0% uncovered (2 out of 2). [467] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\InvokeStmt.java 0.0% uncovered (0 out of 0). [468] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JAddExpr.java 100.0% uncovered (3 out of 3). [469] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JAndExpr.java 100.0% uncovered (3 out of 3). [470] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JArrayRef.java 100.0% uncovered (29 out of 29). [471] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JAssignStmt.java 100.0% uncovered (10 out of 10). [472] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JBreakpointStmt.java 100.0% uncovered (6 out of 6). [473] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JCastExpr.java 100.0% uncovered (1 out of 1). [474] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JCaughtExceptionRef.java 100.0% uncovered (14 out of 14). [475] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JCmpExpr.java 100.0% uncovered (3 out of 3). [476] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JCmpgExpr.java 100.0% uncovered (3 out of 3). [477] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JCmplExpr.java 100.0% uncovered (3 out of 3). [478] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JDivExpr.java 100.0% uncovered (3 out of 3). [479] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JEnterMonitorStmt.java 100.0% uncovered (15 out of 15). [480] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JEqExpr.java 100.0% uncovered (3 out of 3). [481] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JExitMonitorStmt.java 100.0% uncovered (15 out of 15). [482] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JGeExpr.java 100.0% uncovered (3 out of 3). [483] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JGotoStmt.java 100.0% uncovered (12 out of 12). [484] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JGtExpr.java 100.0% uncovered (3 out of 3). [485] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JIdentityStmt.java 100.0% uncovered (10 out of 10). [486] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JIfStmt.java 100.0% uncovered (21 out of 21). [487] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JInstanceFieldRef.java 100.0% uncovered (1 out of 1). [488] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JInstanceOfExpr.java 100.0% uncovered (1 out of 1). [489] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JInterfaceInvokeExpr.java 100.0% uncovered (2 out of 2). [490] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JInvokeStmt.java 100.0% uncovered (15 out of 15). [491] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JLeExpr.java 100.0% uncovered (3 out of 3). [492] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JLengthExpr.java 100.0% uncovered (1 out of 1). [493] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JLookupSwitchStmt.java 100.0% uncovered (48 out of 48). [494] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JLtExpr.java 100.0% uncovered (3 out of 3). [495] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JMulExpr.java 100.0% uncovered (3 out of 3). [496] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JNeExpr.java 100.0% uncovered (3 out of 3). [497] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JNegExpr.java 100.0% uncovered (1 out of 1). [498] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JNewArrayExpr.java 100.0% uncovered (1 out of 1). [499] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JNewExpr.java 100.0% uncovered (1 out of 1). [500] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JNewMultiArrayExpr.java 100.0% uncovered (2 out of 2). [501] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JNopStmt.java 100.0% uncovered (6 out of 6). [502] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JOrExpr.java 100.0% uncovered (3 out of 3). [503] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JRemExpr.java 100.0% uncovered (3 out of 3). [504] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JRetStmt.java 100.0% uncovered (15 out of 15). [505] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JReturnStmt.java 100.0% uncovered (15 out of 15). [506] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JReturnVoidStmt.java 100.0% uncovered (6 out of 6). [507] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JShlExpr.java 100.0% uncovered (3 out of 3). [508] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JShrExpr.java 100.0% uncovered (3 out of 3). [509] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JSpecialInvokeExpr.java 100.0% uncovered (2 out of 2). [510] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JStaticInvokeExpr.java 100.0% uncovered (2 out of 2). [511] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JSubExpr.java 100.0% uncovered (3 out of 3). [512] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JTableSwitchStmt.java 100.0% uncovered (44 out of 44). [513] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JThrowStmt.java 100.0% uncovered (15 out of 15). [514] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JTrap.java 100.0% uncovered (18 out of 18). [515] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JUshrExpr.java 100.0% uncovered (3 out of 3). [516] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JVirtualInvokeExpr.java 100.0% uncovered (2 out of 2). [517] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JXorExpr.java 100.0% uncovered (3 out of 3). [518] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JasminClass.java 100.0% uncovered (755 out of 755). [519] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Jimple.java 100.0% uncovered (67 out of 67). [520] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JimpleBody.java 100.0% uncovered (221 out of 221). [521] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JimpleRepresentation.java 0.0% uncovered (0 out of 0). [522] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\JimpleValueSwitch.java 0.0% uncovered (0 out of 0). [523] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LeExpr.java 0.0% uncovered (0 out of 0). [524] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LengthExpr.java 0.0% uncovered (0 out of 0). [525] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LiveLocals.java 0.0% uncovered (0 out of 0). [526] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Local.java 100.0% uncovered (23 out of 23). [527] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LocalBox.java 100.0% uncovered (2 out of 2). [528] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LocalCopies.java 0.0% uncovered (0 out of 0). [529] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LocalCopy.java 100.0% uncovered (6 out of 6). [530] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LocalDefs.java 0.0% uncovered (0 out of 0). [531] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LocalDefsFlowAnalysis.java 100.0% uncovered (55 out of 55). [532] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LocalSplitter.java 100.0% uncovered (68 out of 68). [533] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LocalStmtPair.java 100.0% uncovered (5 out of 5). [534] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LocalUses.java 0.0% uncovered (0 out of 0). [535] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LongConstant.java 100.0% uncovered (7 out of 7). [536] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LookupSwitchStmt.java 0.0% uncovered (0 out of 0). [537] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\LtExpr.java 0.0% uncovered (0 out of 0). [538] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Main.java 100.0% uncovered (162 out of 162). [539] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\MulExpr.java 0.0% uncovered (0 out of 0). [540] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NeExpr.java 0.0% uncovered (0 out of 0). [541] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NegExpr.java 0.0% uncovered (0 out of 0). [542] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NewArrayExpr.java 0.0% uncovered (0 out of 0). [543] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NewExpr.java 0.0% uncovered (0 out of 0). [544] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NewInvokeExpr.java 0.0% uncovered (0 out of 0). [545] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NewMultiArrayExpr.java 0.0% uncovered (0 out of 0). [546] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NextNextStmtRef.java 100.0% uncovered (6 out of 6). [547] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NoSuchLocalException.java 100.0% uncovered (2 out of 2). [548] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NonStaticInvokeExpr.java 0.0% uncovered (0 out of 0). [549] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NopStmt.java 0.0% uncovered (0 out of 0). [550] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\NullConstant.java 100.0% uncovered (7 out of 7). [551] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\OrExpr.java 0.0% uncovered (0 out of 0). [552] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ParameterRef.java 100.0% uncovered (8 out of 8). [553] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\PrintJimpleBodyOption.java 100.0% uncovered (3 out of 3). [554] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\RValueBox.java 100.0% uncovered (2 out of 2). [555] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Ref.java 0.0% uncovered (0 out of 0). [556] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\RefSwitch.java 0.0% uncovered (0 out of 0). [557] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\RemExpr.java 0.0% uncovered (0 out of 0). [558] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\RetStmt.java 0.0% uncovered (0 out of 0). [559] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ReturnStmt.java 0.0% uncovered (0 out of 0). [560] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ReturnVoidStmt.java 0.0% uncovered (0 out of 0). [561] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ShlExpr.java 0.0% uncovered (0 out of 0). [562] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ShrExpr.java 0.0% uncovered (0 out of 0). [563] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SimpleEqualLocals.java 100.0% uncovered (7 out of 7). [564] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SimpleEqualLocalsAnalysis.java 100.0% uncovered (26 out of 26). [565] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SimpleLiveLocals.java 100.0% uncovered (21 out of 21). [566] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SimpleLiveLocalsAnalysis.java 100.0% uncovered (37 out of 37). [567] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SimpleLocalCopies.java 100.0% uncovered (15 out of 15). [568] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SimpleLocalDefs.java 100.0% uncovered (27 out of 27). [569] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SimpleLocalUses.java 100.0% uncovered (27 out of 27). [570] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SparseLiveLocals.java 100.0% uncovered (21 out of 21). [571] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SparseLiveLocalsAnalysis.java 100.0% uncovered (35 out of 35). [572] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SparseLocalDefs.java 100.0% uncovered (36 out of 36). [573] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SparseLocalDefsFlowAnalysis.java 100.0% uncovered (39 out of 39). [574] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SpecialInvokeExpr.java 0.0% uncovered (0 out of 0). [575] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StaticFieldRef.java 100.0% uncovered (11 out of 11). [576] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StaticInvokeExpr.java 0.0% uncovered (0 out of 0). [577] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Stmt.java 0.0% uncovered (0 out of 0). [578] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StmtBody.java 0.0% uncovered (0 out of 0). [579] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StmtBox.java 100.0% uncovered (8 out of 8). [580] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StmtGraph.java 100.0% uncovered (167 out of 167). [581] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StmtList.java 100.0% uncovered (54 out of 54). [582] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StmtSwitch.java 0.0% uncovered (0 out of 0). [583] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StmtValueBoxPair.java 100.0% uncovered (5 out of 5). [584] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\StringConstant.java 100.0% uncovered (7 out of 7). [585] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\SubExpr.java 0.0% uncovered (0 out of 0). [586] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\TableSwitchStmt.java 0.0% uncovered (0 out of 0). [587] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ThisRef.java 100.0% uncovered (6 out of 6). [588] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ThrowStmt.java 0.0% uncovered (0 out of 0). [589] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Transformations.java 100.0% uncovered (178 out of 178). [590] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Trap.java 0.0% uncovered (0 out of 0). [591] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\TypeResolver.java 100.0% uncovered (858 out of 858). [592] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Unit.java 0.0% uncovered (0 out of 0). [593] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\UnitBox.java 0.0% uncovered (0 out of 0). [594] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\UnopExpr.java 0.0% uncovered (0 out of 0). [595] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\UshrExpr.java 0.0% uncovered (0 out of 0). [596] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\Value.java 0.0% uncovered (0 out of 0). [597] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\ValueBox.java 0.0% uncovered (0 out of 0). [598] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\VariableBox.java 100.0% uncovered (2 out of 2). [599] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\VirtualInvokeExpr.java 0.0% uncovered (0 out of 0). [600] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\soot\jimple\XorExpr.java 0.0% uncovered (0 out of 0). [601] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\AbstractCollection.java 100.0% uncovered (46 out of 46). [602] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\AbstractList.java 100.0% uncovered (73 out of 73). [603] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\AbstractMap.java 100.0% uncovered (89 out of 89). [604] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\AbstractSequentialList.java 100.0% uncovered (24 out of 24). [605] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\AbstractSet.java 100.0% uncovered (12 out of 12). [606] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Array.java 100.0% uncovered (23 out of 23). [607] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\ArrayIndexOutOfBoundsException.java 100.0% uncovered (2 out of 2). [608] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\ArrayList.java 100.0% uncovered (39 out of 39). [609] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\ArraySet.java 100.0% uncovered (32 out of 32). [610] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Arrays.java 100.0% uncovered (16 out of 16). [611] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Cast.java 0.0% uncovered (0 out of 0). [612] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\ClassLocator.java 100.0% uncovered (26 out of 26). [613] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Collection.java 0.0% uncovered (0 out of 0). [614] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Collections.java 100.0% uncovered (44 out of 44). [615] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Comparable.java 0.0% uncovered (0 out of 0). [616] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Comparator.java 0.0% uncovered (0 out of 0). [617] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\ConcurrentModificationException.java 100.0% uncovered (2 out of 2). [618] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\EmptyListException.java 100.0% uncovered (2 out of 2). [619] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\EmptyQueueException.java 100.0% uncovered (2 out of 2). [620] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\EmptyStackException.java 100.0% uncovered (2 out of 2). [621] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\EndOfListException.java 100.0% uncovered (2 out of 2). [622] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\HashMap.java 100.0% uncovered (33 out of 33). [623] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\HashSet.java 100.0% uncovered (19 out of 19). [624] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\IntSet.java 100.0% uncovered (74 out of 74). [625] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Iterator.java 0.0% uncovered (0 out of 0). [626] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\LinkedList.java 100.0% uncovered (98 out of 98). [627] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\List.java 0.0% uncovered (0 out of 0). [628] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\ListIterator.java 0.0% uncovered (0 out of 0). [629] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Map.java 0.0% uncovered (0 out of 0). [630] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\NoCast.java 100.0% uncovered (2 out of 2). [631] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\NoSuchElementException.java 100.0% uncovered (2 out of 2). [632] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Set.java 0.0% uncovered (0 out of 0). [633] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\SplayTreeMap.java 100.0% uncovered (198 out of 198). [634] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\StringUtil.java 100.0% uncovered (10 out of 10). [635] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Switch.java 0.0% uncovered (0 out of 0). [636] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\Switchable.java 0.0% uncovered (0 out of 0). [637] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\TypedLinkedList.java 100.0% uncovered (18 out of 18). [638] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\TypedSplayTreeMap.java 100.0% uncovered (26 out of 26). [639] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\UndefinedEntryException.java 100.0% uncovered (2 out of 2). [640] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\ValueObject.java 0.0% uncovered (0 out of 0). [641] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\VectorList.java 100.0% uncovered (7 out of 7). [642] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\ca\mcgill\sable\util\VectorSet.java 100.0% uncovered (19 out of 19). [643] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\ClassPath.java 100.0% uncovered (56 out of 56). [644] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\Constants.java 0.0% uncovered (0 out of 0). [645] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\ExceptionConstants.java 0.0% uncovered (0 out of 0). [646] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\Repository.java 100.0% uncovered (63 out of 63). [647] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\AccessFlags.java 100.0% uncovered (31 out of 31). [648] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Attribute.java 100.0% uncovered (35 out of 35). [649] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ClassParser.java 100.0% uncovered (46 out of 46). [650] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Code.java 100.0% uncovered (64 out of 64). [651] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\CodeException.java 100.0% uncovered (25 out of 25). [652] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Constant.java 100.0% uncovered (21 out of 21). [653] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantCP.java 100.0% uncovered (11 out of 11). [654] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantClass.java 100.0% uncovered (9 out of 9). [655] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantDouble.java 100.0% uncovered (9 out of 9). [656] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantFieldref.java 100.0% uncovered (4 out of 4). [657] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantFloat.java 100.0% uncovered (9 out of 9). [658] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantInteger.java 100.0% uncovered (9 out of 9). [659] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantInterfaceMethodref.java 100.0% uncovered (4 out of 4). [660] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantLong.java 100.0% uncovered (9 out of 9). [661] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantMethodref.java 100.0% uncovered (4 out of 4). [662] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantNameAndType.java 100.0% uncovered (12 out of 12). [663] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantPool.java 100.0% uncovered (85 out of 85). [664] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantString.java 100.0% uncovered (9 out of 9). [665] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantUtf8.java 100.0% uncovered (9 out of 9). [666] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ConstantValue.java 100.0% uncovered (26 out of 26). [667] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\DefaultVisitor.java 100.0% uncovered (66 out of 66). [668] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Deprecated.java 100.0% uncovered (16 out of 16). [669] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\EmptyVisitor.java 100.0% uncovered (30 out of 30). [670] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\ExceptionTable.java 100.0% uncovered (26 out of 26). [671] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Field.java 100.0% uncovered (21 out of 21). [672] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\FieldOrMethod.java 100.0% uncovered (29 out of 29). [673] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\InnerClass.java 100.0% uncovered (32 out of 32). [674] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\InnerClasses.java 100.0% uncovered (20 out of 20). [675] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\JavaClass.java 100.0% uncovered (138 out of 138). [676] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\LineNumber.java 100.0% uncovered (14 out of 14). [677] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\LineNumberTable.java 100.0% uncovered (40 out of 40). [678] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\LocalVariable.java 100.0% uncovered (30 out of 30). [679] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\LocalVariableTable.java 100.0% uncovered (23 out of 23). [680] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Method.java 100.0% uncovered (30 out of 30). [681] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\PMGClass.java 100.0% uncovered (17 out of 17). [682] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Signature.java 100.0% uncovered (12 out of 12). [683] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\SourceFile.java 100.0% uncovered (12 out of 12). [684] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Synthetic.java 100.0% uncovered (19 out of 19). [685] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Unknown.java 100.0% uncovered (29 out of 29). [686] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Utility.java 100.0% uncovered (282 out of 282). [687] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\classfile\Visitor.java 0.0% uncovered (0 out of 0). [688] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\AALOAD.java 100.0% uncovered (1 out of 1). [689] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\AASTORE.java 100.0% uncovered (1 out of 1). [690] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ACONST_NULL.java 100.0% uncovered (1 out of 1). [691] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ALOAD.java 100.0% uncovered (2 out of 2). [692] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ANEWARRAY.java 100.0% uncovered (4 out of 4). [693] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ARETURN.java 100.0% uncovered (1 out of 1). [694] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ARRAYLENGTH.java 100.0% uncovered (2 out of 2). [695] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ASTORE.java 100.0% uncovered (2 out of 2). [696] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ATHROW.java 100.0% uncovered (2 out of 2). [697] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\AllocationInstruction.java 0.0% uncovered (0 out of 0). [698] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ArithmeticInstruction.java 100.0% uncovered (2 out of 2). [699] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ArrayInstruction.java 100.0% uncovered (3 out of 3). [700] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ArrayType.java 100.0% uncovered (20 out of 20). [701] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\BALOAD.java 100.0% uncovered (1 out of 1). [702] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\BASTORE.java 100.0% uncovered (1 out of 1). [703] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\BIPUSH.java 100.0% uncovered (7 out of 7). [704] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\BasicType.java 100.0% uncovered (13 out of 13). [705] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\BranchHandle.java 100.0% uncovered (16 out of 16). [706] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\BranchInstruction.java 100.0% uncovered (39 out of 39). [707] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\CALOAD.java 100.0% uncovered (1 out of 1). [708] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\CASTORE.java 100.0% uncovered (1 out of 1). [709] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\CHECKCAST.java 100.0% uncovered (4 out of 4). [710] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\CPInstruction.java 100.0% uncovered (20 out of 20). [711] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ClassGen.java 100.0% uncovered (83 out of 83). [712] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ClassGenException.java 100.0% uncovered (2 out of 2). [713] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\CodeConstraint.java 0.0% uncovered (0 out of 0). [714] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\CodeExceptionGen.java 100.0% uncovered (26 out of 26). [715] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\CompoundInstruction.java 0.0% uncovered (0 out of 0). [716] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ConstantPoolGen.java 100.0% uncovered (154 out of 154). [717] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ConstantPushInstruction.java 0.0% uncovered (0 out of 0). [718] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ConversionInstruction.java 100.0% uncovered (2 out of 2). [719] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\D2F.java 100.0% uncovered (1 out of 1). [720] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\D2I.java 100.0% uncovered (1 out of 1). [721] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\D2L.java 100.0% uncovered (1 out of 1). [722] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DADD.java 100.0% uncovered (1 out of 1). [723] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DALOAD.java 100.0% uncovered (1 out of 1). [724] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DASTORE.java 100.0% uncovered (1 out of 1). [725] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DCMPG.java 100.0% uncovered (1 out of 1). [726] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DCMPL.java 100.0% uncovered (1 out of 1). [727] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DCONST.java 100.0% uncovered (7 out of 7). [728] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DDIV.java 100.0% uncovered (1 out of 1). [729] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DLOAD.java 100.0% uncovered (2 out of 2). [730] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DMUL.java 100.0% uncovered (1 out of 1). [731] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DNEG.java 100.0% uncovered (1 out of 1). [732] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DREM.java 100.0% uncovered (1 out of 1). [733] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DRETURN.java 100.0% uncovered (1 out of 1). [734] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DSTORE.java 100.0% uncovered (2 out of 2). [735] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DSUB.java 100.0% uncovered (1 out of 1). [736] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DUP.java 100.0% uncovered (1 out of 1). [737] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DUP2.java 100.0% uncovered (1 out of 1). [738] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DUP2_X1.java 100.0% uncovered (1 out of 1). [739] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DUP2_X2.java 100.0% uncovered (1 out of 1). [740] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DUP_X1.java 100.0% uncovered (1 out of 1). [741] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\DUP_X2.java 100.0% uncovered (1 out of 1). [742] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ExceptionThrower.java 0.0% uncovered (0 out of 0). [743] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\F2D.java 100.0% uncovered (1 out of 1). [744] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\F2I.java 100.0% uncovered (1 out of 1). [745] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\F2L.java 100.0% uncovered (1 out of 1). [746] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FADD.java 100.0% uncovered (1 out of 1). [747] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FALOAD.java 100.0% uncovered (1 out of 1). [748] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FASTORE.java 100.0% uncovered (1 out of 1). [749] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FCMPG.java 100.0% uncovered (1 out of 1). [750] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FCMPL.java 100.0% uncovered (1 out of 1). [751] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FCONST.java 100.0% uncovered (9 out of 9). [752] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FDIV.java 100.0% uncovered (1 out of 1). [753] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FLOAD.java 100.0% uncovered (2 out of 2). [754] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FMUL.java 100.0% uncovered (1 out of 1). [755] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FNEG.java 100.0% uncovered (1 out of 1). [756] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FREM.java 100.0% uncovered (1 out of 1). [757] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FRETURN.java 100.0% uncovered (1 out of 1). [758] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FSTORE.java 100.0% uncovered (2 out of 2). [759] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FSUB.java 100.0% uncovered (1 out of 1). [760] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FieldGen.java 100.0% uncovered (43 out of 43). [761] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FieldInstruction.java 100.0% uncovered (7 out of 7). [762] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FieldOrMethod.java 100.0% uncovered (14 out of 14). [763] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\FindPattern.java 100.0% uncovered (155 out of 155). [764] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\GETFIELD.java 100.0% uncovered (5 out of 5). [765] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\GETSTATIC.java 100.0% uncovered (5 out of 5). [766] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\GOTO.java 100.0% uncovered (12 out of 12). [767] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\GOTO_W.java 100.0% uncovered (7 out of 7). [768] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\I2B.java 100.0% uncovered (1 out of 1). [769] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\I2C.java 100.0% uncovered (1 out of 1). [770] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\I2D.java 100.0% uncovered (1 out of 1). [771] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\I2F.java 100.0% uncovered (1 out of 1). [772] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\I2L.java 100.0% uncovered (1 out of 1). [773] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\I2S.java 100.0% uncovered (1 out of 1). [774] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IADD.java 100.0% uncovered (1 out of 1). [775] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IALOAD.java 100.0% uncovered (1 out of 1). [776] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IAND.java 100.0% uncovered (1 out of 1). [777] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IASTORE.java 100.0% uncovered (1 out of 1). [778] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ICONST.java 100.0% uncovered (5 out of 5). [779] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IDIV.java 100.0% uncovered (2 out of 2). [780] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IFEQ.java 100.0% uncovered (3 out of 3). [781] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IFGE.java 100.0% uncovered (3 out of 3). [782] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IFGT.java 100.0% uncovered (3 out of 3). [783] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IFLE.java 100.0% uncovered (3 out of 3). [784] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IFLT.java 100.0% uncovered (3 out of 3). [785] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IFNE.java 100.0% uncovered (3 out of 3). [786] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IFNONNULL.java 100.0% uncovered (3 out of 3). [787] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IFNULL.java 100.0% uncovered (3 out of 3). [788] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IF_ACMPEQ.java 100.0% uncovered (3 out of 3). [789] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IF_ACMPNE.java 100.0% uncovered (3 out of 3). [790] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IF_ICMPEQ.java 100.0% uncovered (3 out of 3). [791] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IF_ICMPGE.java 100.0% uncovered (3 out of 3). [792] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IF_ICMPGT.java 100.0% uncovered (3 out of 3). [793] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IF_ICMPLE.java 100.0% uncovered (3 out of 3). [794] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IF_ICMPLT.java 100.0% uncovered (3 out of 3). [795] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IF_ICMPNE.java 100.0% uncovered (3 out of 3). [796] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IINC.java 100.0% uncovered (26 out of 26). [797] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ILOAD.java 100.0% uncovered (2 out of 2). [798] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IMPDEP1.java 100.0% uncovered (1 out of 1). [799] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IMPDEP2.java 100.0% uncovered (1 out of 1). [800] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IMUL.java 100.0% uncovered (1 out of 1). [801] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\INEG.java 100.0% uncovered (1 out of 1). [802] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\INSTANCEOF.java 100.0% uncovered (3 out of 3). [803] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\INVOKEINTERFACE.java 100.0% uncovered (15 out of 15). [804] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\INVOKESPECIAL.java 100.0% uncovered (4 out of 4). [805] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\INVOKESTATIC.java 100.0% uncovered (4 out of 4). [806] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\INVOKEVIRTUAL.java 100.0% uncovered (4 out of 4). [807] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IOR.java 100.0% uncovered (1 out of 1). [808] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IREM.java 100.0% uncovered (2 out of 2). [809] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IRETURN.java 100.0% uncovered (1 out of 1). [810] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ISHL.java 100.0% uncovered (1 out of 1). [811] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ISHR.java 100.0% uncovered (1 out of 1). [812] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ISTORE.java 100.0% uncovered (2 out of 2). [813] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ISUB.java 100.0% uncovered (1 out of 1). [814] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IUSHR.java 100.0% uncovered (1 out of 1). [815] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IXOR.java 100.0% uncovered (1 out of 1). [816] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\IfInstruction.java 100.0% uncovered (2 out of 2). [817] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\Instruction.java 100.0% uncovered (73 out of 73). [818] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\InstructionConstants.java 100.0% uncovered (1 out of 1). [819] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\InstructionFactory.java 100.0% uncovered (141 out of 141). [820] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\InstructionHandle.java 100.0% uncovered (36 out of 36). [821] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\InstructionList.java 100.0% uncovered (244 out of 244). [822] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\InstructionTargeter.java 0.0% uncovered (0 out of 0). [823] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\InvokeInstruction.java 100.0% uncovered (17 out of 17). [824] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\JSR.java 100.0% uncovered (12 out of 12). [825] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\JSR_W.java 100.0% uncovered (7 out of 7). [826] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\L2D.java 100.0% uncovered (1 out of 1). [827] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\L2F.java 100.0% uncovered (1 out of 1). [828] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\L2I.java 100.0% uncovered (1 out of 1). [829] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LADD.java 100.0% uncovered (1 out of 1). [830] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LALOAD.java 100.0% uncovered (1 out of 1). [831] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LAND.java 100.0% uncovered (1 out of 1). [832] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LASTORE.java 100.0% uncovered (1 out of 1). [833] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LCMP.java 100.0% uncovered (1 out of 1). [834] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LCONST.java 100.0% uncovered (7 out of 7). [835] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LDC.java 100.0% uncovered (18 out of 18). [836] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LDC2_W.java 100.0% uncovered (6 out of 6). [837] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LDC_W.java 100.0% uncovered (4 out of 4). [838] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LDIV.java 100.0% uncovered (2 out of 2). [839] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LLOAD.java 100.0% uncovered (2 out of 2). [840] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LMUL.java 100.0% uncovered (1 out of 1). [841] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LNEG.java 100.0% uncovered (1 out of 1). [842] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LOOKUPSWITCH.java 100.0% uncovered (12 out of 12). [843] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LOR.java 100.0% uncovered (1 out of 1). [844] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LREM.java 100.0% uncovered (2 out of 2). [845] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LRETURN.java 100.0% uncovered (1 out of 1). [846] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LSHL.java 100.0% uncovered (1 out of 1). [847] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LSHR.java 100.0% uncovered (1 out of 1). [848] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LSTORE.java 100.0% uncovered (2 out of 2). [849] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LSUB.java 100.0% uncovered (1 out of 1). [850] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LUSHR.java 100.0% uncovered (1 out of 1). [851] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LXOR.java 100.0% uncovered (1 out of 1). [852] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LineNumberGen.java 100.0% uncovered (6 out of 6). [853] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LoadClass.java 0.0% uncovered (0 out of 0). [854] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LocalVariableGen.java 100.0% uncovered (33 out of 33). [855] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\LocalVariableInstruction.java 100.0% uncovered (29 out of 29). [856] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\MONITORENTER.java 100.0% uncovered (2 out of 2). [857] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\MONITOREXIT.java 100.0% uncovered (2 out of 2). [858] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\MULTIANEWARRAY.java 100.0% uncovered (15 out of 15). [859] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\MethodGen.java 100.0% uncovered (224 out of 224). [860] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\NEW.java 100.0% uncovered (4 out of 4). [861] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\NEWARRAY.java 100.0% uncovered (10 out of 10). [862] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\NOP.java 100.0% uncovered (1 out of 1). [863] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ObjectType.java 100.0% uncovered (3 out of 3). [864] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\POP.java 100.0% uncovered (1 out of 1). [865] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\POP2.java 100.0% uncovered (1 out of 1). [866] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\PUSH.java 100.0% uncovered (42 out of 42). [867] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\PUTFIELD.java 100.0% uncovered (5 out of 5). [868] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\PUTSTATIC.java 100.0% uncovered (5 out of 5). [869] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\PushInstruction.java 0.0% uncovered (0 out of 0). [870] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\RET.java 100.0% uncovered (20 out of 20). [871] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\RETURN.java 100.0% uncovered (1 out of 1). [872] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ReferenceType.java 100.0% uncovered (3 out of 3). [873] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\ReturnInstruction.java 100.0% uncovered (10 out of 10). [874] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\SALOAD.java 100.0% uncovered (1 out of 1). [875] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\SASTORE.java 100.0% uncovered (1 out of 1). [876] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\SIPUSH.java 100.0% uncovered (7 out of 7). [877] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\SWAP.java 100.0% uncovered (1 out of 1). [878] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\SWITCH.java 100.0% uncovered (27 out of 27). [879] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\Select.java 100.0% uncovered (45 out of 45). [880] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\StackInstruction.java 100.0% uncovered (2 out of 2). [881] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\TABLESWITCH.java 100.0% uncovered (13 out of 13). [882] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\TargetLostException.java 100.0% uncovered (2 out of 2). [883] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\Type.java 100.0% uncovered (35 out of 35). [884] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\UnconditionalBranch.java 0.0% uncovered (0 out of 0). [885] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\generic\VariableLengthInstruction.java 0.0% uncovered (0 out of 0). [886] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\AttributeHTML.java 100.0% uncovered (72 out of 72). [887] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\ByteSequence.java 100.0% uncovered (7 out of 7). [888] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\Class2HTML.java 100.0% uncovered (66 out of 66). [889] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\ClassQueue.java 100.0% uncovered (3 out of 3). [890] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\ClassStack.java 100.0% uncovered (4 out of 4). [891] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\ClassVector.java 100.0% uncovered (6 out of 6). [892] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\CodeHTML.java 100.0% uncovered (223 out of 223). [893] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\ConstantHTML.java 100.0% uncovered (81 out of 81). [894] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\de\fub\bytecode\util\MethodHTML.java 100.0% uncovered (55 out of 55). [895] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\edu\ksu\cis\bandera\abstraction\Abstraction.java 100.0% uncovered (17 out of 17). [896] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\edu\ksu\cis\bandera\abstraction\ArrayAbstraction.java 100.0% uncovered (48 out of 48). [897] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\edu\ksu\cis\bandera\abstraction\ClassAbstraction.java 100.0% uncovered (7 out of 7). [898] D:\SDProductTests\DMS\Domains\Java\TestSource\bandera\edu\ksu\cis\bandera\abstraction\Co