- s
: Unify_Blank, Unify_Object, Unify_Structure, Unify_Simple
- sc
: _TYPE, _TQ
- SChar
: constant, basic_type
- sdno
: dominator_info
- serve_again
: UnificationBasedPtr
- SHORT
: basic_type
- Short
: basic_type
- SHORT_ALIGN
: basic_type
- SHORT_SIZE
: basic_type
- Show_memory_leaks
: pointerOptions
- Show_memoryblocks
: pointerOptions
- Show_procedures
: pointerOptions
- Show_stack
: pointerOptions
- Show_Unification
: pointerOptions
- Show_unknown_procedures
: pointerOptions
- showErrors
: semcheck_walker
- ShowPreprocess
: CBZ
- SIGNED
: basic_type
- Signed
: basic_type
- simple
: UnifyType
- SInt
: constant, basic_type
- size
: UnifyType, Unify_Size, Unify_Pendings, procedureDB, memoryModel, Bits, basic_type, suespecNode, arrayNode, dominator_info
- Skip_procs
: pointerOptions
- Slice_analysis
: pointerOptions
- SLong
: constant, basic_type
- SLongLong
: basic_type
- SShort
: constant, basic_type
- statement
: FSKey
- stmt_count
: Location
- Str
: constant
- strings
: vcgWalker, NodeInfo
- structure
: UnifyType
|