public class SparkOptions extends Object
Modifier and Type | Field and Description |
---|---|
static int |
double_set_new_array |
static int |
double_set_new_bit |
static int |
double_set_new_hash |
static int |
double_set_new_heintze |
static int |
double_set_new_hybrid |
static int |
double_set_new_sharedlist |
static int |
double_set_old_array |
static int |
double_set_old_bit |
static int |
double_set_old_hash |
static int |
double_set_old_heintze |
static int |
double_set_old_hybrid |
static int |
double_set_old_sharedlist |
static int |
geom_encoding_Geom |
static int |
geom_encoding_HeapIns |
static int |
geom_encoding_PtIns |
static int |
geom_worklist_FIFO |
static int |
geom_worklist_PQ |
static int |
propagator_alias |
static int |
propagator_cycle |
static int |
propagator_iter |
static int |
propagator_merge |
static int |
propagator_none |
static int |
propagator_worklist |
static int |
set_impl_array |
static int |
set_impl_bit |
static int |
set_impl_double |
static int |
set_impl_hash |
static int |
set_impl_heintze |
static int |
set_impl_hybrid |
static int |
set_impl_sharedlist |
Constructor and Description |
---|
SparkOptions(Map<String,String> options) |
Modifier and Type | Method and Description |
---|---|
boolean |
add_tags()
Add Tags --
Output points-to results in tags for viewing with the Jimple.
|
boolean |
apponly()
AppOnly --
Consider only application classes.
|
boolean |
class_method_var()
Class Method Var --
In dump, label variables by class and method.
|
boolean |
cs_demand()
Demand-driven refinement-based context-sensitive points-to analysis --
After running Spark, refine points-to sets on demand with
context information.
|
int |
double_set_new()
Double Set New --
Select implementation of points-to set for new part of double
set.
|
int |
double_set_old()
Double Set Old --
Select implementation of points-to set for old part of double
set.
|
boolean |
dump_answer()
Dump Answer --
Dump computed reaching types for comparison with other solvers.
|
boolean |
dump_html()
Dump HTML --
Dump pointer assignment graph to HTML for debugging.
|
boolean |
dump_pag()
Dump PAG --
Dump pointer assignment graph for other solvers.
|
boolean |
dump_solution()
Dump Solution --
Dump final solution for comparison with other solvers.
|
boolean |
dump_types()
Dump Types --
Include declared types in dump.
|
boolean |
empties_as_allocs()
Treat EMPTY as Alloc --
Treat singletons for empty sets etc.
|
boolean |
enabled()
Enabled --
.
|
boolean |
field_based()
Field Based --
Use a field-based rather than field-sensitive representation.
|
boolean |
force_gc()
Force Garbage Collections --
Force garbage collection for measuring memory usage.
|
boolean |
geom_app_only()
Pointers processed by geomPTA --
Processing pointers that impact pointers in application code
only.
|
boolean |
geom_blocking()
Blocking strategy for recursive calls --
Enable blocking strategy for recursive calls.
|
String |
geom_dump_verbose()
Verbose dump file --
Filename for detailed execution log.
|
int |
geom_encoding()
Encoding methodology used --
Encoding methodology.
|
int |
geom_eval()
Precision evaluation methodologies --
Precision evaluation methodologies.
|
int |
geom_frac_base()
Fractional parameter --
Fractional parameter for precision/performance trade-off.
|
boolean |
geom_pta()
Geometric, context-sensitive points-to analysis --
This switch enables/disables the geometric analysis..
|
int |
geom_runs()
Iterations --
Iterations of analysis.
|
boolean |
geom_trans()
Transform to context-insensitive result --
Transform to context-insensitive result.
|
String |
geom_verify_name()
Verification file --
Filename for verification file.
|
int |
geom_worklist()
Worklist type --
Worklist type.
|
boolean |
ignore_types_for_sccs()
Ignore Types For SCCs --
Ignore declared types when determining node equivalence for SCCs.
|
boolean |
ignore_types()
Ignore Types Entirely --
Make Spark completely ignore declared types of variables.
|
boolean |
lazy_pts()
Create lazy points-to sets --
Create lazy points-to sets that create context information only
when needed..
|
boolean |
merge_stringbuffer()
Merge String Buffer --
Represent all StringBuffers as one object.
|
boolean |
on_fly_cg()
On Fly Call Graph --
Build call graph as receiver types become known.
|
int |
passes()
Maximal number of passes --
Perform at most this number of refinement iterations..
|
boolean |
pre_jimplify()
Pre Jimplify --
Jimplify all methods before starting Spark.
|
int |
propagator()
Propagator --
Select propagation algorithm.
|
boolean |
rta()
RTA --
Emulate Rapid Type Analysis.
|
int |
set_impl()
Set Implementation --
Select points-to set implementation.
|
boolean |
set_mass()
Calculate Set Mass --
Calculate statistics about points-to set sizes.
|
boolean |
simple_edges_bidirectional()
Simple Edges Bidirectional --
Equality-based analysis between variable nodes.
|
boolean |
simplify_offline()
Simplify Offline --
Collapse single-entry subgraphs of the PAG.
|
boolean |
simplify_sccs()
Simplify SCCs --
Collapse strongly-connected components of the PAG.
|
boolean |
simulate_natives()
Simulate Natives --
Simulate effects of native methods in standard class library.
|
boolean |
string_constants()
Propagate All String Constants --
Propagate all string constants, not just class names.
|
boolean |
topo_sort()
Topological Sort --
Sort variable nodes in dump.
|
int |
traversal()
Maximal traversal --
Make the analysis traverse at most this number of nodes per
query..
|
boolean |
types_for_sites()
Types For Sites --
Represent objects by their actual type rather than allocation
site.
|
boolean |
verbose()
Verbose --
Print detailed information about the execution of Spark.
|
boolean |
vta()
VTA --
Emulate Variable Type Analysis.
|
public static final int propagator_iter
public static final int propagator_worklist
public static final int propagator_cycle
public static final int propagator_merge
public static final int propagator_alias
public static final int propagator_none
public static final int set_impl_hash
public static final int set_impl_bit
public static final int set_impl_hybrid
public static final int set_impl_array
public static final int set_impl_heintze
public static final int set_impl_sharedlist
public static final int set_impl_double
public static final int double_set_old_hash
public static final int double_set_old_bit
public static final int double_set_old_hybrid
public static final int double_set_old_array
public static final int double_set_old_heintze
public static final int double_set_old_sharedlist
public static final int double_set_new_hash
public static final int double_set_new_bit
public static final int double_set_new_hybrid
public static final int double_set_new_array
public static final int double_set_new_heintze
public static final int double_set_new_sharedlist
public static final int geom_encoding_Geom
public static final int geom_encoding_HeapIns
public static final int geom_encoding_PtIns
public static final int geom_worklist_PQ
public static final int geom_worklist_FIFO
public boolean enabled()
public boolean verbose()
public boolean ignore_types()
public boolean force_gc()
public boolean pre_jimplify()
public boolean apponly()
public boolean vta()
public boolean rta()
public boolean field_based()
public boolean types_for_sites()
public boolean merge_stringbuffer()
public boolean string_constants()
public boolean simulate_natives()
public boolean empties_as_allocs()
public boolean simple_edges_bidirectional()
public boolean on_fly_cg()
public boolean simplify_offline()
public boolean simplify_sccs()
public boolean ignore_types_for_sccs()
public boolean dump_html()
public boolean dump_pag()
public boolean dump_solution()
public boolean topo_sort()
public boolean dump_types()
public boolean class_method_var()
public boolean dump_answer()
public boolean add_tags()
public boolean set_mass()
public boolean cs_demand()
public boolean lazy_pts()
public boolean geom_pta()
public boolean geom_trans()
public boolean geom_blocking()
public boolean geom_app_only()
public int traversal()
public int passes()
public int geom_eval()
public int geom_frac_base()
public int geom_runs()
public String geom_dump_verbose()
public String geom_verify_name()
public int propagator()
public int set_impl()
public int double_set_old()
public int double_set_new()
public int geom_encoding()
public int geom_worklist()