tokstyle-0.0.9: TokTok C code style checker

Index

>+>Tokstyle.Common
AliasDescrTokstyle.Common.TypeSystem
allocSiteTokstyle.Analysis.PointsTo.Types
allWarnings 
1 (Function)Tokstyle.C.Linter
2 (Function)Tokstyle.Linter
analyse 
1 (Function)Tokstyle.C.Linter.VoidCall
2 (Function)Tokstyle.C.Linter.Sizeof
3 (Function)Tokstyle.C.Linter.SizeArg
4 (Function)Tokstyle.C.Linter.Memset
5 (Function)Tokstyle.C.Linter.Conversion
6 (Function)Tokstyle.C.Linter.Cast
7 (Function)Tokstyle.C.Linter.CallbackParams
8 (Function)Tokstyle.C.Linter.BoolConversion
9 (Function)Tokstyle.C.Linter
10 (Function)Tokstyle.Linter
analyseEnumsTokstyle.Common.EnumLinter
analyseGlobalTokstyle.Linter
analyseLocalTokstyle.Linter
analyseStructsTokstyle.Common.StructLinter
ArrayTokstyle.Common.TypeSystem
ArrayTypeSizeTokstyle.C.Patterns
AstActions 
1 (Type/Class)Tokstyle.C.TraverseAst
2 (Data Constructor)Tokstyle.C.TraverseAst
astActionsTokstyle.C.TraverseAst
baseLocTokstyle.Analysis.PointsTo.Types
BoolTyTokstyle.Common.TypeSystem
bracketUserStateTokstyle.C.Env
buildCFG 
1 (Function)Tokstyle.Analysis.CFG
2 (Function)Tokstyle.Analysis.DataFlow
builtinTokstyle.Common.TypeSystem
BuiltinTypeTokstyle.Common.TypeSystem
CallGraphTokstyle.Analysis.PointsTo.Fixpoint
CFG 
1 (Type/Class)Tokstyle.Analysis.CFG
2 (Type/Class)Tokstyle.Analysis.DataFlow
3 (Type/Class)Tokstyle.Analysis.PointsTo.Fixpoint
cfgInFactsTokstyle.Analysis.DataFlow
CFGNode 
1 (Type/Class)Tokstyle.Analysis.CFG
2 (Data Constructor)Tokstyle.Analysis.CFG
3 (Type/Class)Tokstyle.Analysis.DataFlow
4 (Data Constructor)Tokstyle.Analysis.DataFlow
cfgNodeId 
1 (Function)Tokstyle.Analysis.CFG
2 (Function)Tokstyle.Analysis.DataFlow
cfgOutFactsTokstyle.Analysis.DataFlow
cfgPreds 
1 (Function)Tokstyle.Analysis.CFG
2 (Function)Tokstyle.Analysis.DataFlow
cfgStmts 
1 (Function)Tokstyle.Analysis.CFG
2 (Function)Tokstyle.Analysis.DataFlow
cfgSuccs 
1 (Function)Tokstyle.Analysis.CFG
2 (Function)Tokstyle.Analysis.DataFlow
CharTyTokstyle.Common.TypeSystem
collectTokstyle.Common.TypeSystem
collectTypesTokstyle.Common.TypeSystem
ConstTokstyle.Common.TypeSystem
Context 
1 (Type/Class)Tokstyle.Analysis.Types
2 (Type/Class)Tokstyle.Analysis.PointsTo.Types
ctxTokstyle.C.Env
DataFlowTokstyle.Analysis.DataFlow
debuggingTokstyle.Common.TypeSystem
defaultEnvTokstyle.C.Env
descr 
1 (Function)Tokstyle.Linter.Assert
2 (Function)Tokstyle.Linter.BooleanReturn
3 (Function)Tokstyle.Linter.Booleans
4 (Function)Tokstyle.Linter.CallbackNames
5 (Function)Tokstyle.Linter.Callgraph
6 (Function)Tokstyle.Linter.CallocArgs
7 (Function)Tokstyle.Linter.CallocType
8 (Function)Tokstyle.Linter.CompoundInit
9 (Function)Tokstyle.Linter.Constness
10 (Function)Tokstyle.Linter.DeclaredOnce
11 (Function)Tokstyle.Linter.DeclsHaveDefns
12 (Function)Tokstyle.Linter.DocComments
13 (Function)Tokstyle.Linter.EnumDefines
14 (Function)Tokstyle.Linter.EnumNames
15 (Function)Tokstyle.Linter.FuncPrototypes
16 (Function)Tokstyle.Linter.FuncScopes
17 (Function)Tokstyle.Linter.GlobalFuncs
18 (Function)Tokstyle.Linter.LoggerCalls
19 (Function)Tokstyle.Linter.LoggerConst
20 (Function)Tokstyle.Linter.LoggerNoEscapes
21 (Function)Tokstyle.Linter.MallocCall
22 (Function)Tokstyle.Linter.MallocType
23 (Function)Tokstyle.Linter.MemcpyStructs
24 (Function)Tokstyle.Linter.Nesting
25 (Function)Tokstyle.Linter.Nullability
26 (Function)Tokstyle.Linter.OwnershipDecls
27 (Function)Tokstyle.Linter.Parens
28 (Function)Tokstyle.Linter.SwitchIf
29 (Function)Tokstyle.Linter.TaggedUnion
30 (Function)Tokstyle.Linter.TypeCheck
31 (Function)Tokstyle.Linter.TypedefName
32 (Function)Tokstyle.Linter.UnsafeFunc
33 (Function)Tokstyle.Linter.VarUnusedInScope
34 (Function)Tokstyle.SemFmt.EnumFromInt
35 (Function)Tokstyle.SemFmt.EnumToString
36 (Function)Tokstyle.SemFmt.EnumUnpack
37 (Function)Tokstyle.SemFmt.StructPack
38 (Function)Tokstyle.Linter.PointsToAsserts
39 (Function)Tokstyle.Linter.PointsTo
doBlockItemTokstyle.C.TraverseAst
doBlockItemsTokstyle.C.TraverseAst
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
dtraceTokstyle.Common.TypeSystem
dummyScopedIdTokstyle.Analysis.Scope
emptyTokstyle.Worklist
emptyFactsTokstyle.Analysis.DataFlow
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
evalExprTokstyle.Analysis.PointsTo
ExternalParamLocTokstyle.Analysis.PointsTo.Types
ExternalTypeTokstyle.Common.TypeSystem
extractRelevantStateTokstyle.Analysis.PointsTo
F32TyTokstyle.Common.TypeSystem
F64TyTokstyle.Common.TypeSystem
fieldIndexTokstyle.Analysis.PointsTo.Types
FieldLocTokstyle.Analysis.PointsTo.Types
fieldNameTokstyle.Analysis.PointsTo.Types
findEntryPointsAndFuncMapTokstyle.Analysis.PointsTo.Fixpoint
findVarTypesTokstyle.Analysis.PointsTo.Fixpoint
fixpointTokstyle.Analysis.DataFlow
foldArrayTokstyle.Common.TypeSystem
fromListTokstyle.Worklist
fsMemEffectsTokstyle.Analysis.PointsTo.Types
fsParamEffectsTokstyle.Analysis.PointsTo.Types
fsReturnValueTokstyle.Analysis.PointsTo.Types
FuncDescrTokstyle.Common.TypeSystem
funcNameTokstyle.Analysis.PointsTo.Types
FuncRefTokstyle.Common.TypeSystem
FunctionTokstyle.Common.TypeSystem
FunctionNameTokstyle.Analysis.Types
functionNameTokstyle.Common
FunctionSummary 
1 (Type/Class)Tokstyle.Analysis.PointsTo.Types
2 (Data Constructor)Tokstyle.Analysis.PointsTo.Types
FunDeclParamsTokstyle.C.Patterns
FunPtrParamsTokstyle.C.Patterns
getCtxTokstyle.C.Env
getExternalSummaryTokstyle.Analysis.PointsTo.ExternalSummaries
getJustTokstyle.C.TravUtils
getRetTyTokstyle.C.Env
getTypeRefNameTokstyle.Common.TypeSystem
GlobalEnv 
1 (Type/Class)Tokstyle.Analysis.PointsTo.Types
2 (Data Constructor)Tokstyle.Analysis.PointsTo.Types
GlobalVarLocTokstyle.Analysis.PointsTo.Types
HeapLocTokstyle.Analysis.PointsTo.Types
idToMemLocTokstyle.Analysis.PointsTo.Types
IMemLoc 
1 (Type/Class)Tokstyle.Analysis.PointsTo.Types
2 (Data Constructor)Tokstyle.Analysis.PointsTo.Types
initialScopeStateTokstyle.Analysis.Scope
insertTokstyle.Common.TypeSystem
IntDescrTokstyle.Common.TypeSystem
internTokstyle.Analysis.PointsTo.Types
IntLitTokstyle.Common.TypeSystem
IntRefTokstyle.Common.TypeSystem
isEnumTokstyle.C.Patterns
isFloatingTokstyle.C.Patterns
isIntegralTokstyle.C.Patterns
isNumericTokstyle.C.Patterns
isPointerTokstyle.Common
joinTokstyle.Analysis.DataFlow
locFromPosTokstyle.Analysis.PointsTo.ExternalSummaries
locIdTokstyle.Analysis.PointsTo.Types
lookupOrErrorTokstyle.Analysis.Types
lookupTypeTokstyle.Common.TypeSystem
markdownTokstyle.Linter
MemLocTokstyle.Analysis.PointsTo.Types
MemLocPool 
1 (Type/Class)Tokstyle.Analysis.PointsTo.Types
2 (Data Constructor)Tokstyle.Analysis.PointsTo.Types
memLocToIdTokstyle.Analysis.PointsTo.Types
memMapTokstyle.Analysis.PointsTo.Types
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
nextMemLocIdTokstyle.Analysis.PointsTo.Types
NodeIdTokstyle.Analysis.Types
NonnullTokstyle.Common.TypeSystem
NullableTokstyle.Common.TypeSystem
NullLocTokstyle.Analysis.PointsTo.Types
OwnerTokstyle.Common.TypeSystem
ParamNameTokstyle.C.Patterns
paramNameTokstyle.Analysis.PointsTo.Types
paramsTokstyle.C.Env
ParamTypeTokstyle.C.Patterns
pcCurrentFuncTokstyle.Analysis.PointsTo.Types
pcFilePathTokstyle.Analysis.PointsTo.Types
pcFuncsTokstyle.Analysis.PointsTo.Types
pcGlobalEnvTokstyle.Analysis.PointsTo.Types
pcTypeSystemTokstyle.Analysis.PointsTo.Types
pcVarTypesTokstyle.Analysis.PointsTo.Types
pcVTableMapTokstyle.Analysis.PointsTo.Types
PointerTokstyle.Common.TypeSystem
PointsToAnalysisTokstyle.Analysis.PointsTo.Types
PointsToContext 
1 (Type/Class)Tokstyle.Analysis.PointsTo.Types
2 (Data Constructor)Tokstyle.Analysis.PointsTo.Types
PointsToFact 
1 (Type/Class)Tokstyle.Analysis.PointsTo.Types
2 (Data Constructor)Tokstyle.Analysis.PointsTo.Types
popTokstyle.Worklist
popCtxTokstyle.C.Env
pushTokstyle.Worklist
pushCtxTokstyle.C.Env
pushListTokstyle.Worklist
RelevantInputState 
1 (Type/Class)Tokstyle.Analysis.PointsTo.Types
2 (Data Constructor)Tokstyle.Analysis.PointsTo.Types
resolveTokstyle.Common.TypeSystem
resolveRefTokstyle.Common.TypeSystem
resolveVTablesTokstyle.Analysis.VTable
retTyTokstyle.C.Env
runGlobalFixpointTokstyle.Analysis.PointsTo.Fixpoint
runScopePassTokstyle.Analysis.Scope
S08TyTokstyle.Common.TypeSystem
S16TyTokstyle.Common.TypeSystem
S32TyTokstyle.Common.TypeSystem
S64TyTokstyle.Common.TypeSystem
ScopedId 
1 (Type/Class)Tokstyle.Analysis.Scope
2 (Data Constructor)Tokstyle.Analysis.Scope
ScopeState 
1 (Type/Class)Tokstyle.Analysis.Scope
2 (Data Constructor)Tokstyle.Analysis.Scope
semEqTokstyle.Common
setRetTyTokstyle.C.Env
sidNameTokstyle.Analysis.Scope
sidScopeTokstyle.Analysis.Scope
sidUniqueIdTokstyle.Analysis.Scope
SizedTokstyle.Common.TypeSystem
SizeTyTokstyle.Common.TypeSystem
skipTokstyle.Common
ssCurrentScopeTokstyle.Analysis.Scope
ssErrorsTokstyle.Analysis.Scope
ssFuncParamIdsTokstyle.Analysis.Scope
ssNextIdTokstyle.Analysis.Scope
ssTableTokstyle.Analysis.Scope
StackLocTokstyle.Analysis.PointsTo.Types
StdTypeTokstyle.Common.TypeSystem
StructDescrTokstyle.Common.TypeSystem
StructRefTokstyle.Common.TypeSystem
toListTokstyle.Worklist
transferTokstyle.Analysis.DataFlow
TraverseAstTokstyle.C.TraverseAst
traverseAstTokstyle.C.TraverseAst
TypeDescrTokstyle.Common.TypeSystem
TypeInfoTokstyle.Common.TypeSystem
TypeRef 
1 (Data Constructor)Tokstyle.Common.TypeSystem
2 (Type/Class)Tokstyle.Common.TypeSystem
TypeSystemTokstyle.Common.TypeSystem
TY_canon_boolTokstyle.C.Patterns
TY_char_arrTokstyle.C.Patterns
TY_char_ptrTokstyle.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
unIMemLocTokstyle.Analysis.PointsTo.Types
UnionDescrTokstyle.Common.TypeSystem
UnionRefTokstyle.Common.TypeSystem
UnknownLocTokstyle.Analysis.PointsTo.Types
unknownWritesTokstyle.Analysis.PointsTo.Types
UnresolvedRefTokstyle.Common.TypeSystem
unsetRetTyTokstyle.C.Env
VarTokstyle.Common.TypeSystem
varMapTokstyle.Analysis.PointsTo.Types
varsTokstyle.Common.TypeSystem
VoidTyTokstyle.Common.TypeSystem
VTableMapTokstyle.Analysis.VTable
WorklistTokstyle.Worklist