Package soot.jimple.spark.geom.geomPA
Class Constants
- java.lang.Object
-
- soot.jimple.spark.geom.geomPA.Constants
-
public class Constants extends Object
Named constants used in the geomPA.- Author:
- xiao
-
-
Field Summary
Fields Modifier and Type Field Description static intASSIGN_CONSstatic inteval_basicInfostatic inteval_nothingstatic inteval_simpleClientsstatic RefTypeexeception_typestatic intFIELD_ADDRESSstatic StringgeomEstatic StringheapinsEstatic intLOAD_CONSstatic longMAX_CONTEXTSstatic intNEW_CONSstatic StringptinsEstatic intseedPts_allstatic intseedPts_allUserstatic intSTORE_CONSstatic intSUPER_MAINstatic intUNKNOWN_FUNCTION
-
Constructor Summary
Constructors Constructor Description Constants()
-
-
-
Field Detail
-
geomE
public static final String geomE
- See Also:
- Constant Field Values
-
heapinsE
public static final String heapinsE
- See Also:
- Constant Field Values
-
ptinsE
public static final String ptinsE
- See Also:
- Constant Field Values
-
eval_nothing
public static final int eval_nothing
- See Also:
- Constant Field Values
-
eval_basicInfo
public static final int eval_basicInfo
- See Also:
- Constant Field Values
-
eval_simpleClients
public static final int eval_simpleClients
- See Also:
- Constant Field Values
-
NEW_CONS
public static final int NEW_CONS
- See Also:
- Constant Field Values
-
ASSIGN_CONS
public static final int ASSIGN_CONS
- See Also:
- Constant Field Values
-
LOAD_CONS
public static final int LOAD_CONS
- See Also:
- Constant Field Values
-
STORE_CONS
public static final int STORE_CONS
- See Also:
- Constant Field Values
-
FIELD_ADDRESS
public static final int FIELD_ADDRESS
- See Also:
- Constant Field Values
-
SUPER_MAIN
public static final int SUPER_MAIN
- See Also:
- Constant Field Values
-
UNKNOWN_FUNCTION
public static final int UNKNOWN_FUNCTION
- See Also:
- Constant Field Values
-
MAX_CONTEXTS
public static final long MAX_CONTEXTS
- See Also:
- Constant Field Values
-
exeception_type
public static final RefType exeception_type
-
seedPts_allUser
public static final int seedPts_allUser
- See Also:
- Constant Field Values
-
seedPts_all
public static final int seedPts_all
- See Also:
- Constant Field Values
-
-