Package soot.options

Class Options

  • @Generated(value="Saxonica v3.0",
           comments="from soot_options.xml")
public class Options
extends Object
    Soot command-line options parser.
    Author:
    Ondrej Lhotak

    • Method Detail

      • parse

        public boolean parse​(String[] argv)

      • jasmin_backend

        public boolean jasmin_backend()

      • set_jasmin_backend

        public void set_jasmin_backend​(boolean setting)

      • help

        public boolean help()

      • set_help

        public void set_help​(boolean setting)

      • phase_list

        public boolean phase_list()

      • set_phase_list

        public void set_phase_list​(boolean setting)

      • set_phase_help

        public void set_phase_help​(List<String> setting)

      • version

        public boolean version()

      • set_version

        public void set_version​(boolean setting)

      • verbose

        public boolean verbose()

      • set_verbose

        public void set_verbose​(boolean setting)

      • interactive_mode

        public boolean interactive_mode()

      • set_interactive_mode

        public void set_interactive_mode​(boolean setting)

      • unfriendly_mode

        public boolean unfriendly_mode()

      • set_unfriendly_mode

        public void set_unfriendly_mode​(boolean setting)

      • app

        public boolean app()

      • set_app

        public void set_app​(boolean setting)

      • whole_program

        public boolean whole_program()

      • set_whole_program

        public void set_whole_program​(boolean setting)

      • whole_shimple

        public boolean whole_shimple()

      • set_whole_shimple

        public void set_whole_shimple​(boolean setting)

      • on_the_fly

        public boolean on_the_fly()

      • set_on_the_fly

        public void set_on_the_fly​(boolean setting)

      • validate

        public boolean validate()

      • set_validate

        public void set_validate​(boolean setting)

      • debug

        public boolean debug()

      • set_debug

        public void set_debug​(boolean setting)

      • debug_resolver

        public boolean debug_resolver()

      • set_debug_resolver

        public void set_debug_resolver​(boolean setting)

      • ignore_resolving_levels

        public boolean ignore_resolving_levels()

      • set_ignore_resolving_levels

        public void set_ignore_resolving_levels​(boolean setting)

      • weak_map_structures

        public boolean weak_map_structures()

      • set_weak_map_structures

        public void set_weak_map_structures​(boolean setting)

      • soot_classpath

        public String soot_classpath()

      • set_soot_classpath

        public void set_soot_classpath​(String setting)

      • soot_modulepath

        public String soot_modulepath()

      • set_soot_modulepath

        public void set_soot_modulepath​(String setting)

      • dotnet_nativehost_path

        public String dotnet_nativehost_path()

      • set_dotnet_nativehost_path

        public void set_dotnet_nativehost_path​(String setting)

      • prepend_classpath

        public boolean prepend_classpath()

      • set_prepend_classpath

        public void set_prepend_classpath​(boolean setting)

      • ignore_classpath_errors

        public boolean ignore_classpath_errors()

      • set_ignore_classpath_errors

        public void set_ignore_classpath_errors​(boolean setting)

      • process_multiple_dex

        public boolean process_multiple_dex()

      • set_process_multiple_dex

        public void set_process_multiple_dex​(boolean setting)

      • search_dex_in_archives

        public boolean search_dex_in_archives()

      • set_search_dex_in_archives

        public void set_search_dex_in_archives​(boolean setting)

      • set_process_dir

        public void set_process_dir​(List<String> setting)

      • process_jar_dir

        public List<String> process_jar_dir()

      • set_process_jar_dir

        public void set_process_jar_dir​(List<String> setting)

      • virtualedges_path

        public String virtualedges_path()

      • set_virtualedges_path

        public void set_virtualedges_path​(String setting)

      • derive_java_version

        public boolean derive_java_version()

      • set_derive_java_version

        public void set_derive_java_version​(boolean setting)

      • oaat

        public boolean oaat()

      • set_oaat

        public void set_oaat​(boolean setting)

      • android_jars

        public String android_jars()

      • set_android_jars

        public void set_android_jars​(String setting)

      • force_android_jar

        public String force_android_jar()

      • set_force_android_jar

        public void set_force_android_jar​(String setting)

      • android_api_version

        public int android_api_version()

      • set_android_api_version

        public void set_android_api_version​(int setting)

      • ast_metrics

        public boolean ast_metrics()

      • set_ast_metrics

        public void set_ast_metrics​(boolean setting)

      • src_prec

        public int src_prec()

      • set_src_prec

        public void set_src_prec​(int setting)

      • full_resolver

        public boolean full_resolver()

      • set_full_resolver

        public void set_full_resolver​(boolean setting)

      • ignore_methodsource_error

        public boolean ignore_methodsource_error()

      • set_ignore_methodsource_error

        public void set_ignore_methodsource_error​(boolean setting)

      • resolve_all_dotnet_methods

        public boolean resolve_all_dotnet_methods()

      • set_resolve_all_dotnet_methods

        public void set_resolve_all_dotnet_methods​(boolean setting)

      • allow_phantom_refs

        public boolean allow_phantom_refs()

      • set_allow_phantom_refs

        public void set_allow_phantom_refs​(boolean setting)

      • allow_phantom_elms

        public boolean allow_phantom_elms()

      • set_allow_phantom_elms

        public void set_allow_phantom_elms​(boolean setting)

      • allow_cg_errors

        public boolean allow_cg_errors()

      • set_allow_cg_errors

        public void set_allow_cg_errors​(boolean setting)

      • no_bodies_for_excluded

        public boolean no_bodies_for_excluded()

      • set_no_bodies_for_excluded

        public void set_no_bodies_for_excluded​(boolean setting)

      • j2me

        public boolean j2me()

      • set_j2me

        public void set_j2me​(boolean setting)

      • main_class

        public String main_class()

      • set_main_class

        public void set_main_class​(String setting)

      • polyglot

        public boolean polyglot()

      • set_polyglot

        public void set_polyglot​(boolean setting)

      • permissive_resolving

        public boolean permissive_resolving()

      • set_permissive_resolving

        public void set_permissive_resolving​(boolean setting)

      • drop_bodies_after_load

        public boolean drop_bodies_after_load()

      • set_drop_bodies_after_load

        public void set_drop_bodies_after_load​(boolean setting)

      • native_code

        public boolean native_code()

      • set_native_code

        public void set_native_code​(boolean setting)

      • output_dir

        public String output_dir()

      • set_output_dir

        public void set_output_dir​(String setting)

      • output_format

        public int output_format()

      • set_output_format

        public void set_output_format​(int setting)

      • java_version

        public int java_version()

      • set_java_version

        public void set_java_version​(int setting)

      • output_jar

        public boolean output_jar()

      • set_output_jar

        public void set_output_jar​(boolean setting)

      • hierarchy_dirs

        public boolean hierarchy_dirs()

      • set_hierarchy_dirs

        public void set_hierarchy_dirs​(boolean setting)

      • xml_attributes

        public boolean xml_attributes()

      • set_xml_attributes

        public void set_xml_attributes​(boolean setting)

      • print_tags_in_output

        public boolean print_tags_in_output()

      • set_print_tags_in_output

        public void set_print_tags_in_output​(boolean setting)

      • no_output_source_file_attribute

        public boolean no_output_source_file_attribute()

      • set_no_output_source_file_attribute

        public void set_no_output_source_file_attribute​(boolean setting)

      • no_output_inner_classes_attribute

        public boolean no_output_inner_classes_attribute()

      • set_no_output_inner_classes_attribute

        public void set_no_output_inner_classes_attribute​(boolean setting)

      • set_dump_body

        public void set_dump_body​(List<String> setting)

      • set_dump_cfg

        public void set_dump_cfg​(List<String> setting)

      • show_exception_dests

        public boolean show_exception_dests()

      • set_show_exception_dests

        public void set_show_exception_dests​(boolean setting)

      • gzip

        public boolean gzip()

      • set_gzip

        public void set_gzip​(boolean setting)

      • force_overwrite

        public boolean force_overwrite()

      • set_force_overwrite

        public void set_force_overwrite​(boolean setting)

      • set_plugin

        public void set_plugin​(List<String> setting)

      • wrong_staticness

        public int wrong_staticness()

      • set_wrong_staticness

        public void set_wrong_staticness​(int setting)

      • field_type_mismatches

        public int field_type_mismatches()

      • set_field_type_mismatches

        public void set_field_type_mismatches​(int setting)

      • num_threads

        public int num_threads()

      • set_num_threads

        public void set_num_threads​(int setting)

      • via_grimp

        public boolean via_grimp()

      • set_via_grimp

        public void set_via_grimp​(boolean setting)

      • via_shimple

        public boolean via_shimple()

      • set_via_shimple

        public void set_via_shimple​(boolean setting)

      • throw_analysis

        public int throw_analysis()

      • set_throw_analysis

        public void set_throw_analysis​(int setting)

      • check_init_throw_analysis

        public int check_init_throw_analysis()

      • set_check_init_throw_analysis

        public void set_check_init_throw_analysis​(int setting)

      • omit_excepting_unit_edges

        public boolean omit_excepting_unit_edges()

      • set_omit_excepting_unit_edges

        public void set_omit_excepting_unit_edges​(boolean setting)

      • ignore_resolution_errors

        public boolean ignore_resolution_errors()

      • set_ignore_resolution_errors

        public void set_ignore_resolution_errors​(boolean setting)

      • set_include

        public void set_include​(List<String> setting)

      • set_exclude

        public void set_exclude​(List<String> setting)

      • include_all

        public boolean include_all()

      • set_include_all

        public void set_include_all​(boolean setting)

      • dynamic_class

        public List<String> dynamic_class()

      • set_dynamic_class

        public void set_dynamic_class​(List<String> setting)

      • set_dynamic_dir

        public void set_dynamic_dir​(List<String> setting)

      • dynamic_package

        public List<String> dynamic_package()

      • set_dynamic_package

        public void set_dynamic_package​(List<String> setting)

      • keep_line_number

        public boolean keep_line_number()

      • set_keep_line_number

        public void set_keep_line_number​(boolean setting)

      • keep_offset

        public boolean keep_offset()

      • set_keep_offset

        public void set_keep_offset​(boolean setting)

      • write_local_annotations

        public boolean write_local_annotations()

      • set_write_local_annotations

        public void set_write_local_annotations​(boolean setting)

      • time

        public boolean time()

      • set_time

        public void set_time​(boolean setting)

      • subtract_gc

        public boolean subtract_gc()

      • set_subtract_gc

        public void set_subtract_gc​(boolean setting)

      • no_writeout_body_releasing

        public boolean no_writeout_body_releasing()

      • set_no_writeout_body_releasing

        public void set_no_writeout_body_releasing​(boolean setting)

      • getUsage

        public String getUsage()

      • getPhaseList

        public String getPhaseList()

      • getPhaseHelp

        public String getPhaseHelp​(String phaseName)

      • getDeclaredOptionsForPhase

        public static String getDeclaredOptionsForPhase​(String phaseName)

      • getDefaultOptionsForPhase

        public static String getDefaultOptionsForPhase​(String phaseName)

      • warnForeignPhase

        public void warnForeignPhase​(String phaseName)

      • warnNonexistentPhase

        public void warnNonexistentPhase()

      • getPhaseUsage

        protected String getPhaseUsage()

      • pushOption

        protected void pushOption​(String option)

      • hasMoreOptions

        protected boolean hasMoreOptions()

      • nextOption

        protected String nextOption()

      • setPhaseOption

        public boolean setPhaseOption​(String phase,
                              String option)

      • loadPluginConfiguration

        protected boolean loadPluginConfiguration​(String file)
        Handles the value of a plugin parameter.
        Parameters:
        file - the plugin parameter value.
        Returns:
        true on success.