# Constant Field Values

## Contents

- accrue.analysis.*

## accrue.analysis.*

- accrue.analysis.AnalysisTopics
  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"`

- accrue.analysis.antidep.AntiDepAnalysisFactory
  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"`

- accrue.analysis.callgraph.PreciseCallGraphFactory
  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"`

- accrue.analysis.ctldep.CtlDepAnalysisFactory
  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"`

- accrue.analysis.defuse.DefUseAnalysisFactory
  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"`

- accrue.analysis.defuse.DefUseAnalysisUtil
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final java.lang.String` | `STRING_CONTENTS` | `"[str contents]"`

- accrue.analysis.defuse.DefUseDataFlow
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `protected final boolean` | `heap_assign_is_use` | `true`

- accrue.analysis.domination.DominationPass
  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"`

- accrue.analysis.goals.MissingCodeReportGoal
  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"`

- accrue.analysis.interprocanalysis.AbstractLocation
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final java.lang.String` | `ARRAY_CONTENTS` | `"[contents]"`

- accrue.analysis.interprocanalysis.NativeNodeIdentifier
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final int` | `ENTRY` | `0`
  `public static final int` | `EXIT` | `1`

- accrue.analysis.interprocvarcontext.VarContextDataFlow<T extends AbstractValue<T>>
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final boolean` | `DONT_TRACK_BOTTOM` | `true`

- accrue.analysis.notnulldataflow.NotNullAnalysisFactory
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final java.lang.String` | `ANALYSIS_NAME` | `"accrue.analysis.notnulldataflow"`

- accrue.analysis.parse.Lexer_c
  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`

- accrue.analysis.parse.sym
  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`

- accrue.analysis.pointer.CallSiteNode
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final boolean` | `SHOW_POSITION` | `true`

- accrue.analysis.pointer.PointerAnalysisPass
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final java.lang.String` | `ANALYSIS_NAME` | `"accrue.analysis.pointer"`

- accrue.analysis.pointer.ReferenceVariable
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final boolean` | `SHOW_POSITION` | `true`

- accrue.analysis.pointer.StmtRegistrar
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `protected static final boolean` | `USE_SINGLE_ALLOC_NODE_FOR_GENERATED_EXCEPTIONS` | `false`

- accrue.analysis.preciseExceptions.PreciseExAnalysisFactory
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final java.lang.String` | `ANALYSIS_NAME` | `"accrue.analysis.preciseExceptions"`

- accrue.analysis.readwritesets.ReadWriteSetsAnalysisFactory
  Modifier and Type | Constant Field | Value
  --- | --- | ---
  `public static final java.lang.String` | `ANALYSIS_NAME` | `"accrue.analysis.readwritesets"`