- s -

• safe_string2size_t() : string2int.h , string2int.cpp
• safe_string2unsigned() : string2int.h , string2int.cpp
• same_address() : may_alias.cpp
• same_object() : pointer_predicates.cpp , pointer_predicates.h
• same_source_line() : cover_basic_blocks.cpp
• scanf() : stdio.c
• selectively_mutate() : renamed.h
• sem_destroy() : semaphore.c
• sem_getvalue() : semaphore.c
• sem_init() : semaphore.c
• sem_post() : semaphore.c
• sem_post_multiple() : semaphore.c
• sem_timedwait() : semaphore.c
• sem_trywait() : semaphore.c
• sem_wait() : semaphore.c
• send_function_definition() : smt2_incremental_decision_procedure.cpp
• sentinel_dll_member() : sentinel_dll.cpp
• sentinel_dll_next() : sentinel_dll.cpp , sentinel_dll.h
• sentinel_dll_prev() : sentinel_dll.cpp , sentinel_dll.h
• set_class_identifier() : class_identifier.cpp , class_identifier.h
• set_contains() : value_set_abstract_object.cpp
• 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
• set_up_custom_entry_point() : initialize_goto_model.cpp , initialize_goto_model.h
• setjmp() : setjmp.c
• setlocale() : locale.c
• setup_frames() : solver_types.h , solver_types.cpp
• setup_symex() : bmc_util.cpp , bmc_util.h
• shadow_memory_log_get_field() : shadow_memory_util.cpp , shadow_memory_util.h
• shadow_memory_log_set_field() : shadow_memory_util.cpp , shadow_memory_util.h
• shadow_memory_log_text_and_expr() : shadow_memory_util.cpp , shadow_memory_util.h
• shadow_memory_log_value_set() : shadow_memory_util.cpp , shadow_memory_util.h
• shadow_memory_log_value_set_match() : shadow_memory_util.cpp , shadow_memory_util.h
• shell_quote() : run.cpp , run.h
• shl_overflow_result() : boolbv_overflow.cpp
• should_init_symbol() : java_entry_point.cpp
• should_use_local_definition_for() : value_set_dereference.cpp
• show_assignment() : counterexample_found.cpp , counterexample_found.h
• 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.cpp , class_hierarchy.h
• show_compact_goto_trace() : goto_trace.cpp
• show_full_goto_trace() : goto_trace.cpp
• show_functions_with_loops() : cprover_parse_options.cpp
• show_goto_functions() : show_goto_functions.h , show_goto_functions.cpp , cprover_parse_options.cpp , show_goto_functions.cpp
• show_goto_stack_trace() : goto_trace.cpp
• show_goto_trace() : goto_trace.cpp , goto_trace.h
• 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.cpp , 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.cpp
• 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_trace() : report_traces.cpp
• show_uninitialized() : uninitialized.h , uninitialized.cpp
• 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
• siglongjmp() : setjmp.c
• sign_of_expr() : cover_instrument_mcdc.cpp
• signal_catcher() : signal_catcher.cpp , signal_catcher.h
• signbit() : math.c
• signed_char_type() : c_types.cpp , c_types.h
• signed_int_type() : c_types.cpp , c_types.h
• 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.h , util.cpp
• signed_short_int_type() : c_types.cpp , c_types.h
• signed_size_type() : c_types.cpp , c_types.h
• sigsetjmp() : setjmp.c
• simple_slice() : slice.cpp , slice.h
• simplify() : simplify_expr.cpp , simplify_expr.h
• simplify_allocate() : simplify_state_expr.cpp
• simplify_cstrlen_expr() : simplify_state_expr.cpp
• simplify_evaluate_allocate_state() : simplify_state_expr.cpp
• simplify_evaluate_deallocate_state() : simplify_state_expr.cpp
• simplify_evaluate_enter_scope_state() : simplify_state_expr.cpp
• simplify_evaluate_exit_scope_state() : simplify_state_expr.cpp
• simplify_evaluate_update() : simplify_state_expr.cpp
• simplify_expr() : simplify_expr.cpp , simplify_expr.h
• simplify_gotos() : utils.cpp , utils.h
• simplify_is_cstring_expr() : simplify_state_expr.cpp
• simplify_is_dynamic_object_expr() : simplify_state_expr.cpp
• simplify_is_sentinel_dll_expr() : simplify_state_expr.cpp
• simplify_json_expr() : json_expr.cpp
• simplify_live_object_expr() : simplify_state_expr.cpp
• simplify_object_expression() : simplify_state_expr.cpp
• simplify_object_expression_rec() : simplify_state_expr.cpp
• simplify_object_size_expr() : simplify_state_expr.cpp
• simplify_ok_expr() : simplify_state_expr.cpp
• simplify_pointer_object_expr() : simplify_state_expr.cpp
• simplify_pointer_offset_expr() : simplify_state_expr.cpp
• simplify_state_expr() : propagate.h , simplify_state_expr.cpp , simplify_state_expr.h
• simplify_state_expr_node() : simplify_state_expr.h , simplify_state_expr.cpp , propagate.h
• 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
• simplify_writeable_object_expr() : simplify_state_expr.cpp
• simplifying_not() : horn_encoding.cpp , state_encoding.cpp
• sin() : math.c
• sinf() : math.c
• sinl() : math.c
• size_of_expr() : pointer_offset_size.cpp , pointer_offset_size.h
• size_type() : c_types.cpp , c_types.h
• skip_loops() : skip_loops.cpp , skip_loops.h
• skip_typecast() : expr_util.cpp , expr_util.h
• slash_to_dot() : java_types.cpp
• sleep() : unistd.c
• slice() : bmc_util.h , slice.h , slice.cpp , bmc_util.cpp
• slice_global_inits() : slice_global_inits.cpp , slice_global_inits.h
• slice_op_to_deref() : dfcc_root_object.cpp
• smt2_format() : smt2_format.h
• smt2_format_rec() : smt2_format.h , 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
• snprintf() : stdio.c
• solver() : smt2_solver.cpp , solver.cpp , solver.h
• 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.h , string_utils.cpp
• sqrt() : math.c
• sqrtf() : math.c
• sqrtl() : math.c
• ssa_step_matches_failing_property() : bmc_util.cpp , bmc_util.h
• sscanf() : stdio.c
• stack_and_not_dirty() : may_alias.cpp , may_alias.h
• stack_depth() : stack_depth.h , stack_depth.cpp
• state_encoding() : state_encoding.cpp , state_encoding.h , horn_encoding.cpp
• state_encoding_solver() : state_encoding.cpp , state_encoding.h
• state_expr() : state.h , horn_encoding.cpp
• state_location() : goto_trace.cpp
• state_predicate_type() : horn_encoding.cpp , state.h
• statement_list_entry_point() : statement_list_entry_point.cpp , statement_list_entry_point.h
• statement_list_typecheck() : statement_list_typecheck.cpp , statement_list_typecheck.h
• 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.cpp , static_show_domain.h
• 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_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
• strcasecmp() : string.c
• strcat() : string.c
• strchr() : string.c
• strcmp() : string.c
• strcpy() : string.c
• strdup() : string.c
• strerror() : string.c
• strftime() : time.c
• strictly_below() : interval_union.cpp
• string2integer() : mp_arith.cpp , mp_arith.h
• string2optional() : string2int.h
• string2optional_base() : string2int.h
• string2optional_int() : string2int.h , string2int.cpp
• string2optional_size_t() : string2int.cpp , string2int.h
• string2optional_unsigned() : string2int.cpp , string2int.h
• string_abstraction() : string_abstraction.cpp , string_abstraction.h
• 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_instrumentation.cpp
• 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.cpp , java_utils.h
• strip_member_element() : may_be_same_object.cpp
• strip_string() : string_utils.h , string_utils.cpp
• strlen() : string.c
• strncasecmp() : string.c
• strncat() : string.c
• strncmp() : string.c
• strncpy() : string.c
• strrchr() : string.c
• strtol() : stdlib.c
• struct_member_ptr_comparison_expr() : constant_pointer_abstract_object.cpp
• substitute() : miniBDD.cpp , miniBDD.h
• substitute_array_access() : string_refinement.cpp , string_refinement.h , string_refinement.cpp
• substitute_array_access_in_place() : string_refinement.cpp
• substitute_array_lists() : string_refinement.cpp , string_refinement.h
• substitute_identifiers() : smt2_incremental_decision_procedure.cpp
• substitute_rec() : wp.cpp
• substitute_symbols() : substitute_symbols.h , substitute_symbols.cpp
• substitute_symbols_rec() : substitute_symbols.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
• swap_map() : dfcc_library.cpp
• switch_to_thread() : symex_main.cpp
• symbol_exists() : dfcc_utils.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
• sysconf() : unistd.c
• syslog() : syslog.c