|
Class Summary |
| AsmFile |
Stores the instructions associated with an asm file. |
| DSForest |
Implements a partition of distinct elements into disjoint
sets. |
| InstructionUtils |
Utility methods that operate on collections of instructions. |
| KillerInstruction |
Represents a set of instructions that may or may not be executed,
and whose only effect is that they may kill one or more variables. |
| Operand |
Utility methods for operands of instructions. |
| PptFile |
Stores the instructions associated with a generic "ppt file." |
| TestRedundantVars |
Input: 3 text files associated with the same dtrace file:
args[0] : a file that we'll call `without.txt', the resulting
text of running `daikon.PrintInvariants --config_option
daikon.PrintInvariants.print_all=true' on an invariant file
created without redundant variable analysis. |
| X86Instruction |
Represents an x86 instruction. |