| Interface | Description |
|---|---|
| Ast |
Interface that provides the signature of accept method which all Statements in RangerIR supports.
|
| Region |
An interface that represents a region.
|
| Stmt |
Defines an interface for all statements in the RangerIR.
|
| Class | Description |
|---|---|
| ArrayLengthInstruction |
This is ArrayLengthInstruction in RangerIR that matches the corresponding ArrayLengthInstruction in Wala and subsequently the instruction in Java Bytecode.
|
| ArrayLoadInstruction |
This is ArrayLoadInstruction in RangerIR that matches the corresponding ArrayLoadInstruction in Wala and subsequently the instruction in Java Bytecode.
|
| ArrayRef | |
| ArrayRefVarExpr | |
| ArrayStoreInstruction |
This is ArrayStoreInstruction in RangerIR that matches the corresponding ArrayStoreInstruction in Wala and subsequently the instruction in Java Bytecode.
|
| AssignmentStmt |
Assignment Statement in RangerIR.
|
| AstVarExpr |
AstVarExpr
MWW: this is the variable expression for generated local variables.
|
| CheckCastInstruction |
This is CheckCastInstruction in RangerIR that matches the corresponding CheckCastInstruction in Wala and subsequently the instruction in Java Bytecode.
|
| CloneableVariable | |
| CompositionStmt |
RangerIR composition statement.
|
| FieldRef |
This class is used to represent field-reference pair that is used in RangerIR to provide SSA for fields.
|
| FieldRefVarExpr |
A class that carries a fieldReference with a specific SSA subscript.
|
| GammaVarExpr |
This class provides the representation of Gamma in RangerIR which is extends a Phi to include the condition under which the choice is taken.
|
| GetInstruction |
This is GetInstruction in Ranger IR that matches the corresponding GetInstruction in Wala and subsequently the instruction in Java Bytecode.
|
| IfThenElseExpr |
This is IfThenElse expression in Ranger IR
|
| IfThenElseStmt |
This is the IfThenElseStmt in RangerIR that carries a condition instruction and on the "then" and the "else" side the statements extracted from the cfg that represents the two sides of the branch.
|
| InstanceOfInstruction |
This is InstanceOfInstruction in RangerIR that matches the corresponding InstanceOfInstruction in Wala and subsequently the instruction in Java Bytecode.
|
| Instruction |
Abstract class that represents all instructions.
|
| InvokeInstruction |
This is InvokeInstruction in RangerIR that matches the corresponding InvokeInstruction in Wala and subsequently the corresponding instructions in Java Bytecode.
|
| NewInstruction |
This is NewInstruction in Ranger IR that matches the corresponding CheckCastInstruction in Wala and subsequently in Java Bytecode.
|
| PhiInstruction |
This is PhiInstruction in Ranger IR that matches the corresponding PhiInstruction in Wala.
|
| PutInstruction |
This is PutInstruction in RangerIR that matches the corresponding PutInstruction in Wala and subsequently the corresponding instructions in Java Bytecode.
|
| ReturnInstruction |
This is ReturnInstruction in RangerIR that matches the corresponding ReturnInstruction in Wala and subsequently the instruction in Java Bytecode.
|
| SkipStmt |
A Skip statement in RangerIR.
|
| SPFCaseStmt |
This is SPFCases in RangerIR.
|
| SwitchInstruction |
This is SwitchInstruction in RangerIR that matches the corresponding SwitchInstruction in Wala and subsequently the corresponding instruction in Java Bytecode.
|
| ThrowInstruction |
This is ThrowInstruction in Ranger IR that matches the corresponding ThrowInstruction in Wala and subsequently the instruction in Java Bytecode.
|
| WalaVarExpr |
This is the class of Wala Variables in RangerIR.
|
| Enum | Description |
|---|---|
| SPFCaseStmt.SPFReason |
These are the different reasons that requires SPF exploration.
|