Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ACCRUE |
"accrue" |
public static final java.lang.String |
ANTIDEP |
"antidep" |
public static final java.lang.String |
CTLDEP |
"ctldep" |
public static final java.lang.String |
DEFUSE |
"defuse" |
public static final java.lang.String |
DOMINATOR |
"dom" |
public static final java.lang.String |
NULL_ANALYSIS |
"nullanalysis" |
public static final java.lang.String |
POINTSTO |
"pointsto" |
public static final java.lang.String |
POINTSTOGRAPH |
"pointstograph" |
public static final java.lang.String |
POST_DOMINATOR |
"postdom" |
public static final java.lang.String |
PRECISE_EX_ANALYSIS |
"preciseex" |
public static final java.lang.String |
READ_WRITE_SETS_ANALYSIS |
"readwritesets" |
public static final java.lang.String |
REGISTRAR |
"registrar" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_NAME |
"accrue.analysis.antidep" |
public static final java.lang.String |
INTRA_ANTI_DEPENDENCIES |
"accrue.analysis.antidep.INTRA_ANTI" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_NAME |
"accrue.analysis.callgraph" |
public static final java.lang.String |
CALL_SOURCES |
"accrue.analysis.callgraph.CALL_SOURCES" |
public static final java.lang.String |
CALL_TARGETS |
"accrue.analysis.callgraph.CALL_TARGETS" |
public static final java.lang.String |
CATCH_SOURCES |
"accrue.analysis.callgraph.CATCH_SOURCES" |
public static final java.lang.String |
CATCH_TARGETS |
"accrue.analysis.callgraph.CATCH_TARGETS" |
public static final java.lang.String |
INIT_SOURCES |
"accrue.analysis.callgraph.INIT_SOURCES" |
public static final java.lang.String |
INIT_TARGETS |
"accrue.analysis.callgraph.INIT_TARGETS" |
public static final java.lang.String |
RETURN_SOURCES |
"accrue.analysis.callgraph.RETURN_SOURCES" |
public static final java.lang.String |
RETURN_TARGETS |
"accrue.analysis.callgraph.RETURN_TARGETS" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_NAME |
"accrue.analysis.ctldep" |
public static final java.lang.String |
BRANCH_SOURCES |
"accrue.analysis.ctldep.BRANCH_SOURCES" |
public static final java.lang.String |
BRANCH_TARGETS |
"accrue.analysis.ctldep.BRANCH_TARGETS" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_NAME |
"accrue.analysis.defuse" |
public static final java.lang.String |
DATA_DEPENDENCIES |
"accrue.analysis.defuse.USES" |
public static final java.lang.String |
INTRA_DATA_DEPENDENCIES |
"accrue.analysis.defuse.INTRA_USES" |
public static final java.lang.String |
INTRA_OUTPUT_DEPENDENCIES |
"accrue.analysis.defuse.INTRA_OUTPUT" |
public static final java.lang.String |
MODIFIED_LOCATIONS |
"accrue.analysis.defuse.DEFS" |
public static final java.lang.String |
OBSERVED_LOCATIONS |
"accrue.analysis.defuse.OBSERVED" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
STRING_CONTENTS |
"[str contents]" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected final boolean |
heap_assign_is_use |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_RESULT_IMMED_DOMINATED_BY |
"accrue.analysis.domination.DOMINATED_BY" |
public static final java.lang.String |
ANALYSIS_RESULT_IMMED_DOMINATOR_OF |
"accrue.analysis.domination.DOMINATOR_OF" |
public static final java.lang.String |
ANALYSIS_RESULT_IMMED_POST_DOMINATED_BY |
"accrue.analysis.domination.POST_DOMINATED_BY" |
public static final java.lang.String |
ANALYSIS_RESULT_IMMED_POST_DOMINATOR_OF |
"accrue.analysis.domination.POST_DOMINATOR_OF" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INFOFLOW_CONTEXTS |
"stonesoup.numberhandling.infoflow.contexts" |
public static final java.lang.String |
INSERT_CHECK |
"stonesoup.analysis.stoptracking.insert_check" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ARRAY_CONTENTS |
"[contents]" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ENTRY |
0 |
public static final int |
EXIT |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
DONT_TRACK_BOTTOM |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_NAME |
"accrue.analysis.notnulldataflow" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ACCRUE_ANNOTATION |
10 |
public static final int |
CHARACTER |
4 |
public static final int |
END_OF_LINE_COMMENT |
8 |
public static final int |
STRING |
2 |
public static final int |
TRADITIONAL_COMMENT |
6 |
public static final int |
YYEOF |
-1 |
public static final int |
YYINITIAL |
0 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
ABSTRACT |
29 |
public static final int |
AND |
77 |
public static final int |
ANDAND |
80 |
public static final int |
ANDEQ |
91 |
public static final int |
ASSERT |
105 |
public static final int |
BOOLEAN |
2 |
public static final int |
BOOLEAN_LITERAL |
100 |
public static final int |
BREAK |
51 |
public static final int |
BYTE |
3 |
public static final int |
CASE |
46 |
public static final int |
CATCH |
56 |
public static final int |
CHAR |
7 |
public static final int |
CHARACTER_LITERAL |
101 |
public static final int |
CLASS |
35 |
public static final int |
COLON |
22 |
public static final int |
COMMA |
16 |
public static final int |
COMP |
63 |
public static final int |
CONST |
106 |
public static final int |
CONTINUE |
52 |
public static final int |
DEFAULT |
47 |
public static final int |
DIV |
65 |
public static final int |
DIVEQ |
84 |
public static final int |
DO |
48 |
public static final int |
DOT |
13 |
public static final int |
DOUBLE |
9 |
public static final int |
DOUBLE_LITERAL |
98 |
public static final int |
ELSE |
44 |
public static final int |
EOF |
0 |
public static final int |
EQ |
19 |
public static final int |
EQEQ |
75 |
public static final int |
error |
1 |
public static final int |
EXTENDS |
36 |
public static final int |
FINAL |
30 |
public static final int |
FINALLY |
57 |
public static final int |
FLOAT |
8 |
public static final int |
FLOAT_LITERAL |
99 |
public static final int |
FOR |
50 |
public static final int |
GOTO |
107 |
public static final int |
GT |
71 |
public static final int |
GTEQ |
73 |
public static final int |
IDENTIFIER |
12 |
public static final int |
IF |
43 |
public static final int |
IMPLEMENTS |
37 |
public static final int |
IMPORT |
24 |
public static final int |
INSTANCEOF |
74 |
public static final int |
INT |
5 |
public static final int |
INTEGER_LITERAL |
94 |
public static final int |
INTEGER_LITERAL_BD |
95 |
public static final int |
INTERFACE |
42 |
public static final int |
LBRACE |
17 |
public static final int |
LBRACK |
10 |
public static final int |
LONG |
6 |
public static final int |
LONG_LITERAL |
96 |
public static final int |
LONG_LITERAL_BD |
97 |
public static final int |
LPAREN |
20 |
public static final int |
LSHIFT |
67 |
public static final int |
LSHIFTEQ |
88 |
public static final int |
LT |
70 |
public static final int |
LTEQ |
72 |
public static final int |
MINUS |
62 |
public static final int |
MINUSEQ |
87 |
public static final int |
MINUSMINUS |
60 |
public static final int |
MOD |
66 |
public static final int |
MODEQ |
85 |
public static final int |
MULT |
15 |
public static final int |
MULTEQ |
83 |
public static final int |
NATIVE |
31 |
public static final int |
NEW |
58 |
public static final int |
NOT |
64 |
public static final int |
NOTEQ |
76 |
public static final int |
NULL_LITERAL |
103 |
public static final int |
OR |
79 |
public static final int |
OREQ |
93 |
public static final int |
OROR |
81 |
public static final int |
PACKAGE |
23 |
public static final int |
PLUS |
61 |
public static final int |
PLUSEQ |
86 |
public static final int |
PLUSPLUS |
59 |
public static final int |
PRIVATE |
27 |
public static final int |
PROTECTED |
26 |
public static final int |
PUBLIC |
25 |
public static final int |
QUESTION |
82 |
public static final int |
RBRACE |
18 |
public static final int |
RBRACK |
11 |
public static final int |
RETURN |
53 |
public static final int |
RPAREN |
21 |
public static final int |
RSHIFT |
68 |
public static final int |
RSHIFTEQ |
89 |
public static final int |
SEMICOLON |
14 |
public static final int |
SHORT |
4 |
public static final int |
STATIC |
28 |
public static final int |
STRICTFP |
104 |
public static final int |
STRING_LITERAL |
102 |
public static final int |
SUPER |
41 |
public static final int |
SUPPRESS |
108 |
public static final int |
SWITCH |
45 |
public static final int |
SYNCHRONIZED |
32 |
public static final int |
THIS |
40 |
public static final int |
THROW |
54 |
public static final int |
THROWS |
39 |
public static final int |
TRANSIENT |
33 |
public static final int |
TRY |
55 |
public static final int |
URSHIFT |
69 |
public static final int |
URSHIFTEQ |
90 |
public static final int |
VOID |
38 |
public static final int |
VOLATILE |
34 |
public static final int |
WHILE |
49 |
public static final int |
XOR |
78 |
public static final int |
XOREQ |
92 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
SHOW_POSITION |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_NAME |
"accrue.analysis.pointer" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
SHOW_POSITION |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final boolean |
USE_SINGLE_ALLOC_NODE_FOR_GENERATED_EXCEPTIONS |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_NAME |
"accrue.analysis.preciseExceptions" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
ANALYSIS_NAME |
"accrue.analysis.readwritesets" |