Here is a list of all functions with links to the files they belong to:

- s -

• same_c_type() : c_typecast.cpp
• same_class() : python_builtins.cpp
• same_function_pointer_ignoring_argument_names() : irep2_utils.h
• same_object() : gcse.cpp
• same_pointer() : irep2.h
• same_pointer_ignoring_vla_sizes() : dereference.cpp
• same_position_and_text() : property_report.cpp
• same_slot() : converter_class.cpp
• same_type_ignoring_vla_sizes() : dereference.cpp
• same_value_and_sign() : expr_simplifier.cpp
• sarif_dead_code() : sarif.cpp, sarif.h
• sarif_goto_trace() : sarif.cpp, sarif.h
• scalar_kind() : dict_access.cpp
• scalar_kind_to_dtype() : numpy_call_expr.cpp
• scaled_hypot() : hypot.c
• scan_budget() : st_fb_translator.cpp
• scan_list_uses() : builder.cpp
• scan_name_use() : builder.cpp
• scan_pp_directives() : nested_func_transform.cpp
• scan_store_target() : builder.cpp
• scan_tracked_use() : builder.cpp
• scanf() : stdio.h
• scanf_conversions() : io.cpp
• sched_yield() : sched.h
• scope_walk() : nested_func_transform.cpp
• search_key() : pthread_lib.c
• searchCudaDevice() : cuda_runtime_api.h
• searchsorted_position() : numpy_call_expr.cpp
• seeds_class_attributes() : converter_class.cpp
• segfault_handler() : command_line_options.cpp
• select() : select.h, socket_lib.c
• select_chain_root() : smt_solver.cpp
• select_clause_calls() : contracts.cpp
• selects_flattened_dimension() : smt_solver.cpp
• self_ctor_arg_type() : converter_class.cpp
• self_struct() : converter_class.cpp
• selfdestruct() : solidity_builtins.c
• sem_close() : semaphore.h
• sem_destroy() : semaphore.h, semaphore_lib.c
• sem_getvalue() : semaphore.h
• sem_init() : semaphore.h, semaphore_lib.c
• sem_init_check() : semaphore_lib.c
• sem_open() : semaphore.h
• sem_post() : semaphore.h, semaphore_lib.c
• sem_trywait() : semaphore.h
• sem_unlink() : semaphore.h
• sem_wait() : semaphore.h
• sem_wait_check() : semaphore_lib.c
• sem_wait_nocheck() : semaphore_lib.c
• send() : socket.h, socket_lib.c
• sendto() : socket.h, socket_lib.c
• set_before_call() : builtins.cpp
• set_claims() : set_claims.cpp, set_claims.h
• set_handler_exception_id() : clang_cpp_convert.cpp
• set_implicit_flag() : migrate.cpp
• set_loop_invariant_options() : command_line_options.cpp
• set_model_global() : process_goto_program.cpp
• set_object_alignment() : read_cbmc_goto_object.cpp
• set_python_aggregate_kind() : python_types.cpp, python_types.h
• set_symbol_type() : migrate.cpp, migrate.h
• set_tmp_dir_var() : filesystem.cpp
• setbuf() : stdio.h
• setjmp() : setjmp.c
• setlocale() : locale.c
• setsockopt() : socket.h, socket_lib.c
• settimeofday() : time.h
• setup_cpp_defs() : c_preprocess.cpp
• setvbuf() : stdio.h
• sha256() : solidity_crypto.c
• shadow_key() : ld_converter.cpp
• shape_text() : converter_binop.cpp
• shaped_type() : converter_binop.cpp
• shared_section() : plcopen_xml_parser.cpp
• shift_count() : smt_solver.cpp
• should_add_clause_instruction() : contracts.cpp
• should_fallback_to_numpy_model() : numpy_call_expr.cpp
• show_claims() : show_claims.cpp, show_claims.h
• show_goto_trace() : goto_trace.cpp, goto_trace.h
• show_goto_trace_gui() : goto_trace.cpp, goto_trace.h
• show_loop_numbers() : loop_numbers.cpp, loop_numbers.h
• show_simplified_location() : goto_trace.cpp, goto_trace.h
• show_state_header() : goto_trace.cpp
• show_symbol_table_plain() : show_symbol_table.cpp, show_symbol_table.h
• show_symbol_table_xml_ui() : show_symbol_table.cpp
• show_value_sets() : show_value_sets.cpp, show_value_sets.h
• shutdown() : socket.h, socket_lib.c
• side_effect_function_call2tc() : migrate.cpp, migrate.h
• sigmoidFunction() : cudnn.h
• signal_catcher() : signal_catcher.cpp, signal_catcher.h
• signal_safe_write() : signal_catcher.cpp, signal_catcher.h
• signed_2_signed_max_truncate() : bitwise_bounds.h
• signed_2_signed_min_truncate() : bitwise_bounds.h
• signed_2_unsigned_max_extend() : bitwise_bounds.h
• signed_2_unsigned_max_truncate() : bitwise_bounds.h
• signed_2_unsigned_min_extend() : bitwise_bounds.h
• signed_2_unsigned_min_truncate() : bitwise_bounds.h
• signed_char_type() : c_types.cpp, c_types.h
• signed_max_and() : bitwise_bounds.h
• signed_max_left_shift() : bitwise_bounds.h
• signed_max_not() : bitwise_bounds.h
• signed_max_or() : bitwise_bounds.h
• signed_max_right_shift() : bitwise_bounds.h
• signed_max_xor() : bitwise_bounds.h
• signed_min_and() : bitwise_bounds.h
• signed_min_left_shift() : bitwise_bounds.h
• signed_min_not() : bitwise_bounds.h
• signed_min_or() : bitwise_bounds.h
• signed_min_right_shift() : bitwise_bounds.h
• signed_min_xor() : bitwise_bounds.h
• signed_short_int_type() : c_types.cpp, c_types.h
• signed_size_type() : c_types.cpp, c_types.h
• signed_size_type2() : c_types.cpp, c_types.h
• simple_shell_unescape() : cmdline.cpp
• simplify() : irep2_utils.h
• simplify_add_bv_identities() : expr_simplifier.cpp
• simplify_arith_1op() : expr_simplifier.cpp
• simplify_arith_2ops() : expr_simplifier.cpp
• simplify_associative_binary_op() : expr_simplifier.cpp
• simplify_constant_relation() : expr_simplifier.cpp
• simplify_floatbv_1op() : expr_simplifier.cpp
• simplify_floatbv_2ops() : expr_simplifier.cpp
• simplify_floatbv_relations() : expr_simplifier.cpp
• simplify_logic_2ops() : expr_simplifier.cpp
• simplify_no_reassoc() : expr_reassociate.cpp, expr_reassociate.h
• simplify_object() : expr_simplifier.cpp
• simplify_pointer_add_const() : expr_simplifier.cpp
• simplify_pointer_cmp() : expr_simplifier.cpp
• simplify_relations() : expr_simplifier.cpp
• simplify_via_irep2() : builtin_functions.cpp
• sin() : sin.c
• sinf() : sinf.c
• single_assigned_value() : converter_funcdef.cpp
• sinh() : sinh.c
• size_constant() : smt_solver.cpp
• size_to_bit_width() : smt_solver.cpp
• size_type() : c_types.cpp, c_types.h
• size_type2() : c_types.cpp, c_types.h
• sizeof_measured_type() : builtin_functions.cpp
• sizes_target_by_first_argument() : converter_funcdef.cpp
• skip2t_without_location() : jimple_expr.cpp
• skip_inductive_preamble() : interval_analysis.cpp
• skip_paren_group() : neurosym_conv.cpp
• skip_pointee_havoc() : contracts.cpp
• skip_property_classes() : goto_program.cpp
• skip_ws() : nested_func_transform.cpp, neurosym_conv.cpp
• skip_ws_back() : nested_func_transform.cpp
• skipahead() : curand_kernel.h
• skipahead_sequence() : curand_kernel.h
• slice_transition_system() : ts_slice.cpp, ts_slice.h
• slot_type() : goto_symex_state.cpp
• smtliberror() : smtlib_conv.cpp
• smtlibparse() : smtlib_conv.cpp
• snprintf() : stdio.h
• socket() : socket.h, socket_lib.c
• sol_builtin_spelling() : solidity_convert_expr.cpp
• sol_pow_int() : solidity_builtins.c
• sol_pow_uint() : solidity_builtins.c
• sol_pow_wrap() : solidity_builtins.c
• sol_rev() : solidity_string.c
• sole_local_numpy_literal() : converter_funcdef.cpp
• sole_module_binding() : converter_expr.cpp
• sole_object_owner() : converter_compare.cpp
• solidity_gen_typecast() : typecast.cpp, typecast.h
• solidity_skips_overflow_check() : goto_check.cpp
• solve_linear_system() : numpy_call_expr.cpp
• solve_radius() : numpy_call_expr.cpp
• sound_mode() : st_fb_translator.cpp
• source_position() : converter_symbols.cpp
• sources_to_cmake_list() : ctest.cpp
• spans_bytes() : memory_ops.cpp
• spawns_threads() : goto_function.cpp, goto_functions.h
• spelling_of() : nested_func_transform.cpp
• spin_lock() : spinlock.h, kernel.c
• spin_lock_init() : spinlock.h, kernel.c
• spin_unlock() : spinlock.h, kernel.c
• splice_expr() : migrate.cpp
• split() : module_manager.cpp
• split_phi() : goto_symex_state.cpp
• sprintf() : stdio.h
• square_layout() : converter_funcdef.cpp
• squeeze_view_axes() : numpy_call_expr.cpp
• srand() : stdlib.h
• srandom() : stdlib.h
• src_flag_of() : dereference.cpp
• ssa_cone_digest() : fingerprint.cpp, fingerprint.h
• ssa_cone_key() : fingerprint.cpp, fingerprint.h
• ssa_cone_key_string() : fingerprint.cpp, fingerprint.h
• ssa_cone_size() : fingerprint.cpp, fingerprint.h
• sscanf() : stdio.h
• stable_argsort_of() : numpy_call_expr.cpp
• stack_size_claim() : symex_stack.cpp
• stale_symbol_type() : goto_convert_functions.cpp
• stamp_ternary_locations() : goto_convert_functions.cpp
• stamp_value_locations() : goto_convert_functions.cpp
• statement_binds_integer() : converter_funcdef.cpp
• statement_level_call() : converter_funcdef.cpp
• statement_location() : clang_c_adjust_irep2.cpp, goto_convert_functions.cpp
• states_separation() : contracts.cpp
• static_lifetime_init() : jimple-language.cpp, solidity_convert.h
• step_monitor_at_sample_points() : property_monitors.cpp
• steps_every_scan() : plcopen_xml_parser.cpp
• store_call_result_via_local() : add_race_assertions.cpp
• store_library_symbol() : cprover_library.cpp
• stored_exactly() : converter_expr.cpp
• stored_member_type() : converter_expr.cpp
• stores_call_result_in_shared() : add_race_assertions.cpp
• str2uint() : solidity_string.c
• strategy_owns_property_table() : bmc.cpp
• strcasecmp() : strings.c
• strcat() : string.h, string.c
• strchr() : string.h, string.c
• strcmp() : string.h, string.c
• strcoll() : string.h
• strcpy() : string.h, string.c
• strcspn() : string.h, string.c
• strdup() : string.h, string.c
• strerror() : string.h, syserr.c
• strftime() : time.h, time.c
• string2array() : string2array.cpp, string2array.h
• string2integer() : mp_arith.cpp, mp_arith.h
• string_annotation_type() : module_manager.cpp
• string_concat() : solidity_string.c
• string_literal() : expr.cpp
• strip_om_suffix() : fallible_calls.cpp
• strip_spaces() : solidity_convert_call.cpp
• strip_typecasts() : clang_c_adjust_expr.cpp, frame_enforcer.cpp, irep2_utils.cpp
• strlcat() : stdlib.c
• strlen() : string.h, string.c
• strncasecmp() : strings.c
• strncat() : string.h, string.c
• strncmp() : string.h, string.c
• strncpy() : string.h, string.c
• strndup() : string.h, string.c
• strnlen() : string.c
• strpbrk() : string.h, string.c
• strptime() : time.h, time.c
• strrchr() : string.h, string.c
• strsep() : string.h, string.c
• strspn() : string.h, string.c
• strstr() : string.h, string.c
• strtod() : stdlib.h
• strtof() : stdlib.h
• strtok() : string.h, string.c
• strtol() : stdlib.h
• strtold() : stdlib.h
• strtoll() : stdlib.h
• strtoul() : stdlib.h
• strtoull() : stdlib.h
• struct_bases() : migrate.cpp
• struct_union_get_component_number() : irep2_type.cpp, irep2_type.h
• struct_union_member_names() : irep2_type.cpp, irep2_type.h
• struct_union_members() : irep2_type.cpp, irep2_type.h
• struct_union_name() : irep2_type.cpp, irep2_type.h
• struct_union_packed() : irep2_type.cpp, irep2_type.h
• structurally_singular() : numpy_call_expr.cpp
• strxfrm() : string.h
• subscript_offset_in_units() : expr_simplifier.cpp
• subscript_result_type() : annotation_conversion.inl
• subscript_root() : converter_funcall.cpp
• substitute_frame_size() : contracts.cpp
• substitute_result() : witness.cpp
• substitutes_in_eval_order() : goto_sideeffects.cpp
• subtract() : umath.c
• subtract_double() : umath.c
• success_predicate() : fallible_calls.cpp, fallible_calls.h
• summarize_code() : goto_sideeffects.cpp
• summary_apply_effect() : goto_sideeffects.cpp
• summary_eval() : goto_sideeffects.cpp
• super_start_class() : builder.cpp
• swprintf() : wchar.h, wchar.c
• sym_name_to_symbol() : migrate.cpp
• sym_to_expr2tc() : assign_params_as_non_det.cpp
• symbol_before_sideeffects() : goto_sideeffects.cpp
• symbol_expr() : expr_util.cpp, expr_util.h
• symbol_expr2tc() : migrate.cpp, migrate.h
• symbol_is_own_object() : expr_simplifier.cpp
• symbol_name_matches() : goto_loop_invariant.cpp
• symex_invariant_violated() : symex_invariant.cpp, symex_invariant.h
• system() : stdlib.h