/** * Dynamic reordering * Allows the BDD package to perform dynamic variable ordering. */ public boolean dynamic_order() { return soot.PhaseOptions.getBoolean(options, "dynamic-order"); }
/** * Verbose GC -- * Print memory usage at each BDD garbage collection. * * Print memory usage at each BDD garbage collection. */ public boolean verbosegc() { return soot.PhaseOptions.getBoolean(options, "verbosegc"); }
/** * Ignore Types Entirely -- * Make Paddle completely ignore declared types of variables. * * When this option is set to true, all parts of Paddle completely * ignore declared types of variables and casts. */ public boolean ignore_types() { return soot.PhaseOptions.getBoolean(options, "ignore-types"); }
/** * Types For Sites -- * Represent objects by their actual type rather than allocation * site. * * When this option is set to true, types rather than allocation * sites are used as the elements of the points-to sets. */ public boolean types_for_sites() { return soot.PhaseOptions.getBoolean(options, "types-for-sites"); }
/** * Simulate Natives -- * Simulate effects of native methods in standard class library. * * When this option is set to true, the effects of native methods * in the standard Java class library are simulated. */ public boolean simulate_natives() { return soot.PhaseOptions.getBoolean(options, "simulate-natives"); }
/** * Print Context Counts (Totals only) -- * Print total number of contexts. * * Causes Paddle to print the number of contexts and number of * context equivalence classes. */ public boolean total_context_counts() { return soot.PhaseOptions.getBoolean(options, "total-context-counts"); }
/** * With All * Setting the With All option to true is equivalent to setting * each of With CSE, With Array Ref, With Field Ref, With Class * Field, and With Rectangular Array to true. */ public boolean with_all() { return soot.PhaseOptions.getBoolean(options, "with-all"); }
/** * With Class Field * This option makes the analysis work on the class level. The * algorithm analyzes final or private class fields first. It can * recognize the fields that hold array objects of constant length. * In an application using lots of array fields, this option can * improve the analysis results dramatically. */ public boolean with_classfield() { return soot.PhaseOptions.getBoolean(options, "with-classfield"); }
/** * Use Original Names * Retain the original names for local variables when the source * includes those names. Otherwise, Soot gives variables generic * names based on their types. */ public boolean use_original_names() { return soot.PhaseOptions.getBoolean(options, "use-original-names"); }
/** * On Fly Call Graph -- * Build call graph as receiver types become known. * * When this option is set to true, the call graph is computed * on-the-fly as points-to information is computed. Otherwise, an * initial CHA approximation to the call graph is used. */ public boolean on_fly_cg() { return soot.PhaseOptions.getBoolean(options, "on-fly-cg"); }
/** * Simplify SCCs -- * Collapse strongly-connected components of the PAG. * * When this option is set to true, variable (Green) nodes which * form strongly-connected components (so they must have the same * points-to set) are merged before propagation begins. */ public boolean simplify_sccs() { return soot.PhaseOptions.getBoolean(options, "simplify-sccs"); }
/** * Dump Solution -- * Dump final solution for comparison with other solvers. * * When this option is set to true, a representation of the * resulting points-to sets is dumped. The format is similar to * that of the Dump PAG option, and is therefore suitable for * comparison with the results of other solvers. */ public boolean dump_solution() { return soot.PhaseOptions.getBoolean(options, "dump-solution"); }
/** * Enabled */ public boolean enabled() { return soot.PhaseOptions.getBoolean(options, "enabled"); }
/** * Only Stack Locals * Only propagate copies through locals that represent stack * locations in the original bytecode. */ public boolean only_stack_locals() { return soot.PhaseOptions.getBoolean(options, "only-stack-locals"); }
/** * Enabled */ public boolean enabled() { return soot.PhaseOptions.getBoolean(options, "enabled"); }
/** * Perform Deadlock Avoidance -- * Perform Deadlock Avoidance. * * Perform Deadlock Avoidance by enforcing a lock ordering where * necessary. */ public boolean avoid_deadlock() { return soot.PhaseOptions.getBoolean(options, "avoid-deadlock"); }
/** * Use Open Nesting -- * Use an open nesting model. * * Use an open nesting model, where inner transactions are allowed * to commit independently of any outer transaction. */ public boolean open_nesting() { return soot.PhaseOptions.getBoolean(options, "open-nesting"); }
/** * Enabled */ public boolean enabled() { return soot.PhaseOptions.getBoolean(options, "enabled"); }
/** * Enabled */ public boolean enabled() { return soot.PhaseOptions.getBoolean(options, "enabled"); }
/** * Enabled */ public boolean enabled() { return soot.PhaseOptions.getBoolean(options, "enabled"); }