soot.baf
Class Baf

java.lang.Object
  extended by soot.baf.Baf

public class Baf
extends Object


Constructor Summary
Baf(Singletons.Global g)
           
 
Method Summary
static String bafDescriptorOf(Type type)
           
static Type getDescriptorTypeOf(Type opType)
           
 AddInst newAddInst(Type opType)
           
 AndInst newAndInst(Type opType)
           
 ArrayLengthInst newArrayLengthInst()
           
 ArrayReadInst newArrayReadInst(Type opType)
           
 ArrayWriteInst newArrayWriteInst(Type opType)
           
 BafBody newBody(Body b)
          Returns a BafBody constructed from b.
 BafBody newBody(Body b, String phase)
          Returns a BafBody constructed from b.
 BafBody newBody(SootMethod m)
          Returns an empty BafBody associated with method m.
 CmpgInst newCmpgInst(Type opType)
           
 CmpInst newCmpInst(Type opType)
           
 CmplInst newCmplInst(Type opType)
           
 DivInst newDivInst(Type opType)
           
 Dup1_x1Inst newDup1_x1Inst(Type aOpType, Type aUnderType)
           
 Dup1_x2Inst newDup1_x2Inst(Type aOpType, Type aUnder1Type, Type aUnder2Type)
           
 Dup1Inst newDup1Inst(Type type)
           
 Dup2_x1Inst newDup2_x1Inst(Type aOp1Type, Type aOp2Type, Type aUnderType)
           
 Dup2_x2Inst newDup2_x2Inst(Type aOp1Type, Type aOp2Type, Type aUnder1Type, Type aUnder2Type)
           
 Dup2Inst newDup2Inst(Type aOp1Type, Type aOp2Type)
           
 DynamicInvokeInst newDynamicInvokeInst(SootMethodRef bsmMethodRef, List<Value> bsmArgs, SootMethodRef methodRef)
           
 EnterMonitorInst newEnterMonitorInst()
          Constructs a EnterMonitorInst() grammar chunk.
 ExitMonitorInst newExitMonitorInst()
          Constructs a ExitMonitorInst() grammar chunk
 FieldGetInst newFieldGetInst(SootFieldRef fieldRef)
           
 FieldPutInst newFieldPutInst(SootFieldRef fieldRef)
           
 GotoInst newGotoInst(Unit unit)
           
 IdentityInst newIdentityInst(Value local, Value identityRef)
           
 ValueBox newIdentityRefBox(Value value)
           
 IfCmpEqInst newIfCmpEqInst(Type opType, Unit unit)
           
 IfCmpGeInst newIfCmpGeInst(Type opType, Unit unit)
           
 IfCmpGtInst newIfCmpGtInst(Type opType, Unit unit)
           
 IfCmpLeInst newIfCmpLeInst(Type opType, Unit unit)
           
 IfCmpLtInst newIfCmpLtInst(Type opType, Unit unit)
           
 IfCmpNeInst newIfCmpNeInst(Type opType, Unit unit)
           
 IfEqInst newIfEqInst(Unit unit)
           
 IfGeInst newIfGeInst(Unit unit)
           
 IfGtInst newIfGtInst(Unit unit)
           
 IfLeInst newIfLeInst(Unit unit)
           
 IfLtInst newIfLtInst(Unit unit)
           
 IfNeInst newIfNeInst(Unit unit)
           
 IfNonNullInst newIfNonNullInst(Unit unit)
           
 IfNullInst newIfNullInst(Unit unit)
           
 IncInst newIncInst(Local aLocal, Constant aConstant)
           
 InstanceCastInst newInstanceCastInst(Type opType)
           
 InstanceOfInst newInstanceOfInst(Type opType)
           
 UnitBox newInstBox(Unit unit)
           
 InterfaceInvokeInst newInterfaceInvokeInst(SootMethodRef methodRef, int argCount)
           
 JSRInst newJSRInst(Unit unit)
           
 LoadInst newLoadInst(Type opType, Local l)
           
 Local newLocal(String name, Type t)
          Constructs a Local with the given name and type.
 ValueBox newLocalBox(Value value)
           
 LookupSwitchInst newLookupSwitchInst(Unit defaultTarget, List lookupValues, List targets)
           
 MulInst newMulInst(Type opType)
           
 NegInst newNegInst(Type opType)
           
 NewArrayInst newNewArrayInst(Type opType)
           
 NewInst newNewInst(RefType opType)
           
 NewMultiArrayInst newNewMultiArrayInst(ArrayType opType, int dimensions)
           
 NopInst newNopInst()
           
 OrInst newOrInst(Type opType)
           
 ParameterRef newParameterRef(Type paramType, int number)
          Constructs a ParameterRef(SootMethod, int) grammar chunk.
 PlaceholderInst newPlaceholderInst(Unit source)
           
 PopInst newPopInst(Type aType)
           
 PrimitiveCastInst newPrimitiveCastInst(Type fromType, Type toType)
           
 PushInst newPushInst(Constant c)
           
 RemInst newRemInst(Type opType)
           
 ReturnInst newReturnInst(Type opType)
           
 ReturnVoidInst newReturnVoidInst()
           
 ShlInst newShlInst(Type opType)
           
 ShrInst newShrInst(Type opType)
           
 SpecialInvokeInst newSpecialInvokeInst(SootMethodRef methodRef)
           
 StaticGetInst newStaticGetInst(SootFieldRef fieldRef)
           
 StaticInvokeInst newStaticInvokeInst(SootMethodRef methodRef)
           
 StaticPutInst newStaticPutInst(SootFieldRef fieldRef)
           
 StoreInst newStoreInst(Type opType, Local l)
           
 SubInst newSubInst(Type opType)
           
 SwapInst newSwapInst(Type fromType, Type toType)
           
 TableSwitchInst newTableSwitchInst(Unit defaultTarget, int lowIndex, int highIndex, List targets)
           
 ThisRef newThisRef(RefType t)
          Constructs a ThisRef(RefType) grammar chunk.
 ThrowInst newThrowInst()
           
 Trap newTrap(SootClass exception, Unit beginUnit, Unit endUnit, Unit handlerUnit)
          Constructs a new BTrap for the given exception on the given Unit range with the given Unit handler.
 UshrInst newUshrInst(Type opType)
           
 VirtualInvokeInst newVirtualInvokeInst(SootMethodRef methodRef)
           
 XorInst newXorInst(Type opType)
           
static Baf v()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Baf

public Baf(Singletons.Global g)
Method Detail

v

public static Baf v()

getDescriptorTypeOf

public static Type getDescriptorTypeOf(Type opType)

newLocal

public Local newLocal(String name,
                      Type t)
Constructs a Local with the given name and type.


newTrap

public Trap newTrap(SootClass exception,
                    Unit beginUnit,
                    Unit endUnit,
                    Unit handlerUnit)
Constructs a new BTrap for the given exception on the given Unit range with the given Unit handler.


newExitMonitorInst

public ExitMonitorInst newExitMonitorInst()
Constructs a ExitMonitorInst() grammar chunk


newEnterMonitorInst

public EnterMonitorInst newEnterMonitorInst()
Constructs a EnterMonitorInst() grammar chunk.


newReturnVoidInst

public ReturnVoidInst newReturnVoidInst()

newNopInst

public NopInst newNopInst()

newGotoInst

public GotoInst newGotoInst(Unit unit)

newJSRInst

public JSRInst newJSRInst(Unit unit)

newPlaceholderInst

public PlaceholderInst newPlaceholderInst(Unit source)

newInstBox

public UnitBox newInstBox(Unit unit)

newPushInst

public PushInst newPushInst(Constant c)

newIdentityInst

public IdentityInst newIdentityInst(Value local,
                                    Value identityRef)

newLocalBox

public ValueBox newLocalBox(Value value)

newIdentityRefBox

public ValueBox newIdentityRefBox(Value value)

newThisRef

public ThisRef newThisRef(RefType t)
Constructs a ThisRef(RefType) grammar chunk.


newParameterRef

public ParameterRef newParameterRef(Type paramType,
                                    int number)
Constructs a ParameterRef(SootMethod, int) grammar chunk.


newStoreInst

public StoreInst newStoreInst(Type opType,
                              Local l)

newLoadInst

public LoadInst newLoadInst(Type opType,
                            Local l)

newArrayWriteInst

public ArrayWriteInst newArrayWriteInst(Type opType)

newArrayReadInst

public ArrayReadInst newArrayReadInst(Type opType)

newStaticGetInst

public StaticGetInst newStaticGetInst(SootFieldRef fieldRef)

newStaticPutInst

public StaticPutInst newStaticPutInst(SootFieldRef fieldRef)

newFieldGetInst

public FieldGetInst newFieldGetInst(SootFieldRef fieldRef)

newFieldPutInst

public FieldPutInst newFieldPutInst(SootFieldRef fieldRef)

newAddInst

public AddInst newAddInst(Type opType)

newPopInst

public PopInst newPopInst(Type aType)

newSubInst

public SubInst newSubInst(Type opType)

newMulInst

public MulInst newMulInst(Type opType)

newDivInst

public DivInst newDivInst(Type opType)

newAndInst

public AndInst newAndInst(Type opType)

newArrayLengthInst

public ArrayLengthInst newArrayLengthInst()

newNegInst

public NegInst newNegInst(Type opType)

newOrInst

public OrInst newOrInst(Type opType)

newRemInst

public RemInst newRemInst(Type opType)

newShlInst

public ShlInst newShlInst(Type opType)

newShrInst

public ShrInst newShrInst(Type opType)

newUshrInst

public UshrInst newUshrInst(Type opType)

newXorInst

public XorInst newXorInst(Type opType)

newInstanceCastInst

public InstanceCastInst newInstanceCastInst(Type opType)

newInstanceOfInst

public InstanceOfInst newInstanceOfInst(Type opType)

newPrimitiveCastInst

public PrimitiveCastInst newPrimitiveCastInst(Type fromType,
                                              Type toType)

newNewInst

public NewInst newNewInst(RefType opType)

newNewArrayInst

public NewArrayInst newNewArrayInst(Type opType)

newNewMultiArrayInst

public NewMultiArrayInst newNewMultiArrayInst(ArrayType opType,
                                              int dimensions)

newDynamicInvokeInst

public DynamicInvokeInst newDynamicInvokeInst(SootMethodRef bsmMethodRef,
                                              List<Value> bsmArgs,
                                              SootMethodRef methodRef)

newStaticInvokeInst

public StaticInvokeInst newStaticInvokeInst(SootMethodRef methodRef)

newSpecialInvokeInst

public SpecialInvokeInst newSpecialInvokeInst(SootMethodRef methodRef)

newVirtualInvokeInst

public VirtualInvokeInst newVirtualInvokeInst(SootMethodRef methodRef)

newInterfaceInvokeInst

public InterfaceInvokeInst newInterfaceInvokeInst(SootMethodRef methodRef,
                                                  int argCount)

newReturnInst

public ReturnInst newReturnInst(Type opType)

newIfCmpEqInst

public IfCmpEqInst newIfCmpEqInst(Type opType,
                                  Unit unit)

newIfCmpGeInst

public IfCmpGeInst newIfCmpGeInst(Type opType,
                                  Unit unit)

newIfCmpGtInst

public IfCmpGtInst newIfCmpGtInst(Type opType,
                                  Unit unit)

newIfCmpLeInst

public IfCmpLeInst newIfCmpLeInst(Type opType,
                                  Unit unit)

newIfCmpLtInst

public IfCmpLtInst newIfCmpLtInst(Type opType,
                                  Unit unit)

newIfCmpNeInst

public IfCmpNeInst newIfCmpNeInst(Type opType,
                                  Unit unit)

newCmpInst

public CmpInst newCmpInst(Type opType)

newCmpgInst

public CmpgInst newCmpgInst(Type opType)

newCmplInst

public CmplInst newCmplInst(Type opType)

newIfEqInst

public IfEqInst newIfEqInst(Unit unit)

newIfGeInst

public IfGeInst newIfGeInst(Unit unit)

newIfGtInst

public IfGtInst newIfGtInst(Unit unit)

newIfLeInst

public IfLeInst newIfLeInst(Unit unit)

newIfLtInst

public IfLtInst newIfLtInst(Unit unit)

newIfNeInst

public IfNeInst newIfNeInst(Unit unit)

newIfNullInst

public IfNullInst newIfNullInst(Unit unit)

newIfNonNullInst

public IfNonNullInst newIfNonNullInst(Unit unit)

newThrowInst

public ThrowInst newThrowInst()

newSwapInst

public SwapInst newSwapInst(Type fromType,
                            Type toType)

newDup1Inst

public Dup1Inst newDup1Inst(Type type)

newDup2Inst

public Dup2Inst newDup2Inst(Type aOp1Type,
                            Type aOp2Type)

newDup1_x1Inst

public Dup1_x1Inst newDup1_x1Inst(Type aOpType,
                                  Type aUnderType)

newDup1_x2Inst

public Dup1_x2Inst newDup1_x2Inst(Type aOpType,
                                  Type aUnder1Type,
                                  Type aUnder2Type)

newDup2_x1Inst

public Dup2_x1Inst newDup2_x1Inst(Type aOp1Type,
                                  Type aOp2Type,
                                  Type aUnderType)

newDup2_x2Inst

public Dup2_x2Inst newDup2_x2Inst(Type aOp1Type,
                                  Type aOp2Type,
                                  Type aUnder1Type,
                                  Type aUnder2Type)

newIncInst

public IncInst newIncInst(Local aLocal,
                          Constant aConstant)

newLookupSwitchInst

public LookupSwitchInst newLookupSwitchInst(Unit defaultTarget,
                                            List lookupValues,
                                            List targets)

newTableSwitchInst

public TableSwitchInst newTableSwitchInst(Unit defaultTarget,
                                          int lowIndex,
                                          int highIndex,
                                          List targets)

bafDescriptorOf

public static String bafDescriptorOf(Type type)

newBody

public BafBody newBody(SootMethod m)
Returns an empty BafBody associated with method m.


newBody

public BafBody newBody(Body b)
Returns a BafBody constructed from b.


newBody

public BafBody newBody(Body b,
                       String phase)
Returns a BafBody constructed from b.