• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for tokstyle-0.0.9 candidate source tarball

tokstyle-0.0.9/

• LICENSE
• Setup.lhs
• tokstyle.cabal
• src/
  • Tokstyle/
    • Common.hs
    • Linter.hs
    • Worklist.hs
    • Analysis/
      • CFG.hs
      • DataFlow.hs
      • PointsTo.hs
      • Scope.hs
      • Types.hs
      • VTable.hs
      • PointsTo/
        • ExternalSummaries.hs
        • Fixpoint.hs
        • Types.hs
    • C/
      • Env.hs
      • Linter.hs
      • Patterns.hs
      • TravUtils.hs
      • TraverseAst.hs
      • Linter/
        • BoolConversion.hs
        • CallbackParams.hs
        • Cast.hs
        • Conversion.hs
        • Memset.hs
        • SizeArg.hs
        • Sizeof.hs
        • VoidCall.hs
    • Common/
      • EnumLinter.hs
      • Patterns.hs
      • StructLinter.hs
      • TypeSystem.hs
    • Linter/
      • Assert.hs
      • BooleanReturn.hs
      • Booleans.hs
      • CallbackNames.hs
      • Callgraph.hs
      • CallocArgs.hs
      • CallocType.hs
      • CompoundInit.hs
      • Constness.hs
      • DeclaredOnce.hs
      • DeclsHaveDefns.hs
      • DocComments.hs
      • EnumDefines.hs
      • EnumNames.hs
      • FuncPrototypes.hs
      • FuncScopes.hs
      • GlobalFuncs.hs
      • LoggerCalls.hs
      • LoggerConst.hs
      • LoggerNoEscapes.hs
      • MallocCall.hs
      • MallocType.hs
      • MemcpyStructs.hs
      • Nesting.hs
      • Nullability.hs
      • OwnershipDecls.hs
      • Parens.hs
      • PointsTo.hs
      • PointsToAsserts.hs
      • SwitchIf.hs
      • TaggedUnion.hs
      • TypeCheck.hs
      • TypedefName.hs
      • UnsafeFunc.hs
      • VarUnusedInScope.hs
    • SemFmt/
      • EnumFromInt.hs
      • EnumToString.hs
      • EnumUnpack.hs
      • StructPack.hs
• test/
  • testsuite.hs
  • Tokstyle/
    • LinterSpec.hs
    • Analysis/
      • DataFlowSpec.hs
      • PointsToSpec.hs
      • ScopeSpec.hs
      • VTableSpec.hs
    • C/
      • LinterSpec.hs
      • Linter/
        • BoolConversionSpec.hs
        • CallbackParamsSpec.hs
        • CastSpec.hs
        • ConversionSpec.hs
        • MemsetSpec.hs
        • SizeArgSpec.hs
        • SizeofSpec.hs
        • VoidCallSpec.hs
    • Linter/
      • AssertSpec.hs
      • BooleanReturnSpec.hs
      • BooleansSpec.hs
      • CallbackNamesSpec.hs
      • CallgraphSpec.hs
      • CallocArgsSpec.hs
      • CallocTypeSpec.hs
      • CompoundInitSpec.hs
      • ConstnessSpec.hs
      • DeclaredOnceSpec.hs
      • DeclsHaveDefnsSpec.hs
      • DocCommentsSpec.hs
      • EnumDefinesSpec.hs
      • EnumNamesSpec.hs
      • FuncPrototypesSpec.hs
      • FuncScopesSpec.hs
      • GlobalFuncsSpec.hs
      • LoggerCallsSpec.hs
      • LoggerConstSpec.hs
      • LoggerNoEscapesSpec.hs
      • MallocCallSpec.hs
      • MallocTypeSpec.hs
      • MemcpyStructsSpec.hs
      • NestingSpec.hs
      • NullabilitySpec.hs
      • OwnershipDeclsSpec.hs
      • ParensSpec.hs
      • PointsToAssertsSpec.hs
      • PointsToSpec.hs
      • SwitchIfSpec.hs
      • TaggedUnionSpec.hs
      • TypeCheckSpec.hs
      • TypedefNameSpec.hs
      • UnsafeFuncSpec.hs
      • VarUnusedInScopeSpec.hs
    • SemFmt/
      • EnumFromIntSpec.hs
      • EnumToStringSpec.hs
      • EnumUnpackSpec.hs
      • StructPackSpec.hs
• tools/
  • check-c.hs
  • check-cimple.hs
• web/
  • webservice.hs
  • Tokstyle/
    • App.hs