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

- s -

• S1 : __sindf.c
• s1pio2 : sinf.c
• S2 : __sindf.c
• s2pio2 : sinf.c
• S3 : __sindf.c
• s3pio2 : sinf.c
• S4 : __sindf.c
• s4pio2 : sinf.c
• sa1 : erff.c
• sa2 : erff.c
• sa3 : erff.c
• sa4 : erff.c
• sa5 : erff.c
• sa6 : erff.c
• sa7 : erff.c
• sa8 : erff.c
• sa_family_t : socket.h
• 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
• sb1 : erff.c
• sb2 : erff.c
• sb3 : erff.c
• sb4 : erff.c
• sb5 : erff.c
• sb6 : erff.c
• sb7 : erff.c
• SC_CTOR : sc_module.h
• sc_main : systemc.h
• SC_MODULE : sc_module.h
• sc_out : sc_signal_ports.h
• scalar_kind : numpy_call_expr.cpp, 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
• SCHAR_MAX : limits.h
• SCHAR_MIN : limits.h
• sched_yield() : sched.h
• scope_bindings : converter_symbols.cpp
• 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
• SEEK_CUR : stdio.h, definitions.h
• SEEK_END : stdio.h, definitions.h
• SEEK_SET : stdio.h, definitions.h
• 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
• sensitive : sc_sensitive.h
• set_before_call() : builtins.cpp
• set_claims() : set_claims.cpp, set_claims.h
• set_error_and_return : toml.hpp
• set_error_and_return_default : toml.hpp
• set_error_and_return_if_eof : toml.hpp
• SET_FLOAT_WORD : cprover_libc_sources.cpp, libm.h
• set_handler_exception_id() : clang_cpp_convert.cpp
• SET_HIGH_WORD : cprover_libc_sources.cpp, libm.h
• set_implicit_flag() : migrate.cpp
• set_loop_invariant_options() : command_line_options.cpp
• SET_LOW_WORD : cprover_libc_sources.cpp, libm.h
• 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
• SHARING : irep.h
• SHIFT : exp2f.c, expf.c
• shift_count() : smt_solver.cpp
• short1 : vector_types.h
• short2 : vector_types.h
• short3 : vector_types.h
• short4 : vector_types.h
• 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
• SHRT_MAX : limits.h
• SHRT_MIN : limits.h
• SHUT_RD : socket.h
• SHUT_RDWR : socket.h
• SHUT_WR : socket.h
• shutdown() : socket.h, socket_lib.c
• side_effect_function_call2tc() : migrate.cpp, migrate.h
• sideeffect_allockind : irep2_expr.h
• sig_max_pgroups : filesystem.cpp
• sig_max_tmps : filesystem.cpp
• sig_path_max : filesystem.cpp
• sig_pgroup_count : filesystem.cpp
• sig_pgroups : filesystem.cpp
• sig_tmp_count : filesystem.cpp
• sig_tmp_paths : filesystem.cpp
• SIGINT : definitions.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
• simplification_equivalencet : simplification_equivalence.h
• 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
• single_bits : bigint.cpp
• single_max : bigint.cpp
• sinh() : sinh.c
• size_constant() : smt_solver.cpp
• size_t : stddef.h
• 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
• SKIP : goto_program.h
• 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_BLOCKSIZE : curand_kernel.h
• SKIPAHEAD_MASK : curand_kernel.h
• skipahead_sequence() : curand_kernel.h
• slice_transition_system() : ts_slice.cpp, ts_slice.h
• slot_type() : goto_symex_state.cpp
• small : bigint.cpp
• smt_astt : smt_ast.h
• SMT_FUNC_ADD : smtlib_conv.h
• SMT_FUNC_AND : smtlib_conv.h
• SMT_FUNC_BOOL : smtlib_conv.h
• SMT_FUNC_BV2FLOAT : smtlib_conv.h
• SMT_FUNC_BVADD : smtlib_conv.h
• SMT_FUNC_BVAND : smtlib_conv.h
• SMT_FUNC_BVASHR : smtlib_conv.h
• SMT_FUNC_BVINT : smtlib_conv.h
• SMT_FUNC_BVLSHR : smtlib_conv.h
• SMT_FUNC_BVMUL : smtlib_conv.h
• SMT_FUNC_BVNEG : smtlib_conv.h
• SMT_FUNC_BVNOT : smtlib_conv.h
• SMT_FUNC_BVOR : smtlib_conv.h
• SMT_FUNC_BVSDIV : smtlib_conv.h
• SMT_FUNC_BVSGT : smtlib_conv.h
• SMT_FUNC_BVSGTE : smtlib_conv.h
• SMT_FUNC_BVSHL : smtlib_conv.h
• SMT_FUNC_BVSLT : smtlib_conv.h
• SMT_FUNC_BVSLTE : smtlib_conv.h
• SMT_FUNC_BVSMOD : smtlib_conv.h
• SMT_FUNC_BVSUB : smtlib_conv.h
• SMT_FUNC_BVUDIV : smtlib_conv.h
• SMT_FUNC_BVUGT : smtlib_conv.h
• SMT_FUNC_BVUGTE : smtlib_conv.h
• SMT_FUNC_BVULT : smtlib_conv.h
• SMT_FUNC_BVULTE : smtlib_conv.h
• SMT_FUNC_BVUMOD : smtlib_conv.h
• SMT_FUNC_BVXOR : smtlib_conv.h
• SMT_FUNC_CONCAT : smtlib_conv.h
• SMT_FUNC_DIV : smtlib_conv.h
• SMT_FUNC_EQ : smtlib_conv.h
• SMT_FUNC_EXTRACT : smtlib_conv.h
• SMT_FUNC_FABS : smtlib_conv.h
• SMT_FUNC_FLOAT2BV : smtlib_conv.h
• SMT_FUNC_FNEG : smtlib_conv.h
• SMT_FUNC_GT : smtlib_conv.h
• SMT_FUNC_GTE : smtlib_conv.h
• SMT_FUNC_IEEE_ADD : smtlib_conv.h
• SMT_FUNC_IEEE_DIV : smtlib_conv.h
• SMT_FUNC_IEEE_EQ : smtlib_conv.h
• SMT_FUNC_IEEE_FMA : smtlib_conv.h
• SMT_FUNC_IEEE_MUL : smtlib_conv.h
• SMT_FUNC_IEEE_RM_MI : smtlib_conv.h
• SMT_FUNC_IEEE_RM_NE : smtlib_conv.h
• SMT_FUNC_IEEE_RM_PI : smtlib_conv.h
• SMT_FUNC_IEEE_RM_ZR : smtlib_conv.h
• SMT_FUNC_IEEE_SQRT : smtlib_conv.h
• SMT_FUNC_IEEE_SUB : smtlib_conv.h
• SMT_FUNC_IMPLIES : smtlib_conv.h
• SMT_FUNC_INT : smtlib_conv.h
• SMT_FUNC_INT2REAL : smtlib_conv.h
• SMT_FUNC_IS_INT : smtlib_conv.h
• SMT_FUNC_ISINF : smtlib_conv.h
• SMT_FUNC_ISNAN : smtlib_conv.h
• SMT_FUNC_ISNEG : smtlib_conv.h
• SMT_FUNC_ISNORMAL : smtlib_conv.h
• SMT_FUNC_ISPOS : smtlib_conv.h
• SMT_FUNC_ISZERO : smtlib_conv.h
• SMT_FUNC_ITE : smtlib_conv.h
• smt_func_kind : smtlib_conv.h
• SMT_FUNC_LT : smtlib_conv.h
• SMT_FUNC_LTE : smtlib_conv.h
• SMT_FUNC_MOD : smtlib_conv.h
• SMT_FUNC_MUL : smtlib_conv.h
• smt_func_name_table : smtlib_conv.cpp
• SMT_FUNC_NEG : smtlib_conv.h
• SMT_FUNC_NOT : smtlib_conv.h
• SMT_FUNC_NOTEQ : smtlib_conv.h
• SMT_FUNC_OR : smtlib_conv.h
• SMT_FUNC_REAL : smtlib_conv.h
• SMT_FUNC_REAL2INT : smtlib_conv.h
• SMT_FUNC_SELECT : smtlib_conv.h
• SMT_FUNC_SHL : smtlib_conv.h
• SMT_FUNC_STORE : smtlib_conv.h
• SMT_FUNC_SUB : smtlib_conv.h
• SMT_FUNC_SYMBOL : smtlib_conv.h
• SMT_FUNC_UF : smtlib_conv.h
• SMT_FUNC_XOR : smtlib_conv.h
• smt_resultt : smt_result.h
• SMT_SORT_ARRAY : smt_sort.h
• SMT_SORT_BOOL : smt_sort.h
• SMT_SORT_BV : smt_sort.h
• SMT_SORT_BVFP : smt_sort.h
• SMT_SORT_BVFP_RM : smt_sort.h
• SMT_SORT_FIXEDBV : smt_sort.h
• SMT_SORT_FPBV : smt_sort.h
• SMT_SORT_FPBV_RM : smt_sort.h
• SMT_SORT_INT : smt_sort.h
• smt_sort_kind : smt_sort.h
• SMT_SORT_REAL : smt_sort.h
• SMT_SORT_STRUCT : smt_sort.h
• smt_sortt : smt_sort.h
• smtlib_output : smtlib_conv.cpp
• smtlib_send_start_code : smtlib_conv.cpp
• smtliberror() : smtlib_conv.cpp
• smtlibparse() : smtlib_conv.cpp
• snprintf() : stdio.h
• SO_KEEPALIVE : socket.h
• SO_RCVBUF : socket.h
• SO_REUSEADDR : socket.h
• SO_SNDBUF : socket.h
• SOCK_DGRAM : socket.h
• SOCK_RAW : socket.h
• SOCK_STREAM : socket.h
• socket() : socket.h, socket_lib.c
• socklen_t : socket.h
• sol_builtin_spelling() : solidity_convert_expr.cpp
• SOL_ENUM_TO_STR : solidity_grammar.cpp
• sol_max_cnt : solidity_misc.c
• sol_pow_int() : solidity_builtins.c
• sol_pow_uint() : solidity_builtins.c
• sol_pow_wrap() : solidity_builtins.c
• sol_rev() : solidity_string.c
• SOL_SOCKET : socket.h
• 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
• solver_creator : solve.h
• SosRule : sos_semantics.h
• sound_mode() : st_fb_translator.cpp
• source_path_ptr : toml.hpp
• 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_LIMIT : spinlock.h
• spin_limit : kernel.c
• 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
• SSA_FEATURES : features.h
• sscanf() : stdio.h
• ssize_t : stdio.h
• stable_argsort_of() : numpy_call_expr.cpp
• stack_budget_guardt< Tag >::base : stack_budget.h
• stack_budget_guardt< Tag >::depth : stack_budget.h
• 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
• StatementType : type_utils.h
• states_separation() : contracts.cpp
• static_lifetime_init() : jimple-language.cpp, solidity_convert.h
• stderr : stdio.h
• stdin : stdio.h
• stdout : stdio.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
• streamsize : definitions.h
• 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
• STRTOF_DEF : stdlib.c
• strtok() : string.h, string.c
• strtol() : stdlib.h
• STRTOL_DEF : stdlib.c
• strtold() : stdlib.h
• strtoll() : stdlib.h
• strtoul() : stdlib.h
• STRTOUL_DEF : stdlib.c
• 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
• SubmodulesList : module.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_kind : fallible_calls.h
• 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
• SVE_VEC : clang_c_convert.cpp
• swprintf() : wchar.h, wchar.c
• sym_name_to_symbol() : migrate.cpp
• SYM_SWAP1 : symbol.cpp
• SYM_SWAP2 : symbol.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_listt : symbol.h
• symbol_name_matches() : goto_loop_invariant.cpp
• symbol_renaming_level : irep2_expr.h
• symbolic_chain_bound : goto_symex_state.cpp
• symbolptr_listt : symbol.h
• SYMEX_INVARIANT : symex_invariant.h
• symex_invariant_violated() : symex_invariant.cpp, symex_invariant.h
• symtabt : smt_solver.h
• system() : stdlib.h