| >+> | Tokstyle.Common |
| AbstractLocation | Tokstyle.Analysis.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 |
| analyseEnums | Tokstyle.Common.EnumLinter |
| analyseGlobal | Tokstyle.Linter |
| analyseLocal | Tokstyle.Linter |
| analyseStructs | Tokstyle.Common.StructLinter |
| analyzeFunction | Tokstyle.Analysis.SecurityRank |
| analyzeFunctionWithSummaries | Tokstyle.Analysis.PointsTo |
| analyzeStatementForPointers | Tokstyle.Analysis.PointsTo |
| AnnotationMap | Tokstyle.Analysis.SecurityRank.Annotations |
| Array | Tokstyle.Common.TypeSystem |
| ArrayTypeSize | Tokstyle.C.Patterns |
| AstActions | |
| 1 (Type/Class) | Tokstyle.C.TraverseAst |
| 2 (Data Constructor) | Tokstyle.C.TraverseAst |
| astActions | Tokstyle.C.TraverseAst |
| BoolTy | Tokstyle.Common.TypeSystem |
| Bottom | Tokstyle.Analysis.SecurityRank.Lattice |
| bracketUserState | Tokstyle.C.Env |
| buildCallGraph | Tokstyle.Analysis.CallGraph |
| buildCFG | Tokstyle.Analysis.DataFlow |
| buildPointsToContext | Tokstyle.Analysis.PointsTo |
| buildPointsToSummaryFromAnnotation | Tokstyle.Analysis.SecurityRank |
| buildSecurityRankSummaryFromAnnotation | Tokstyle.Analysis.SecurityRank |
| builtin | Tokstyle.Common.TypeSystem |
| BuiltinType | Tokstyle.Common.TypeSystem |
| CalleeMap | Tokstyle.Analysis.Types |
| CallGraph | Tokstyle.Analysis.Types |
| CallSite | |
| 1 (Type/Class) | Tokstyle.Analysis.Types |
| 2 (Data Constructor) | Tokstyle.Analysis.Types |
| CallType | Tokstyle.Analysis.Types |
| CFG | Tokstyle.Analysis.DataFlow |
| cfgInFacts | Tokstyle.Analysis.DataFlow |
| CFGNode | |
| 1 (Type/Class) | Tokstyle.Analysis.DataFlow |
| 2 (Data Constructor) | Tokstyle.Analysis.DataFlow |
| cfgNodeId | Tokstyle.Analysis.DataFlow |
| cfgOutFacts | Tokstyle.Analysis.DataFlow |
| cfgPreds | Tokstyle.Analysis.DataFlow |
| cfgStmts | Tokstyle.Analysis.DataFlow |
| cfgSuccs | Tokstyle.Analysis.DataFlow |
| CharTy | Tokstyle.Common.TypeSystem |
| collect | Tokstyle.Common.TypeSystem |
| collectTypes | Tokstyle.Common.TypeSystem |
| Const | Tokstyle.Common.TypeSystem |
| Context | Tokstyle.Analysis.Types |
| csCallType | Tokstyle.Analysis.Types |
| csNodeId | Tokstyle.Analysis.Types |
| ctx | Tokstyle.C.Env |
| DataFlow | Tokstyle.Analysis.DataFlow |
| defaultEnv | Tokstyle.C.Env |
| DerefLocation | Tokstyle.Analysis.Types |
| 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.Parens |
| 27 (Function) | Tokstyle.Linter.SwitchIf |
| 28 (Function) | Tokstyle.Linter.TypeCheck |
| 29 (Function) | Tokstyle.Linter.TypedefName |
| 30 (Function) | Tokstyle.Linter.UnsafeFunc |
| 31 (Function) | Tokstyle.Linter.VarUnusedInScope |
| 32 (Function) | Tokstyle.SemFmt.EnumFromInt |
| 33 (Function) | Tokstyle.SemFmt.EnumToString |
| 34 (Function) | Tokstyle.SemFmt.EnumUnpack |
| 35 (Function) | Tokstyle.SemFmt.StructPack |
| 36 (Function) | Tokstyle.Linter.PointsTo |
| 37 (Function) | Tokstyle.Linter.SecurityRank |
| DirectCall | Tokstyle.Analysis.Types |
| doBlockItem | Tokstyle.C.TraverseAst |
| doBlockItems | Tokstyle.C.TraverseAst |
| doConst | Tokstyle.C.TraverseAst |
| doDecl | Tokstyle.C.TraverseAst |
| doDecls | Tokstyle.C.TraverseAst |
| doExpr | Tokstyle.C.TraverseAst |
| doExprs | Tokstyle.C.TraverseAst |
| doGlobalDecls | Tokstyle.C.TraverseAst |
| doIdentDecl | Tokstyle.C.TraverseAst |
| doInit | Tokstyle.C.TraverseAst |
| doStat | Tokstyle.C.TraverseAst |
| doStats | Tokstyle.C.TraverseAst |
| dummyScopedId | Tokstyle.Analysis.Scope |
| empty | Tokstyle.Worklist |
| emptyFacts | Tokstyle.Analysis.DataFlow |
| emptySecurityRankSummaryData | Tokstyle.Analysis.SecurityRank.Types |
| EnumDescr | Tokstyle.Common.TypeSystem |
| EnumInfo | |
| 1 (Type/Class) | Tokstyle.Common.EnumLinter |
| 2 (Data Constructor) | Tokstyle.Common.EnumLinter |
| EnumMem | Tokstyle.Common.TypeSystem |
| enumMembers | Tokstyle.Common.EnumLinter |
| enumName | Tokstyle.Common.EnumLinter |
| EnumRef | Tokstyle.Common.TypeSystem |
| Env | |
| 1 (Type/Class) | Tokstyle.C.Env |
| 2 (Data Constructor) | Tokstyle.C.Env |
| evalPointsToSet | Tokstyle.Analysis.PointsTo |
| ExternalType | Tokstyle.Common.TypeSystem |
| F32Ty | Tokstyle.Common.TypeSystem |
| F64Ty | Tokstyle.Common.TypeSystem |
| FieldLocation | Tokstyle.Analysis.Types |
| findFunctionDecls | Tokstyle.Analysis.SecurityRank |
| findFunctionDefs | Tokstyle.Analysis.SecurityRank |
| findStructDefs | Tokstyle.Analysis.SecurityRank |
| fixpoint | Tokstyle.Analysis.DataFlow |
| fixpointSummaries | Tokstyle.Analysis.PointsTo |
| foldArray | Tokstyle.Common.TypeSystem |
| fromList | Tokstyle.Worklist |
| FuncRef | Tokstyle.Common.TypeSystem |
| FunctionAnnotation | Tokstyle.Analysis.SecurityRank.Annotations |
| FunctionLocation | Tokstyle.Analysis.Types |
| FunctionName | Tokstyle.Analysis.Types |
| functionName | Tokstyle.Common |
| FunDeclParams | Tokstyle.C.Patterns |
| FunPtrParams | Tokstyle.C.Patterns |
| getCallees | Tokstyle.Analysis.CallGraph |
| getCallers | Tokstyle.Analysis.Types |
| getCtx | Tokstyle.C.Env |
| getFuncNameFromDef | Tokstyle.Analysis.SecurityRank |
| getJust | Tokstyle.C.TravUtils |
| getRetTy | Tokstyle.C.Env |
| GlobalVarLocation | Tokstyle.Analysis.Types |
| HeapLocation | Tokstyle.Analysis.Types |
| IndirectCall | Tokstyle.Analysis.Types |
| initialScopeState | Tokstyle.Analysis.Scope |
| insert | Tokstyle.Common.TypeSystem |
| IntDescr | Tokstyle.Common.TypeSystem |
| IntLit | Tokstyle.Common.TypeSystem |
| IntRef | Tokstyle.Common.TypeSystem |
| isEnum | Tokstyle.C.Patterns |
| isFloating | Tokstyle.C.Patterns |
| isIntegral | Tokstyle.C.Patterns |
| isNumeric | Tokstyle.C.Patterns |
| isPointer | Tokstyle.Common |
| join | Tokstyle.Analysis.DataFlow |
| kLimit | Tokstyle.Analysis.Context |
| lookupOrError | Tokstyle.Analysis.Types |
| lookupType | Tokstyle.Common.TypeSystem |
| MacroDefinitionMap | Tokstyle.Analysis.PointsTo |
| markdown | Tokstyle.Linter |
| mergeRank | Tokstyle.Analysis.SecurityRank.Lattice |
| MkFunBody | |
| 1 (Type/Class) | Tokstyle.Common.EnumLinter |
| 2 (Type/Class) | Tokstyle.Common.StructLinter |
| mkLAt | |
| 1 (Function) | Tokstyle.Common.EnumLinter |
| 2 (Function) | Tokstyle.Common.StructLinter |
| NameLit | Tokstyle.Common.TypeSystem |
| NodeId | Tokstyle.Analysis.Types |
| outputPointsTo | Tokstyle.Analysis.Types, Tokstyle.Analysis.PointsTo |
| ParamName | Tokstyle.C.Patterns |
| params | Tokstyle.C.Env |
| ParamType | Tokstyle.C.Patterns |
| parseAllAnnotations | Tokstyle.Analysis.SecurityRank.Annotations |
| Pointer | Tokstyle.Common.TypeSystem |
| PointsToContext | |
| 1 (Type/Class) | Tokstyle.Analysis.PointsTo |
| 2 (Data Constructor) | Tokstyle.Analysis.PointsTo |
| PointsToMap | Tokstyle.Analysis.Types, Tokstyle.Analysis.PointsTo |
| PointsToState | |
| 1 (Type/Class) | Tokstyle.Analysis.PointsTo |
| 2 (Data Constructor) | Tokstyle.Analysis.PointsTo |
| PointsToSummary | Tokstyle.Analysis.Types, Tokstyle.Analysis.PointsTo |
| PointsToSummaryData | |
| 1 (Type/Class) | Tokstyle.Analysis.Types, Tokstyle.Analysis.PointsTo |
| 2 (Data Constructor) | Tokstyle.Analysis.Types, Tokstyle.Analysis.PointsTo |
| pop | Tokstyle.Worklist |
| popCtx | Tokstyle.C.Env |
| ptcAnalyzedCfgs | Tokstyle.Analysis.PointsTo |
| ptcCallGraph | Tokstyle.Analysis.PointsTo |
| ptcCurrentContext | Tokstyle.Analysis.PointsTo |
| ptcDynamicCallGraph | Tokstyle.Analysis.PointsTo |
| ptcFileMacros | Tokstyle.Analysis.PointsTo |
| ptcFuncDecls | Tokstyle.Analysis.PointsTo |
| ptcFuncDefs | Tokstyle.Analysis.PointsTo |
| ptcLocalVars | Tokstyle.Analysis.PointsTo |
| ptcStructDefs | Tokstyle.Analysis.PointsTo |
| ptcSummaries | Tokstyle.Analysis.PointsTo |
| ptcVarTypes | Tokstyle.Analysis.PointsTo |
| ptsMacros | Tokstyle.Analysis.PointsTo |
| ptsMap | Tokstyle.Analysis.PointsTo |
| push | Tokstyle.Worklist |
| pushContext | Tokstyle.Analysis.Context |
| pushCtx | Tokstyle.C.Env |
| pushList | Tokstyle.Worklist |
| Rank | Tokstyle.Analysis.SecurityRank.Lattice |
| resolve | Tokstyle.Common.TypeSystem |
| retTy | Tokstyle.C.Env |
| ReturnLocation | Tokstyle.Analysis.Types |
| returnPointsTo | Tokstyle.Analysis.Types, Tokstyle.Analysis.PointsTo |
| runInterproceduralAnalysis | Tokstyle.Analysis.SecurityRank |
| runScopePass | Tokstyle.Analysis.Scope |
| S08Ty | Tokstyle.Common.TypeSystem |
| S16Ty | Tokstyle.Common.TypeSystem |
| S32Ty | Tokstyle.Common.TypeSystem |
| S64Ty | Tokstyle.Common.TypeSystem |
| Safe | Tokstyle.Analysis.SecurityRank.Lattice |
| 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 |
| SecurityRank | Tokstyle.Analysis.SecurityRank.Lattice |
| SecurityRankContext | |
| 1 (Type/Class) | Tokstyle.Analysis.SecurityRank |
| 2 (Data Constructor) | Tokstyle.Analysis.SecurityRank |
| SecurityRankState | |
| 1 (Type/Class) | Tokstyle.Analysis.SecurityRank |
| 2 (Data Constructor) | Tokstyle.Analysis.SecurityRank |
| SecurityRankSummary | Tokstyle.Analysis.SecurityRank.Types, Tokstyle.Analysis.SecurityRank |
| SecurityRankSummaryData | |
| 1 (Type/Class) | Tokstyle.Analysis.SecurityRank.Types, Tokstyle.Analysis.SecurityRank |
| 2 (Data Constructor) | Tokstyle.Analysis.SecurityRank.Types, Tokstyle.Analysis.SecurityRank |
| semEq | Tokstyle.Common |
| setRetTy | Tokstyle.C.Env |
| sidName | Tokstyle.Analysis.Scope |
| sidScope | Tokstyle.Analysis.Scope |
| sidUniqueId | Tokstyle.Analysis.Scope |
| Sized | Tokstyle.Common.TypeSystem |
| SizeTy | Tokstyle.Common.TypeSystem |
| skip | Tokstyle.Common |
| srcAnalyzedCfgs | Tokstyle.Analysis.SecurityRank |
| srcAnnotations | Tokstyle.Analysis.SecurityRank |
| srcCallGraph | Tokstyle.Analysis.SecurityRank |
| srcCurrentContext | Tokstyle.Analysis.SecurityRank |
| srcCurrentFile | Tokstyle.Analysis.SecurityRank |
| srcDynamicCallGraph | Tokstyle.Analysis.SecurityRank |
| srcFuncDecls | Tokstyle.Analysis.SecurityRank |
| srcFuncDefs | Tokstyle.Analysis.SecurityRank |
| srcPointsToContext | Tokstyle.Analysis.SecurityRank |
| srcStructDefs | Tokstyle.Analysis.SecurityRank |
| srcSummaries | Tokstyle.Analysis.SecurityRank |
| srsdDiagnostics | Tokstyle.Analysis.SecurityRank.Types, Tokstyle.Analysis.SecurityRank |
| srsDiagnostics | Tokstyle.Analysis.SecurityRank |
| srsFptrSigs | Tokstyle.Analysis.SecurityRank |
| srsOutputRanks | Tokstyle.Analysis.SecurityRank.Types, Tokstyle.Analysis.SecurityRank |
| srsSinks | Tokstyle.Analysis.SecurityRank.Types, Tokstyle.Analysis.SecurityRank |
| srsTaintState | Tokstyle.Analysis.SecurityRank |
| ssCurrentScope | Tokstyle.Analysis.Scope |
| ssErrors | Tokstyle.Analysis.Scope |
| ssNextId | Tokstyle.Analysis.Scope |
| ssTable | Tokstyle.Analysis.Scope |
| StdType | Tokstyle.Common.TypeSystem |
| StructDescr | Tokstyle.Common.TypeSystem |
| StructRef | Tokstyle.Common.TypeSystem |
| TaintState | Tokstyle.Analysis.SecurityRank.Lattice |
| toAbstractLocation | Tokstyle.Analysis.Types, Tokstyle.Analysis.PointsTo |
| toList | Tokstyle.Worklist |
| transfer | Tokstyle.Analysis.DataFlow |
| transferPointsToState | Tokstyle.Analysis.PointsTo |
| TraverseAst | Tokstyle.C.TraverseAst |
| traverseAst | Tokstyle.C.TraverseAst |
| TypeDescr | Tokstyle.Common.TypeSystem |
| TypeInfo | Tokstyle.Common.TypeSystem |
| TypeRef | |
| 1 (Data Constructor) | Tokstyle.Common.TypeSystem |
| 2 (Type/Class) | Tokstyle.Common.TypeSystem |
| TypeSystem | Tokstyle.Common.TypeSystem |
| TY_canon_bool | Tokstyle.C.Patterns |
| TY_char_arr | Tokstyle.C.Patterns |
| TY_char_ptr | Tokstyle.C.Patterns |
| TY_sockaddr_in6_ptr | Tokstyle.C.Patterns |
| TY_sockaddr_in_ptr | Tokstyle.C.Patterns |
| TY_sockaddr_ptr | Tokstyle.C.Patterns |
| TY_sockaddr_storage_ptr | Tokstyle.C.Patterns |
| TY_struct | Tokstyle.C.Patterns |
| TY_struct_ptr | Tokstyle.C.Patterns |
| TY_typedef | Tokstyle.C.Patterns |
| TY_uint16_t | Tokstyle.Common.Patterns |
| TY_uint32_t | Tokstyle.Common.Patterns |
| TY_uint64_t | Tokstyle.Common.Patterns |
| TY_uint8_t | Tokstyle.Common.Patterns |
| TY_uint8_t_arr | Tokstyle.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 |
| U08Ty | Tokstyle.Common.TypeSystem |
| U16Ty | Tokstyle.Common.TypeSystem |
| U32Ty | Tokstyle.Common.TypeSystem |
| U64Ty | Tokstyle.Common.TypeSystem |
| UnionDescr | Tokstyle.Common.TypeSystem |
| UnionRef | Tokstyle.Common.TypeSystem |
| UnresolvedRef | Tokstyle.Common.TypeSystem |
| unsetRetTy | Tokstyle.C.Env |
| Var | Tokstyle.Common.TypeSystem |
| VarLocation | Tokstyle.Analysis.Types |
| vars | Tokstyle.Common.TypeSystem |
| VoidTy | Tokstyle.Common.TypeSystem |
| Worklist | Tokstyle.Worklist |