echo -disjoint-dvisit-pqueue use prio. q strat to visit descriptors
echo -disjoint-desire-determinism set above interproc for determinism
echo -disjoint-debug-scheduling debug when methods are scheduled for analysis
+echo -disjoint-count-visits for counting visits in the fixed point algorithm to evaluate convergence behavior
+echo -disjoint-count-graph-elements FILE nodes, edges and states in final graph for main method context
+echo
echo -do-definite-reach-analysis enable improved precision for disjoint reachability analysis
-echo -count-visits for counting visits in the fixed point algorithm to evaluate convergence behavior
+echo -disjoint-disable-global-sweep
+echo -disjoint-disable-strong-update
+echo -disjoint-disable-predicates
+echo -disjoint-summarize-per-class
+echo
echo
echo -pointsto-check-v-runtime check allocation site of pointer targets at runtime to help verify heap analysis results
echo
echo SSJava options
echo -ssjava enables SSJava
echo -ssjavadebug reports interim results
+echo -ssjavainfer location type inference
echo -ssjava-induce-error N S where 1/N is the probability to error at any deref or divide and S is a random seed
echo
echo Other options
then
JAVAOPTS="$JAVAOPTS -ssjavadebug"
+elif [[ $1 = '-ssjavainfer' ]]
+then
+JAVAOPTS="$JAVAOPTS -ssjavainfer"
+
elif [[ $1 = '-ssjava-inject-error' ]]
then
USE_SSJAVA_CLASSPATH=true