- s -

• SCOPE_SEPARATOR : expr2statement_list.cpp
• SHADOW_MEMORY_FIELD_DECL : shadow_memory.h
• SHADOW_MEMORY_GET_FIELD : shadow_memory.h
• SHADOW_MEMORY_GLOBAL_SCOPE : shadow_memory.h
• SHADOW_MEMORY_LOCAL_SCOPE : shadow_memory.h
• SHADOW_MEMORY_PREFIX : shadow_memory.h
• SHADOW_MEMORY_SET_FIELD : shadow_memory.h
• SHADOW_MEMORY_SYMBOL_PREFIX : shadow_memory.h
• SHARING : irep.h
• SHARING_MAPT : sharing_map.h
• SHARING_MAPT2 : sharing_map.h
• SHARING_MAPT3 : sharing_map.h
• SHARING_MAPT4 : sharing_map.h
• SHARING_MAPTV : sharing_map.h
• SINCE : deprecate.h
• size_type : unistd.c
• SM_ASSERT : sharing_map.h
• SMT2_TODO : smt2_conv.cpp
• SN_ASSERT : sharing_node.h
• SN_ASSERT_USE : sharing_node.h
• SN_PTR_TYPE_ARGS : sharing_node.h
• SN_SHARE_KEYS : sharing_node.h
• SN_SMALL_MAP : sharing_node.h
• SN_TYPE_ARGS : sharing_node.h
• SN_TYPE_PAR_DECL : sharing_node.h
• SN_TYPE_PAR_DEF : sharing_node.h
• sop0 : cegis.c
• sop1 : cegis.c
• sop2 : cegis.c
• SORT_ID : smt_sorts.cpp , smt_sorts.h
• stack_expr : parser.h
• stack_type : parser.h
• STATEMENT_LIST_PTR_WIDTH : statement_list_typecheck.cpp
• STL_DINT_MAX_VALUE : convert_dint_literal.cpp
• STL_DINT_MIN_VALUE : convert_dint_literal.cpp
• STL_DINT_WIDTH : statement_list_types.h
• STL_INT_MAX_VALUE : convert_int_literal.cpp
• STL_INT_MIN_VALUE : convert_int_literal.cpp
• STL_INT_WIDTH : statement_list_types.h
• string_refinement_invariantt : string_refinement_invariant.h
• SYM_SWAP1 : symbol.cpp
• SYM_SWAP2 : symbol.cpp
• SYMEX_DYNAMIC_PREFIX : pointer_predicates.h
• SYMTAB2GB_OPTIONS : symtab2gb_parse_options.h
• SYMTAB2GB_OUT_FILE_OPT : symtab2gb_parse_options.h