Here is a list of all functions with links to the files they belong to:
- s -
- safe_string2size_t() : string2int.h, string2int.cpp
- safe_string2unsigned() : string2int.h, string2int.cpp
- same_object() : pointer_predicates.h, pointer_predicates.cpp
- selectively_mutate() : renamed.h
- set_class_identifier() : class_identifier.cpp, class_identifier.h
- set_contains() : value_set_abstract_object.cpp
- set_current_path() : file_util.cpp, file_util.h
- set_declaring_class() : java_utils.cpp, java_utils.h
- set_has_extremes() : value_set_abstract_object.cpp
- set_internal_dynamic_object() : build_goto_trace.cpp
- set_properties() : set_properties.cpp, set_properties.h
- setup_symex() : bmc_util.cpp, bmc_util.h
- shell_quote() : run.cpp, run.h
- should_init_symbol() : java_entry_point.cpp
- should_use_local_definition_for() : value_set_dereference.cpp
- show_byte_op_plain() : show_program.cpp
- show_byte_ops() : show_program.cpp, show_program.h
- show_byte_ops_json() : show_program.cpp
- show_byte_ops_plain() : show_program.cpp
- show_byte_ops_xml() : show_program.cpp
- show_call_sequences() : call_sequences.cpp, call_sequences.h
- show_class_hierarchy() : class_hierarchy.h, class_hierarchy.cpp
- show_compact_goto_trace() : goto_trace.cpp
- show_full_goto_trace() : goto_trace.cpp
- show_goto_functions() : show_goto_functions.cpp, show_goto_functions.h
- show_goto_stack_trace() : goto_trace.cpp
- show_goto_trace() : goto_trace.h, goto_trace.cpp
- show_lexical_loops() : lexical_loops.h
- show_location() : show_on_source.cpp
- show_locations() : show_locations.cpp, show_locations.h
- show_loop_ids() : loop_ids.cpp, loop_ids.h, loop_ids.cpp
- show_loop_ids_json() : loop_ids.cpp
- show_loops() : loop_analysis.h
- show_natural_loops() : natural_loops.h
- show_on_source() : show_on_source.cpp, show_on_source.h
- show_path_strategies() : path_storage.cpp, path_storage.h
- show_program() : show_program.cpp, show_program.h
- show_properties() : show_properties.h, show_properties.cpp
- show_properties_json() : show_properties.cpp
- show_ssa_step_plain() : show_program.cpp
- show_state_header() : goto_trace.cpp
- show_step() : show_program.cpp
- show_symbol_table() : show_symbol_table.cpp, show_symbol_table.h
- show_symbol_table_brief() : show_symbol_table.cpp, show_symbol_table.h
- show_symbol_table_brief_json_ui() : show_symbol_table.cpp
- show_symbol_table_brief_plain() : show_symbol_table.cpp
- show_symbol_table_json_ui() : show_symbol_table.cpp
- show_symbol_table_plain() : show_symbol_table.cpp
- show_symbol_table_xml_ui() : show_symbol_table.cpp
- show_uninitialized() : uninitialized.cpp, uninitialized.h
- show_value_sets() : show_value_sets.cpp, show_value_sets.h
- show_vcc() : show_vcc.cpp, show_vcc.h
- show_vcc_json() : show_vcc.cpp
- show_vcc_plain() : show_vcc.cpp
- sign_of_expr() : cover_instrument_mcdc.cpp
- signal_catcher() : signal_catcher.cpp, signal_catcher.h
- signed_char_type() : c_types.cpp, c_types.h
- signed_int_type() : c_types.h, c_types.cpp
- signed_long_int_type() : c_types.cpp, c_types.h
- signed_long_long_int_type() : c_types.cpp, c_types.h
- signed_poly_type() : util.cpp, util.h
- signed_short_int_type() : c_types.cpp, c_types.h
- signed_size_type() : c_types.cpp, c_types.h
- simple_slice() : slice.cpp, slice.h
- simplify() : simplify_expr.cpp, simplify_expr.h
- simplify_expr() : simplify_expr.cpp, simplify_expr.h
- simplify_gotos() : utils.cpp, utils.h
- simplify_json_expr() : json_expr.cpp
- simplify_string_char_at() : simplify_expr.cpp
- simplify_string_compare_to() : simplify_expr.cpp
- simplify_string_contains() : simplify_expr.cpp
- simplify_string_endswith() : simplify_expr.cpp
- simplify_string_equals_ignore_case() : simplify_expr.cpp
- simplify_string_index_of() : simplify_expr.cpp
- simplify_string_is_empty() : simplify_expr.cpp
- simplify_string_startswith() : simplify_expr.cpp
- simplify_sum() : string_refinement.cpp
- simplify_vsd_expr() : abstract_environment.h
- size_of_expr() : pointer_offset_size.cpp, pointer_offset_size.h
- size_type() : c_types.cpp, c_types.h
- skip_loops() : skip_loops.h, skip_loops.cpp
- skip_typecast() : expr_util.h, expr_util.cpp
- slash_to_dot() : java_types.cpp
- slice() : slice.h, slice.cpp, bmc_util.h, bmc_util.cpp
- slice_global_inits() : slice_global_inits.cpp, slice_global_inits.h
- smt2_format() : smt2_format.h
- smt2_format_rec() : smt2_format.cpp, smt2_format.h
- smt2_parser_success() : smt2irep.cpp, smt2irep.h
- smt2irep() : smt2irep.cpp, smt2irep.h, smt2irep.cpp, smt2irep.h
- smt_to_smt2_string() : smt_to_smt2_string.cpp, smt_to_smt2_string.h, smt_to_smt2_string.cpp
- solver() : smt2_solver.cpp
- sort_and_join() : simplify_utils.cpp, simplify_utils.h, simplify_utils.cpp
- sort_operands() : simplify_utils.cpp, simplify_utils.h
- splice_call() : splice_call.cpp, splice_call.h
- split_string() : string_utils.cpp, string_utils.h
- ssa_step_matches_failing_property() : bmc_util.cpp, bmc_util.h
- stack_depth() : stack_depth.cpp, stack_depth.h
- state_location() : goto_trace.cpp
- statement_list_entry_point() : statement_list_entry_point.cpp, statement_list_entry_point.h
- statement_list_scanner_init() : statement_list_parser.h
- statement_list_typecheck() : statement_list_typecheck.h, statement_list_typecheck.cpp
- static_lifetime_init() : static_lifetime_init.cpp, static_lifetime_init.h
- static_reachable_functions() : unreachable_instructions.cpp, unreachable_instructions.h
- static_show_domain() : static_show_domain.h, static_show_domain.cpp
- static_simplifier() : static_simplifier.cpp, static_simplifier.h
- static_unreachable_functions() : unreachable_instructions.cpp, unreachable_instructions.h
- static_unreachable_instructions() : unreachable_instructions.cpp, unreachable_instructions.h
- static_verifier() : static_verifier.cpp, static_verifier.h, static_verifier.cpp, static_verifier.h
- static_verifier_console() : static_verifier.cpp
- static_verifier_json() : static_verifier.cpp
- static_verifier_text() : static_verifier.cpp
- static_verifier_xml() : static_verifier.cpp
- stdio_redirection() : run.cpp
- strictly_below() : interval_union.cpp
- string2integer() : mp_arith.cpp, mp_arith.h
- string2optional() : string2int.h
- string2optional_base() : string2int.h
- string2optional_int() : string2int.cpp, string2int.h
- string2optional_size_t() : string2int.cpp, string2int.h
- string2optional_unsigned() : string2int.cpp, string2int.h
- string_abstraction() : string_abstraction.cpp, string_abstraction.h, string_abstraction.cpp
- string_from_ns() : config.cpp
- string_identifiers_resolution_from_equations() : string_refinement.cpp, string_refinement.h
- string_instrumentation() : string_instrumentation.cpp, string_instrumentation.h
- string_length_type() : java_string_library_preprocess.cpp
- string_of_array() : string_refinement.cpp
- strip_first_field_from_suffix() : value_set.cpp
- strip_java_namespace_prefix() : java_utils.h, java_utils.cpp
- strip_string() : string_utils.cpp, string_utils.h
- struct_member_ptr_comparison_expr() : constant_pointer_abstract_object.cpp
- substitute() : miniBDD.cpp, miniBDD.h
- substitute_array_access() : string_refinement.cpp, string_refinement.h
- substitute_array_access_in_place() : string_refinement.cpp
- substitute_array_lists() : string_refinement.cpp, string_refinement.h
- substitute_rec() : wp.cpp
- substitute_symbols_rec() : std_expr.cpp
- subtype_expr() : remove_instanceof.cpp
- suffix_starts_with_field() : value_set.cpp
- sum_expr() : simplify_expr_int.cpp
- sum_overflows() : string_constraint_generator.h, string_constraint_generator_main.cpp
- switch_to_thread() : symex_main.cpp
- symbol_from_json() : json_symbol.cpp, json_symbol.h
- symbol_ptr_comparison_expr() : constant_pointer_abstract_object.cpp
- symbol_table_from_json() : json_symbol_table.cpp, json_symbol_table.h
- symex_level0() : renaming_level.cpp, renaming_level.h
- symex_transition() : goto_symex.h, symex_main.cpp
- synthetic_class_symbol() : lambda_synthesis.cpp