tokstyle

Index

>+>Tokstyle.Common
accBufferTokstyle.C.Analysis.Access
accByTokstyle.C.Analysis.Access
accConstTokstyle.C.Analysis.Access
Access 
1 (Type/Class)Tokstyle.C.Analysis.Access
2 (Data Constructor)Tokstyle.C.Analysis.Access
AccessByTokstyle.C.Analysis.Access
accessesTokstyle.C.Analysis.Access
AccessPathTokstyle.Analysis.AccessPath
accessPathTokstyle.Cimple.Analysis.Functions
accTermsTokstyle.C.Analysis.Access
addConstraintTokstyle.Analysis.Symbolic
AliasDescrTokstyle.Common.TypeSystem
allocators 
1 (Function)Tokstyle.C.Analysis.Known
2 (Function)Tokstyle.Cimple.Analysis.Functions
allWarnings 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
analyse 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
AnalysedTokstyle.C.Analysis.Program
analysedTokstyle.C.Env
analysedFunctionsTokstyle.C.IntervalLinter
analysedWithTokstyle.C.Analysis.Program
analyseEnumsTokstyle.Common.EnumLinter
analyseGlobalTokstyle.Linter
analyseGlobalTextTokstyle.Linter
analyseLocalTokstyle.Linter
analyseLocalTextTokstyle.Linter
analyseProgramTokstyle.C.Linter
analyseStructsTokstyle.Common.StructLinter
analyseText 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
AnsiStyleTokstyle.C.Linter
anySumTokstyle.C.Analysis.Interval
AnythingTokstyle.Cimple.Analysis.FunctionPointers
ArithTokstyle.C.Analysis.Interval
ArrayTokstyle.Common.TypeSystem
ArrayTypeSizeTokstyle.C.Patterns
assignTokstyle.Analysis.Symbolic
assignmentsTokstyle.Cimple.Analysis.Functions
assumeTokstyle.C.Analysis.Interval
AstActions 
1 (Type/Class)Tokstyle.C.TraverseAst
2 (Data Constructor)Tokstyle.C.TraverseAst
astActionsTokstyle.C.TraverseAst
atMostTokstyle.C.Analysis.Interval
backticks 
1 (Function)Tokstyle.C.TravUtils
2 (Function)Tokstyle.Common
bareTokstyle.Cimple.Analysis.Functions, Tokstyle.Cimple.Analysis.Types
BoolShapeTokstyle.Cimple.Analysis.Functions
BoolTyTokstyle.Common.TypeSystem
bottomUpTokstyle.Cimple.Analysis.Functions
bracketUserStateTokstyle.C.Env
BranchNode 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
branchOnTokstyle.Cimple.Analysis.Functions
builtinTokstyle.Common.TypeSystem
BuiltinTypeTokstyle.Common.TypeSystem
ByCallTokstyle.C.Analysis.Access
ByElementTokstyle.C.Analysis.Access
CallbackSlot 
1 (Type/Class)Tokstyle.C.ObjectSystem
2 (Data Constructor)Tokstyle.C.ObjectSystem
callbackTypeTokstyle.Cimple.Analysis.Types
calleeLexemeTokstyle.Cimple.Analysis.Functions
calleesTokstyle.Cimple.Analysis.Functions
CallFactTokstyle.C.Analysis.Interval
callTargetsTokstyle.Cimple.Analysis.FunctionPointers
canBeNullTokstyle.Analysis.Symbolic
canWrapTokstyle.C.Analysis.Interval
CaseBranch 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
CFG 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Type/Class)Tokstyle.Cimple.Analysis.CFG
changedNamesTokstyle.C.Analysis.Access
CharTyTokstyle.Common.TypeSystem
collectTokstyle.Common.TypeSystem
collectTypesTokstyle.Common.TypeSystem
ConstTokstyle.Common.TypeSystem
constantSumTokstyle.C.Analysis.Interval
constNameTokstyle.Cimple.Analysis.Functions
ConstraintTokstyle.Analysis.Symbolic
constraintsTokstyle.Analysis.Symbolic
convertTokstyle.C.Analysis.Interval
CPosition 
1 (Type/Class)Tokstyle.C.Env
2 (Data Constructor)Tokstyle.C.Env
ctxTokstyle.C.Env
currentFlagTokstyle.C.Env
Dataflow 
1 (Type/Class)Tokstyle.Analysis.Dataflow
2 (Data Constructor)Tokstyle.Analysis.Dataflow
debuggingTokstyle.Common.TypeSystem
DeclNodeTokstyle.C.Analysis.CFG
DefaultBranch 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
defaultEnvTokstyle.C.Env
definitionsTokstyle.Cimple.Analysis.Functions
dependsOnTokstyle.C.Analysis.Interval
descr 
1 (Function)Tokstyle.C.Linter.SilentFree
2 (Function)Tokstyle.C.Linter.Memzero
3 (Function)Tokstyle.C.Linter.BorrowCheck
4 (Function)Tokstyle.C.Linter.Wraparound
5 (Function)Tokstyle.C.Linter.BufferSize
6 (Function)Tokstyle.C.Linter.VoidCall
7 (Function)Tokstyle.C.Linter.StrictTypedef
8 (Function)Tokstyle.C.Linter.SizeofTarget
9 (Function)Tokstyle.C.Linter.Sizeof
10 (Function)Tokstyle.C.Linter.SizeArg
11 (Function)Tokstyle.C.Linter.Memset
12 (Function)Tokstyle.C.Linter.Memcpy
13 (Function)Tokstyle.C.Linter.Conversion
14 (Function)Tokstyle.C.Linter.Cast
15 (Function)Tokstyle.C.Linter.CallbackParams
16 (Function)Tokstyle.C.Linter.CallbackDiscipline
17 (Function)Tokstyle.C.Linter.CallbackData
18 (Function)Tokstyle.C.Linter.BoolConversion
19 (Function)Tokstyle.Linter.Assert
20 (Function)Tokstyle.Linter.BooleanReturn
21 (Function)Tokstyle.Linter.Booleans
22 (Function)Tokstyle.Linter.CallbackNames
23 (Function)Tokstyle.Linter.Callgraph
24 (Function)Tokstyle.Linter.CallocArgs
25 (Function)Tokstyle.Linter.CallocType
26 (Function)Tokstyle.Linter.CompoundInit
27 (Function)Tokstyle.Linter.Constness
28 (Function)Tokstyle.Linter.DanglingField
29 (Function)Tokstyle.Linter.DeclaredOnce
30 (Function)Tokstyle.Linter.DeclsHaveDefns
31 (Function)Tokstyle.Linter.DocComments
32 (Function)Tokstyle.Linter.EnumDefines
33 (Function)Tokstyle.Linter.EnumNames
34 (Function)Tokstyle.Linter.FuncPrototypes
35 (Function)Tokstyle.Linter.FuncScopes
36 (Function)Tokstyle.Linter.GlobalFuncs
37 (Function)Tokstyle.Linter.LoggerCalls
38 (Function)Tokstyle.Linter.LoggerConst
39 (Function)Tokstyle.Linter.LoggerNoEscapes
40 (Function)Tokstyle.Linter.MallocCall
41 (Function)Tokstyle.Linter.MallocType
42 (Function)Tokstyle.Linter.MemcpyStructs
43 (Function)Tokstyle.Linter.MemoryLifetime
44 (Function)Tokstyle.Linter.Nesting
45 (Function)Tokstyle.Linter.NulTerminated
46 (Function)Tokstyle.Linter.Nullability
47 (Function)Tokstyle.Linter.OwnershipDecls
48 (Function)Tokstyle.Linter.Parens
49 (Function)Tokstyle.Linter.PartialFailure
50 (Function)Tokstyle.Linter.SwitchIf
51 (Function)Tokstyle.Linter.TaggedUnion
52 (Function)Tokstyle.Linter.TypeCheck
53 (Function)Tokstyle.Linter.TypedefName
54 (Function)Tokstyle.Linter.UnboundedGrowth
55 (Function)Tokstyle.Linter.UnsafeFunc
56 (Function)Tokstyle.Linter.VarUnusedInScope
57 (Function)Tokstyle.SemFmt.EnumFromInt
58 (Function)Tokstyle.SemFmt.EnumToString
59 (Function)Tokstyle.SemFmt.EnumUnpack
60 (Function)Tokstyle.SemFmt.StructPack
destroyedTokstyle.Cimple.Analysis.Destructors
DestructorsTokstyle.Cimple.Analysis.Destructors
destructorsTokstyle.Cimple.Analysis.Destructors
DiagnosticLevelTokstyle.C.Env, Tokstyle.C.Linter
DiagnosticSpan 
1 (Type/Class)Tokstyle.C.Env
2 (Data Constructor)Tokstyle.C.Env
diagToTextTokstyle.C.Linter, Tokstyle.Linter
discoverObjectTypesTokstyle.C.ObjectSystem
doBlockItemTokstyle.C.TraverseAst
doBlockItemsTokstyle.C.TraverseAst
DocTokstyle.C.Linter
doConstTokstyle.C.TraverseAst
doDeclTokstyle.C.TraverseAst
doDeclsTokstyle.C.TraverseAst
doExprTokstyle.C.TraverseAst
doExprsTokstyle.C.TraverseAst
doGlobalDeclsTokstyle.C.TraverseAst
doIdentDeclTokstyle.C.TraverseAst
doInitTokstyle.C.TraverseAst
doStatTokstyle.C.TraverseAst
doStatsTokstyle.C.TraverseAst
dquotes 
1 (Function)Tokstyle.C.TravUtils
2 (Function)Tokstyle.Common
dtraceTokstyle.Common.TypeSystem
Edge 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Type/Class)Tokstyle.Cimple.Analysis.CFG
edgeTransferTokstyle.Analysis.Dataflow
EdgeType 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Type/Class)Tokstyle.Cimple.Analysis.CFG
effectsTokstyle.C.Analysis.Interval
emptyProgramTokstyle.C.Analysis.Interval
emptyStateTokstyle.Analysis.Symbolic
endsPathTokstyle.C.Analysis.CFG
EntryNode 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
EnumDescrTokstyle.Common.TypeSystem
EnumInfo 
1 (Type/Class)Tokstyle.Common.EnumLinter
2 (Data Constructor)Tokstyle.Common.EnumLinter
EnumMemTokstyle.Common.TypeSystem
enumMembersTokstyle.Common.EnumLinter
enumNameTokstyle.Common.EnumLinter
EnumRefTokstyle.Common.TypeSystem
Env 
1 (Type/Class)Tokstyle.C.Env
2 (Data Constructor)Tokstyle.C.Env
ErrorLevelTokstyle.C.Env, Tokstyle.C.Linter
evalTokstyle.C.Analysis.Interval
exactSumTokstyle.C.Analysis.Interval
ExitNode 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
exprChildrenTokstyle.C.Analysis.Syntax
exprDocTokstyle.C.IntervalLinter
ExprNodeTokstyle.C.Analysis.CFG
exprTypeTokstyle.C.Analysis.Types
ExternalTypeTokstyle.Common.TypeSystem
F32TyTokstyle.Common.TypeSystem
F64TyTokstyle.Common.TypeSystem
FactTokstyle.C.Analysis.Interval
Facts 
1 (Type/Class)Tokstyle.C.Analysis.Interval
2 (Data Constructor)Tokstyle.C.Analysis.Interval
factsBackEdgeTokstyle.C.Analysis.Interval
factsChangesTokstyle.C.Analysis.Interval
factsDiffsTokstyle.C.Analysis.Interval
factsValuesTokstyle.C.Analysis.Interval
FailureTokstyle.Cimple.Analysis.Functions
FalseBranch 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
FieldFactTokstyle.C.Analysis.Interval
FieldKey 
1 (Type/Class)Tokstyle.C.Analysis.Types
2 (Type/Class)Tokstyle.Cimple.Analysis.FunctionPointers
fieldKeyTokstyle.C.Analysis.Types
FieldTargetsTokstyle.Cimple.Analysis.FunctionPointers
fieldTargetsTokstyle.Cimple.Analysis.FunctionPointers
flagHoldsTokstyle.Cimple.Analysis.Functions
fnDefnTokstyle.Cimple.Analysis.Functions
fnFileTokstyle.Cimple.Analysis.Functions
fnNameTokstyle.Cimple.Analysis.Functions
fnParamsTokstyle.Cimple.Analysis.Functions
fnShapeTokstyle.Cimple.Analysis.Functions
foldArrayTokstyle.Common.TypeSystem
freersTokstyle.Cimple.Analysis.Functions
fromFunctionTokstyle.Cimple.Analysis.CFG
fromFunDefTokstyle.C.Analysis.CFG
FuncDescrTokstyle.Common.TypeSystem
FuncRefTokstyle.Common.TypeSystem
Function 
1 (Type/Class)Tokstyle.C.Analysis.Interval
2 (Type/Class)Tokstyle.Cimple.Analysis.Functions
3 (Data Constructor)Tokstyle.Cimple.Analysis.Functions
4 (Data Constructor)Tokstyle.Common.TypeSystem
functionNameTokstyle.Common
FunDeclParamsTokstyle.C.Patterns
funKeyTokstyle.C.Analysis.Types
FunPtrParamsTokstyle.C.Patterns
funTypeTokstyle.C.Analysis.Types
getCtxTokstyle.C.Env
getFuncNameTokstyle.Cimple.Analysis.CFG
getJustTokstyle.C.TravUtils
getRetTyTokstyle.C.Env
getTypeRefNameTokstyle.Common.TypeSystem
globalDeclsTokstyle.C.Env
harmlessTokstyle.C.Analysis.Known
HelpLevelTokstyle.C.Env, Tokstyle.C.Linter
hiTokstyle.C.Analysis.Interval
IdShapeTokstyle.Cimple.Analysis.Functions
inferredTypesTokstyle.C.Env
initExprsTokstyle.C.Analysis.Syntax
initialTokstyle.Analysis.Dataflow
insertTokstyle.Common.TypeSystem
IntDescrTokstyle.Common.TypeSystem
IntLitTokstyle.Common.TypeSystem
intLitTokstyle.Cimple.Analysis.Functions
IntRefTokstyle.Common.TypeSystem
IntTy 
1 (Type/Class)Tokstyle.C.Analysis.Interval
2 (Data Constructor)Tokstyle.C.Analysis.Interval
intTyTokstyle.C.Analysis.Interval
intTypeTokstyle.C.Analysis.Interval
isCallbackMemberTokstyle.C.ObjectSystem
isEnumTokstyle.C.Patterns
isEnumConstTokstyle.Cimple.Analysis.Functions
isFloatingTokstyle.C.Patterns
isFuncPtrTokstyle.C.ObjectSystem
isIntegralTokstyle.C.Patterns
isNullLitTokstyle.Cimple.Analysis.Functions
isNumericTokstyle.C.Patterns
isPathPrefixOfTokstyle.Analysis.AccessPath
isPointerTokstyle.Common
isPublicHeaderTokstyle.Common
isUserdataMemberTokstyle.C.ObjectSystem
libraryReachesTokstyle.C.Analysis.Known
linConstTokstyle.C.Analysis.Interval
Linear 
1 (Type/Class)Tokstyle.C.Analysis.Interval
2 (Data Constructor)Tokstyle.C.Analysis.Interval
linPathsTokstyle.C.Analysis.Interval
LinterErrorTokstyle.C.Env, Tokstyle.C.Linter
linterErrorsTokstyle.C.Env
Liveness 
1 (Type/Class)Tokstyle.C.Analysis.Liveness
2 (Type/Class)Tokstyle.Cimple.Analysis.Liveness
liveness 
1 (Function)Tokstyle.C.Analysis.Liveness
2 (Function)Tokstyle.Cimple.Analysis.Liveness
livenessProblemTokstyle.Cimple.Analysis.Liveness
loTokstyle.C.Analysis.Interval
localDecls 
1 (Function)Tokstyle.C.Analysis.Syntax
2 (Function)Tokstyle.Cimple.Analysis.Functions
localsOfTokstyle.C.Env
looksAt 
1 (Function)Tokstyle.C.Linter.Wraparound
2 (Function)Tokstyle.C.Linter.BufferSize
lookupStoreTokstyle.Analysis.Symbolic
lookupTypeTokstyle.Common.TypeSystem
mainTypedefsTokstyle.C.Env
mapRootTokstyle.Cimple.Analysis.Functions
markdown 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
merge 
1 (Function)Tokstyle.Analysis.Dataflow
2 (Function)Tokstyle.Analysis.Symbolic
MkFunBody 
1 (Type/Class)Tokstyle.Common.EnumLinter
2 (Type/Class)Tokstyle.Common.StructLinter
mkLAt 
1 (Function)Tokstyle.Common.EnumLinter
2 (Function)Tokstyle.Common.StructLinter
NameLitTokstyle.Common.TypeSystem
negateConstraintTokstyle.Analysis.Symbolic
Node 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.C.Analysis.CFG
3 (Type/Class)Tokstyle.Cimple.Analysis.CFG
4 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
nodeExprsTokstyle.Cimple.Analysis.Functions
NodeKind 
1 (Type/Class)Tokstyle.C.Analysis.CFG
2 (Type/Class)Tokstyle.Cimple.Analysis.CFG
NonnullTokstyle.Common.TypeSystem
noReturnTokstyle.C.Analysis.Known
normaliseTokstyle.C.Analysis.Interval
NoShapeTokstyle.Cimple.Analysis.Functions
NoteLevelTokstyle.C.Env, Tokstyle.C.Linter
NullableTokstyle.Common.TypeSystem
nullTestTokstyle.Cimple.Analysis.Functions
objCallbacksTokstyle.C.ObjectSystem
ObjectInfo 
1 (Type/Class)Tokstyle.C.ObjectSystem
2 (Data Constructor)Tokstyle.C.ObjectSystem
objUserdataTokstyle.C.ObjectSystem
observeTokstyle.C.Analysis.Program
ObservedTokstyle.C.Analysis.Program
OnlyTokstyle.Cimple.Analysis.FunctionPointers
OriginTokstyle.C.Analysis.Interval
originTokstyle.C.Analysis.Interval
OutcomeTokstyle.Cimple.Analysis.Functions
OverflowedTokstyle.C.Analysis.Interval
OwnerTokstyle.Common.TypeSystem
ParamNameTokstyle.C.Patterns
paramsTokstyle.C.Env
ParamTypeTokstyle.C.Patterns
pathDepthTokstyle.Analysis.AccessPath
PathDerefTokstyle.Analysis.AccessPath
PathFieldTokstyle.Analysis.AccessPath
PathIndexTokstyle.Analysis.AccessPath
PathParamTokstyle.Analysis.AccessPath
PathReturnTokstyle.Analysis.AccessPath
pathSumTokstyle.C.Analysis.Interval
PathVarTokstyle.Analysis.AccessPath
pendingLocalsTokstyle.C.Env
PlainTokstyle.C.Analysis.Interval
plusTokstyle.C.Analysis.Interval
PointerTokstyle.Common.TypeSystem
popCtxTokstyle.C.Env
posAndLenTokstyle.C.Env
progFieldsTokstyle.C.Analysis.Interval
progParamsTokstyle.C.Analysis.Interval
Program 
1 (Type/Class)Tokstyle.C.Analysis.Interval
2 (Data Constructor)Tokstyle.C.Analysis.Interval
programTokstyle.C.Env
programFromTokstyle.C.Analysis.Program
progReachesTokstyle.C.Analysis.Interval
progReturnsTokstyle.C.Analysis.Interval
PtrShapeTokstyle.Cimple.Analysis.Functions
pushCtxTokstyle.C.Env
Range 
1 (Type/Class)Tokstyle.C.Analysis.Interval
2 (Data Constructor)Tokstyle.C.Analysis.Interval
Reach 
1 (Type/Class)Tokstyle.C.Analysis.Known
2 (Data Constructor)Tokstyle.C.Analysis.Known
reachConstTokstyle.C.Analysis.Known
reachLengthTokstyle.C.Analysis.Known
reachParamTokstyle.C.Analysis.Known
recordLinterErrorTokstyle.C.Env
recordRichErrorTokstyle.C.Env
recordWrapTokstyle.C.IntervalLinter
ReducedTokstyle.C.Analysis.Interval
renderTokstyle.Cimple.Analysis.Functions
renderIOTokstyle.C.Linter
renderPureTokstyle.C.Linter
resolveTokstyle.Common.TypeSystem
resolveRefTokstyle.Common.TypeSystem
retTyTokstyle.C.Env
returnOutcomesTokstyle.Cimple.Analysis.Functions
rootOfTokstyle.Cimple.Analysis.Functions
S08TyTokstyle.Common.TypeSystem
S16TyTokstyle.Common.TypeSystem
S32TyTokstyle.Common.TypeSystem
S64TyTokstyle.Common.TypeSystem
SAddrTokstyle.Analysis.Symbolic
sAddrTokstyle.Analysis.Symbolic
safePosFileTokstyle.C.Env
SBinOpTokstyle.Analysis.Symbolic
sBinOpTokstyle.Analysis.Symbolic
SBoolTokstyle.Analysis.Symbolic
scaleTokstyle.C.Analysis.Interval
semEqTokstyle.Common
SEqualsTokstyle.Analysis.Symbolic
setRetTyTokstyle.C.Env
ShapeTokstyle.Cimple.Analysis.Functions
SIteTokstyle.Analysis.Symbolic
sIteTokstyle.Analysis.Symbolic
SizedTokstyle.Common.TypeSystem
SizeTyTokstyle.Common.TypeSystem
skipTokstyle.Common
slotMemberTokstyle.C.ObjectSystem
slotStructTokstyle.C.ObjectSystem
SNotEqualsTokstyle.Analysis.Symbolic
SNullTokstyle.Analysis.Symbolic
solveTokstyle.Analysis.Dataflow
solveBackwardTokstyle.Analysis.Dataflow
solveFunctionTokstyle.C.Analysis.Interval
spanLabelsTokstyle.C.Env
spanLenTokstyle.C.Env
spanPosTokstyle.C.Env
SState 
1 (Type/Class)Tokstyle.Analysis.Symbolic
2 (Data Constructor)Tokstyle.Analysis.Symbolic
statExprsTokstyle.C.Analysis.Syntax
StatNodeTokstyle.C.Analysis.CFG
statsTokstyle.C.Analysis.Syntax
StdTypeTokstyle.Common.TypeSystem
StmtNodeTokstyle.Cimple.Analysis.CFG
STopTokstyle.Analysis.Symbolic
storeTokstyle.Analysis.Symbolic
stripTokstyle.Cimple.Analysis.Functions
StructDescrTokstyle.Common.TypeSystem
structNameTokstyle.Cimple.Analysis.Types
StructRefTokstyle.Common.TypeSystem
StructsTokstyle.Cimple.Analysis.Types
structsTokstyle.Cimple.Analysis.Types
structTagTokstyle.C.Analysis.Types
subTermsTokstyle.C.Analysis.Interval
subTermsWithTokstyle.C.Analysis.Interval
SuccessTokstyle.Cimple.Analysis.Functions
SUnaryOpTokstyle.Analysis.Symbolic
sUnaryOpTokstyle.Analysis.Symbolic
SValTokstyle.Analysis.Symbolic
SVarTokstyle.Analysis.Symbolic
sVarTokstyle.Analysis.Symbolic
TargetsTokstyle.Cimple.Analysis.FunctionPointers
TAssignTokstyle.C.Analysis.Interval
TBinTokstyle.C.Analysis.Interval
TCallTokstyle.C.Analysis.Interval
TCastTokstyle.C.Analysis.Interval
TCondTokstyle.C.Analysis.Interval
TConstTokstyle.C.Analysis.Interval
Term 
1 (Type/Class)Tokstyle.C.Analysis.Interval
2 (Data Constructor)Tokstyle.C.Analysis.Interval
termDefaultTokstyle.C.Analysis.Interval
termExprTokstyle.C.Analysis.Interval
termFactTokstyle.C.Analysis.Interval
TermKindTokstyle.C.Analysis.Interval
termKindTokstyle.C.Analysis.Interval
termTyTokstyle.C.Analysis.Interval
throughPointerTokstyle.Cimple.Analysis.Functions
timesTokstyle.C.Analysis.Interval
TIndexTokstyle.C.Analysis.Interval
TLoadTokstyle.C.Analysis.Interval
TOtherTokstyle.C.Analysis.Interval
transferTokstyle.Analysis.Dataflow
translateTokstyle.C.Analysis.Interval
TraverseAstTokstyle.C.TraverseAst
traverseAstTokstyle.C.TraverseAst
TrueBranch 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
TUnaryTokstyle.C.Analysis.Interval
TUnknownTokstyle.C.Analysis.Interval
tyBitsTokstyle.C.Analysis.Interval
TypeDescrTokstyle.Common.TypeSystem
typeInTokstyle.Cimple.Analysis.Types
TypeInfoTokstyle.Common.TypeSystem
TypeRef 
1 (Data Constructor)Tokstyle.Common.TypeSystem
2 (Type/Class)Tokstyle.Common.TypeSystem
TypeSystemTokstyle.Common.TypeSystem
tyRangeTokstyle.C.Analysis.Interval
tySignedTokstyle.C.Analysis.Interval
TY_canon_boolTokstyle.C.Patterns
TY_char_arrTokstyle.C.Patterns
TY_char_ptrTokstyle.C.Patterns
TY_nullptrTokstyle.C.Patterns
TY_sockaddr_in6_ptrTokstyle.C.Patterns
TY_sockaddr_in_ptrTokstyle.C.Patterns
TY_sockaddr_ptrTokstyle.C.Patterns
TY_sockaddr_storage_ptrTokstyle.C.Patterns
TY_structTokstyle.C.Patterns
TY_struct_ptrTokstyle.C.Patterns
TY_typedefTokstyle.C.Patterns
TY_uint16_tTokstyle.Common.Patterns
TY_uint32_tTokstyle.Common.Patterns
TY_uint64_tTokstyle.Common.Patterns
TY_uint8_tTokstyle.Common.Patterns
TY_uint8_t_arrTokstyle.C.Patterns
TY_uint8_t_ptr 
1 (Data Constructor)Tokstyle.C.Patterns
2 (Data Constructor)Tokstyle.Common.Patterns
TY_void_ptr 
1 (Data Constructor)Tokstyle.C.Patterns
2 (Data Constructor)Tokstyle.Common.Patterns
U08TyTokstyle.Common.TypeSystem
U16TyTokstyle.Common.TypeSystem
U32TyTokstyle.Common.TypeSystem
U64TyTokstyle.Common.TypeSystem
Unconditional 
1 (Data Constructor)Tokstyle.C.Analysis.CFG
2 (Data Constructor)Tokstyle.Cimple.Analysis.CFG
unCPositionTokstyle.C.Env
unFix'Tokstyle.Cimple.Analysis.Functions
UnionDescrTokstyle.Common.TypeSystem
UnionRefTokstyle.Common.TypeSystem
universeTokstyle.Cimple.Analysis.Functions
UnresolvedRefTokstyle.Common.TypeSystem
unsetRetTyTokstyle.C.Env
valDepthTokstyle.Analysis.Symbolic
valuesDocTokstyle.C.IntervalLinter
valuesUsedTokstyle.Cimple.Analysis.Functions
VarTokstyle.Common.TypeSystem
varsTokstyle.Common.TypeSystem
VoidTyTokstyle.Common.TypeSystem
warnTokstyle.Common
warnDocTokstyle.Common
WarningLevelTokstyle.C.Env, Tokstyle.C.Linter
WrappedTokstyle.C.Analysis.Interval
wrapSiteTokstyle.C.Analysis.Interval
ZeroShapeTokstyle.Cimple.Analysis.Functions