public class PaddleOptions extends Object
Constructor and Description |
---|
PaddleOptions(Map<String,String> options) |
Modifier and Type | Method and Description |
---|---|
int |
backend()
Backend --
Select BDD backend.
|
int |
bdd_nodes()
BDD Nodes --
Number of BDD nodes to allocate (0=unlimited).
|
boolean |
bdd()
Use BDDs --
Use BDD version of Paddle.
|
int |
conf()
Configuration --
Select Paddle configuration.
|
boolean |
context_counts()
Print Context Counts --
Print number of contexts for each method.
|
boolean |
context_heap()
Context-sensitive Heap Locations --
Treat allocation sites context-sensitively.
|
int |
context()
Context abstraction --
Select context-sensitivity level.
|
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 |
dynamic_order()
Dynamic reordering --
.
|
boolean |
enabled()
Enabled --
.
|
boolean |
field_based()
Field Based --
Use a field-based rather than field-sensitive representation.
|
boolean |
global_nodes_in_natives()
Global Nodes in Simulated Natives --
Use global node to model variables in simulations of native
methods.
|
boolean |
ignore_types()
Ignore Types Entirely --
Make Paddle completely ignore declared types of variables.
|
int |
k()
Context length (k) --
.
|
boolean |
merge_stringbuffer()
Merge String Buffer --
Represent all StringBuffers as one object.
|
boolean |
method_context_counts()
Method Context Counts (Totals only) --
Print number of contexts for each method.
|
boolean |
number_nodes()
Number nodes --
Print node numbers in dumps.
|
int |
order()
Variable ordering --
.
|
boolean |
pre_jimplify()
Pre Jimplify --
Jimplify all methods before starting Paddle.
|
boolean |
precise_newinstance()
Precise newInstance --
Make newInstance only allocate objects of dynamic classes.
|
boolean |
profile()
Profile --
Profile BDDs using JeddProfiler.
|
int |
propagator()
Propagator --
Select propagation algorithm.
|
int |
q()
Worklist Implementation --
Select queue implementation.
|
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 |
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 |
this_edges()
this Pointer Assignment Edge --
Use pointer assignment edges to model this parameters.
|
boolean |
total_context_counts()
Print Context Counts (Totals only) --
Print total number of contexts.
|
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 Paddle.
|
boolean |
verbosegc()
Verbose GC --
Print memory usage at each BDD garbage collection..
|
public static final int conf_ofcg
public static final int conf_cha
public static final int conf_cha_aot
public static final int conf_ofcg_aot
public static final int conf_cha_context_aot
public static final int conf_ofcg_context_aot
public static final int conf_cha_context
public static final int conf_ofcg_context
public static final int q_auto
public static final int q_trad
public static final int q_bdd
public static final int q_debug
public static final int q_trace
public static final int q_numtrace
public static final int backend_auto
public static final int backend_buddy
public static final int backend_cudd
public static final int backend_sable
public static final int backend_javabdd
public static final int backend_none
public static final int context_insens
public static final int context_1cfa
public static final int context_kcfa
public static final int context_objsens
public static final int context_kobjsens
public static final int context_uniqkobjsens
public static final int context_threadkobjsens
public static final int propagator_auto
public static final int propagator_iter
public static final int propagator_worklist
public static final int propagator_alias
public static final int propagator_bdd
public static final int propagator_incbdd
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_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_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 boolean enabled()
public boolean verbose()
public boolean bdd()
public boolean dynamic_order()
public boolean profile()
public boolean verbosegc()
public boolean ignore_types()
public boolean pre_jimplify()
public boolean context_heap()
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 global_nodes_in_natives()
public boolean simple_edges_bidirectional()
public boolean this_edges()
public boolean precise_newinstance()
public boolean context_counts()
public boolean total_context_counts()
public boolean method_context_counts()
public boolean set_mass()
public boolean number_nodes()
public int order()
public int bdd_nodes()
public int k()
public int conf()
public int q()
public int backend()
public int context()
public int propagator()
public int set_impl()
public int double_set_old()
public int double_set_new()