soot.baf
Class Baf

java.lang.Object
  |
  +--soot.baf.Baf

public class Baf
extends java.lang.Object


Constructor Summary
Baf(Singletons.Global g)
           
 
Method Summary
static java.lang.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, java.lang.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)
           
 Dup1Inst newDup1Inst(Type type)
           
 Dup2Inst newDup2Inst(Type aOp1Type, Type aOp2Type)
           
 EnterMonitorInst newEnterMonitorInst()
          Constructs a EnterMonitorInst() grammar chunk.
 ExitMonitorInst newExitMonitorInst()
          Constructs a ExitMonitorInst() grammar chunk
 FieldGetInst newFieldGetInst(SootField field)
           
 FieldPutInst newFieldPutInst(SootField field)
           
 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(SootMethod method, int argCount)
           
 LoadInst newLoadInst(Type opType, Local l)
           
 Local newLocal(java.lang.String name, Type t)
          Constructs a Local with the given name and type.
 ValueBox newLocalBox(Value value)
           
 LookupSwitchInst newLookupSwitchInst(Unit defaultTarget, java.util.List lookupValues, java.util.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(SootMethod method)
           
 StaticGetInst newStaticGetInst(SootField field)
           
 StaticInvokeInst newStaticInvokeInst(SootMethod method)
           
 StaticPutInst newStaticPutInst(SootField field)
           
 StoreInst newStoreInst(Type opType, Local l)
           
 SubInst newSubInst(Type opType)
           
 SwapInst newSwapInst(Type fromType, Type toType)
           
 TableSwitchInst newTableSwitchInst(Unit defaultTarget, int lowIndex, int highIndex, java.util.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(SootMethod method)
           
 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(java.lang.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)

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(SootField field)

newStaticPutInst

public StaticPutInst newStaticPutInst(SootField field)

newFieldGetInst

public FieldGetInst newFieldGetInst(SootField field)

newFieldPutInst

public FieldPutInst newFieldPutInst(SootField field)

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)

newStaticInvokeInst

public StaticInvokeInst newStaticInvokeInst(SootMethod method)

newSpecialInvokeInst

public SpecialInvokeInst newSpecialInvokeInst(SootMethod method)

newVirtualInvokeInst

public VirtualInvokeInst newVirtualInvokeInst(SootMethod method)

newInterfaceInvokeInst

public InterfaceInvokeInst newInterfaceInvokeInst(SootMethod method,
                                                  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)

newIncInst

public IncInst newIncInst(Local aLocal,
                          Constant aConstant)

newLookupSwitchInst

public LookupSwitchInst newLookupSwitchInst(Unit defaultTarget,
                                            java.util.List lookupValues,
                                            java.util.List targets)

newTableSwitchInst

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

bafDescriptorOf

public static java.lang.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,
                       java.lang.String phase)
Returns a BafBody constructed from b.