path # lines of code number of updates days since first update days since last update first updated last updated website/static/odoc/next/index.html 19 3 701 553 2020-05-14 2020-10-09 website/static/odoc/next/odoc.css 592 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/JavaFrontend.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Labs/ResourceLeaks/index.html 4 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostAutoreleaseModels/Call/index.html 4 8 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Costlib/Cost/index.html 20 12 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostAllocationModels/ProcName/index.html 4 8 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Costlib/Hoisting/index.html 9 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/ConstraintSolver/Equalities/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostUtils/Collection/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostUtils/Array/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostUtils/CString/index.html 5 8 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Costlib/CostUtils/Container/index.html 5 2 142 37 2021-11-24 2022-03-09 website/static/odoc/next/infer/Costlib/CostUtils/NSCollection/index.html 5 8 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Costlib/CostUtils/module-type-S/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/BoundsOfArray/index.html 56 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/IntHashMap/index.html 7 11 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/JavaString/index.html 36 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCString/index.html 56 9 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/Algorithm/index.html 30 3 142 37 2021-11-24 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/NSString/index.html 22 9 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/Iterator/index.html 6 2 142 37 2021-11-24 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/Call/index.html 4 11 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/BoundsOfNSCollection/index.html 56 9 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCollection/index.html 56 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/NSCollection/index.html 21 9 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/ImmutableSet/index.html 12 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Costlib/CostModels/BoundsOfContainer/index.html 56 2 142 37 2021-11-24 2022-03-09 website/static/odoc/next/infer/IBase.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Backend.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Checkers/PurityAnalysis/index.html 5 8 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/Checkers/Siof/index.html 4 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Checkers/AnnotationReachability/index.html 4 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Checkers/Loop_control/index.html 11 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Checkers/PurityModels/ProcName/index.html 4 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Checkers/RequiredProps/index.html 4 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Checkers/Impurity/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Checkers/Uninit/index.html 4 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Integration.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ClangFrontend/AstToRangeMap/index.html 6 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ClangFrontend/CVar_decl/index.html 41 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ClangFrontend/ObjcMethod_decl/index.html 10 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ClangFrontend/ProcessAST/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ClangFrontend/CStructUtils/index.html 9 5 350 37 2021-04-30 2022-03-09 website/static/odoc/next/infer/ClangFrontend/CFrontend/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ClangFrontend/CModule_type/module-type-CFrontend/index.html 14 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/CStubs/Fnv64Hash/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/CStubs/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/IR/Typ/Name/Cpp/index.html 6 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ClangUnitTests/ALIssuesTests/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/IStdlib.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Integration/IssuesTest/index.html 10 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Integration/CostIssuesTest/index.html 6 9 673 37 2020-06-11 2022-03-09 website/static/odoc/next/infer/Integration/TraceBugs/index.html 14 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Integration/ReportDiff/index.html 9 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ASTLanguage.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/TestDeterminators/TestDeterminator/index.html 13 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Backend/Procedures/index.html 16 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Backend/FileScheduler/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Backend/Payloads/Fields/Direct/index.html 604 13 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Backend/NodePrinter/index.html 7 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Absint/Reporting/index.html 41 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Absint/Decompile/index.html 12 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Absint/AbstractDomain/StackedUtils/index.html 32 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Absint/Localise/Tags/index.html 2 9 673 37 2020-06-11 2022-03-09 website/static/odoc/next/infer/Dotnet/ResourceLeaksCS/index.html 4 7 421 37 2021-02-18 2022-03-09 website/static/odoc/next/infer/JavaFrontend/JTransExn/index.html 8 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/JavaFrontend/JAnnotation/index.html 6 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Concurrency/RacerDFileAnalysis/index.html 4 7 421 37 2021-02-18 2022-03-09 website/static/odoc/next/infer/Concurrency/Starvation/index.html 21 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Concurrency/RacerDProcAnalysis/index.html 4 7 421 37 2021-02-18 2022-03-09 website/static/odoc/next/infer/OpenSource/FbCostModels/Call/index.html 6 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/BO/BufferOverrunChecker/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/BO/BufferOverrunModels/Collection/index.html 10 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/BO/BufferOverrunModels/JavaString/index.html 11 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/BO/BufferOverrunModels/NSString/index.html 6 8 553 37 2020-10-09 2022-03-09 website/static/odoc/next/infer/BO/BufferOverrunModels/Call/index.html 3 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/BO/BufferOverrunSemantics/Prune/index.html 7 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/BO/BufferOverrunUtils/Exec/index.html 32 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/BO/BufferOverrunUtils/Check/index.html 35 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ASTLanguage/AL/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/IStdlib/IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/IStdlib/ISequence/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/IStdlib/IStd/module-type-T1/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/IStdlib/IStd/module-type-T/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/IStdlib/IStd/module-type-T3/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/IStdlib/IStd/module-type-T2/index.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Nullsafe/EradicateReporting/index.html 7 9 673 37 2020-06-11 2022-03-09 website/static/odoc/next/infer/Nullsafe/Eradicate/index.html 7 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Nullsafe/FileLevelAnalysis/index.html 4 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseReport/index.html 33 10 421 37 2021-02-18 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseRefCounting/index.html 9 2 81 37 2022-01-24 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseBlockSpecialization/index.html 7 1 37 37 2022-03-09 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseInterproc/index.html 25 13 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseModelsImport/Hist/index.html 43 2 85 37 2022-01-20 2022-03-09 website/static/odoc/next/infer/Pulselib/Pulse/index.html 4 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseBaseMemory/AddrTrace/index.html 3 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseModelsCpp/Vector/index.html 13 2 85 37 2022-01-20 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseTaintOperations/index.html 13 1 37 37 2022-03-09 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseModels/index.html 8 14 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseModelsJava/index.html 12 2 85 37 2022-01-20 2022-03-09 website/static/odoc/next/infer/Pulselib/PulseBaseDomain/GraphVisit/index.html 23 4 326 37 2021-05-24 2022-03-09 website/static/odoc/next/infer/Checkers.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/TestDeterminators.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Absint.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Biabduction/Buckets/index.html 7 10 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Biabduction/Interproc/index.html 4 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Biabduction/Errdesc/index.html 75 14 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Biabduction/RetainCycles/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Biabduction/DotBiabduction/index.html 5 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/ErlangFrontend/ErlangTranslator/index.html 5 7 326 37 2021-05-24 2022-03-09 website/static/odoc/next/infer/ATDGenerated.html 2 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Quandary/ClangTaintAnalysis/index.html 4 9 701 37 2020-05-14 2022-03-09 website/static/odoc/next/infer/Quandary/JavaTaintAnalysis/index.html 4 9 701 37 2020-05-14 2022-03-09 website/static/odoc/1.0.0/index.html 19 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/odoc.css 567 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/JavaFrontend.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Backend__ClosureSubstSpecializedMethod/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Costlib__CostAllocationModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Nullsafe.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Costlib/CostAutoreleaseModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Costlib/CostAllocationModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Costlib/ConstraintSolver/Equalities/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IBase.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ASTLanguage__RegisterCallback/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers/FunctionPointers/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers/PrintfArgs/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers/SelfInBlock/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers/InefficientKeysetIterator/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IR__Io_infer/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers__SelfInBlock/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Biabduction__ObjCDispatchModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers__FunctionPointers/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IR__BiabductionModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/CStubs/Fnv64Hash/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/CStubs/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/NullsafeUnitTests__AllNullsafeTests/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/NullsafeUnitTests/AllNullsafeTests/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IR/Io_infer/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IR/BiabductionModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ClangUnitTests/ALIssuesTests/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ClangUnitTests/ClangTests/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ClangUnitTests/QualifiedCppNameTests/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Costlib__ConstraintSolver/Equalities/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__AccessTree/module-type-Config/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Backend__StarvationGlobalAnalysis/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration/Ant/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration/Maven/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration/BuckJavaFlavor/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration/NdkBuild/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/BO__BufferOverrunProofObligations/Condition/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Costlib__CostAutoreleaseModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__LowerHil/module-type-HilConfig/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__LowerHil/DefaultConfig/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__IResult/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__IStd/module-type-T1/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__IStd/module-type-T/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__IStd/module-type-T3/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__IStd/module-type-T2/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration__Maven/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IR__Typ/IntegerWidths/SQLite/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ATDGenerated__Clang_ast_types/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ASTLanguage.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ASTLanguage__ALDebugger/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__AbstractDomain/BottomLiftedUtils/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__AbstractDomain/DownwardIntDomain/argument-1-MaxCount/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__AbstractDomain/CountDomain/argument-1-MaxCount/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__AbstractDomain/TopLiftedUtils/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__AbstractDomain/module-type-MaxCount/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/BO__BufferOverrunDomain/LoopHeadLoc/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/BO__BufferOverrunDomain/ItvUpdatedBy/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/BO__BufferOverrunDomain/AliasRet/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ClangUnitTests__ClangTests/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Backend/ClosuresSubstitution/ExpClosure/index.html 4 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Backend/StarvationGlobalAnalysis/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IR__BUILTINS/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers__InefficientKeysetIterator/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint/LowerHil/module-type-HilConfig/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint/LowerHil/DefaultConfig/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint/AbstractInterpreter/VisitCount/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint/AbstractDomain/BottomLiftedUtils/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint/AbstractDomain/CountDomain/argument-1-MaxCount/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint/AbstractDomain/TopLiftedUtils/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint/AbstractDomain/module-type-MaxCount/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint/Localise/Tags/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__Localise/Tags/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IR__Annot/Class/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IBase__SqliteUtils/MarshalledNullableDataNOTForComparison/argument-1-D/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IBase__SqliteUtils/MarshalledDataNOTForComparison/argument-1-D/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/OpenSource/FbCostModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/CStubs__Fnv64Hash/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/BO/BufferOverrunDomain/LoopHeadLoc/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/BO/BufferOverrunDomain/ItvUpdatedBy/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/BO/BufferOverrunDomain/AliasRet/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/BO/BufferOverrunProofObligations/Condition/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Backend__ClosuresSubstitution/ExpClosure/index.html 4 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Backend__ReverseAnalysisCallGraph/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ASTLanguage/ALDebugger/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ASTLanguage/RegisterCallback/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ClangUnitTests__ALIssuesTests/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IBase/SqliteUtils/MarshalledNullableDataNOTForComparison/argument-1-D/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IBase/SqliteUtils/MarshalledDataNOTForComparison/argument-1-D/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration__NdkBuild/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ATDGenerated/Clang_ast_types/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib/IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib/IResult/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib/RecencyMap/Make/argument-3-Config/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib/RecencyMap/module-type-Config/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib/IStd/module-type-T1/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib/IStd/module-type-T/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib/IStd/module-type-T3/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib/IStd/module-type-T2/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__RecencyMap/Make/argument-3-Config/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__RecencyMap/module-type-Config/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Nullsafe/NullsafeInit/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers__PrintfArgs/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Absint__AbstractInterpreter/VisitCount/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Nullsafe__NullsafeInit/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/TOPLlib__ToplAstOps/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Checkers.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration__Ant/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ClangUnitTests__QualifiedCppNameTests/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/OpenSource__FbCostModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration__BuckJavaFlavor/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/TestDeterminators.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Biabduction/ObjCDispatchModels/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/IStdlib__ImperativeUnionFind/Make/Repr/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/ATDGenerated.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/TOPLlib/ToplAstOps/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.0.0/infer/Integration__XcodeBuild/index.html 2 1 553 553 2020-10-09 2020-10-09 website/static/odoc/1.1.0/index.html 19 1 385 385 2021-03-26 2021-03-26 website/static/odoc/1.1.0/odoc.css 567 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Dotnet__ResourceLeakCSDomain/LeakList/Let_syntax/Let_syntax/Open_on_rhs/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/JavaFrontend.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Backend__ClosureSubstSpecializedMethod/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__StdTyp/Name/CSharp/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__StdTyp/Name/Objc/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__StdTyp/Objc/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Costlib__CostAllocationModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Nullsafe.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Costlib/CostAutoreleaseModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Costlib/CostAllocationModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Costlib/ConstraintSolver/Equalities/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IBase.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ASTLanguage__RegisterCallback/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers/FunctionPointers/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers/PrintfArgs/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers/SelfInBlock/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers/InefficientKeysetIterator/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers/ExternalConfigImpactData/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__Io_infer/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers__SelfInBlock/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Biabduction__ObjCDispatchModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers__FunctionPointers/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__BiabductionModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/CStubs/Fnv64Hash/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/CStubs/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/NullsafeUnitTests__AllNullsafeTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/NullsafeUnitTests/AllNullsafeTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR/Io_infer/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR/StdTyp/Name/CSharp/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR/StdTyp/Name/Objc/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR/StdTyp/Objc/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR/Typ/Name/CSharp/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR/BiabductionModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ClangUnitTests/ALIssuesTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ClangUnitTests/ClangTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ClangUnitTests/QualifiedCppNameTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Costlib__ConstraintSolver/Equalities/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__AccessTree/module-type-Config/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Backend__StarvationGlobalAnalysis/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration/Ant/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration/Maven/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration/BuckJavaFlavor/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration/ConfigImpactIssuesTest/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration/NdkBuild/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/BO__BufferOverrunProofObligations/Condition/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Costlib__CostAutoreleaseModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__LowerHil/module-type-HilConfig/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__LowerHil/DefaultConfig/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__IResult/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__IStd/module-type-T1/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__IStd/module-type-T/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__IStd/module-type-T3/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__IStd/module-type-T2/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers__ExternalConfigImpactData/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration__Maven/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__Typ/IntegerWidths/SQLite/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__Typ/Name/CSharp/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ATDGenerated__Clang_ast_types/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ASTLanguage.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ASTLanguage__ALDebugger/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__AbstractDomain/BottomLiftedUtils/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__AbstractDomain/DownwardIntDomain/argument-1-MaxCount/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__AbstractDomain/CountDomain/argument-1-MaxCount/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__AbstractDomain/TopLiftedUtils/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__AbstractDomain/module-type-MaxCount/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/BO__BufferOverrunDomain/LoopHeadLoc/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/BO__BufferOverrunDomain/ItvUpdatedBy/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/BO__BufferOverrunDomain/AliasRet/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ClangUnitTests__ClangTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Backend/InferAnalyzeJson/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Backend/ClosuresSubstitution/ExpClosure/index.html 4 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Backend/StarvationGlobalAnalysis/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Backend__InferAnalyzeJson/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__BUILTINS/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers__InefficientKeysetIterator/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint/LowerHil/module-type-HilConfig/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint/LowerHil/DefaultConfig/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint/AbstractInterpreter/VisitCount/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint/AbstractDomain/BottomLiftedUtils/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint/AbstractDomain/CountDomain/argument-1-MaxCount/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint/AbstractDomain/TopLiftedUtils/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint/AbstractDomain/module-type-MaxCount/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint/Localise/Tags/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__Localise/Tags/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Dotnet/ResourceLeakCSDomain/LeakList/Let_syntax/Let_syntax/Open_on_rhs/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IR__Annot/Class/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IBase__SqliteUtils/MarshalledNullableDataNOTForComparison/argument-1-D/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IBase__SqliteUtils/MarshalledDataNOTForComparison/argument-1-D/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/OpenSource/FbCostModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/CStubs__Fnv64Hash/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/BO/BufferOverrunDomain/LoopHeadLoc/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/BO/BufferOverrunDomain/ItvUpdatedBy/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/BO/BufferOverrunDomain/AliasRet/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/BO/BufferOverrunProofObligations/Condition/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Backend__ClosuresSubstitution/ExpClosure/index.html 4 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Backend__ReverseAnalysisCallGraph/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ASTLanguage/ALDebugger/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ASTLanguage/RegisterCallback/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ClangUnitTests__ALIssuesTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IBase/SqliteUtils/MarshalledNullableDataNOTForComparison/argument-1-D/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IBase/SqliteUtils/MarshalledDataNOTForComparison/argument-1-D/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__PhysEqual/index.html 5 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration__NdkBuild/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ATDGenerated/Clang_ast_types/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/IOption/Let_syntax/Let_syntax/Open_on_rhs/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/IResult/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/RecencyMap/Make/argument-3-Config/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/RecencyMap/module-type-Config/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/PhysEqual/index.html 5 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/IStd/module-type-T1/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/IStd/module-type-T/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/IStd/module-type-T3/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib/IStd/module-type-T2/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__RecencyMap/Make/argument-3-Config/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__RecencyMap/module-type-Config/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Nullsafe/NullsafeInit/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers__PrintfArgs/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Absint__AbstractInterpreter/VisitCount/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Nullsafe__NullsafeInit/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/UnitTests__HilExpTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Topllib__ToplAstOps/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Checkers.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration__Ant/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ClangUnitTests__QualifiedCppNameTests/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/OpenSource__FbCostModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration__BuckJavaFlavor/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/TestDeterminators.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Biabduction/ObjCDispatchModels/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/IStdlib__ImperativeUnionFind/Make/Repr/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/ATDGenerated.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Topllib/ToplAstOps/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration__XcodeBuild/index.html 2 2 385 350 2021-03-26 2021-04-30 website/static/odoc/1.1.0/infer/Integration__ConfigImpactIssuesTest/index.html 2 2 385 350 2021-03-26 2021-04-30 website/docusaurus.config.js 109 9 772 42 2020-03-04 2022-03-04 website/sidebars.js 30 9 772 387 2020-03-04 2021-03-24 website/src/css/custom.css 42 3 772 42 2020-03-04 2022-03-04 website/src/components/HtmlWrap.js 10 1 668 668 2020-06-16 2020-06-16 website/src/components/Script.js 17 1 772 772 2020-03-04 2020-03-04 website/src/pages/styles.module.css 61 3 772 709 2020-03-04 2020-05-06 website/src/pages/index.js 230 8 772 25 2020-03-04 2022-03-21 Makefile.autoconf.in 106 43 1918 73 2017-01-13 2022-02-01 sledge/nonstdlib/ocaml/map.ml 570 2 418 196 2021-02-21 2021-10-01 sledge/nonstdlib/ocaml/map.mli 341 2 418 196 2021-02-21 2021-10-01 sledge/nonstdlib/ocaml/set.ml 623 2 418 196 2021-02-21 2021-10-01 sledge/nonstdlib/ocaml/set.mli 281 2 418 196 2021-02-21 2021-10-01 sledge/nonstdlib/sys.mli 11 1 542 542 2020-10-20 2020-10-20 sledge/nonstdlib/hashSet.mli 14 1 542 542 2020-10-20 2020-10-20 sledge/nonstdlib/monad_intf.ml 22 1 535 535 2020-10-27 2020-10-27 sledge/nonstdlib/hashSet.ml 25 2 542 418 2020-10-20 2021-02-21 sledge/nonstdlib/comparer.ml 70 1 418 418 2021-02-21 2021-02-21 sledge/nonstdlib/NSSet.ml 104 4 418 183 2021-02-21 2021-10-14 sledge/nonstdlib/q_ext.ml 19 2 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/z_ext.mli 19 2 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/multiset.mli 20 3 542 418 2020-10-20 2021-02-21 sledge/nonstdlib/option.mli 20 8 674 196 2020-06-10 2021-10-01 sledge/nonstdlib/q_ext.mli 16 2 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/array.mli 46 8 542 30 2020-10-20 2022-03-16 sledge/nonstdlib/sys.ml 8 1 542 542 2020-10-20 2020-10-20 sledge/nonstdlib/NSSet.mli 21 1 418 418 2021-02-21 2021-02-21 sledge/nonstdlib/int.ml 39 3 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/float.mli 15 1 542 542 2020-10-20 2020-10-20 sledge/nonstdlib/hashTable.ml 33 4 542 418 2020-10-20 2021-02-21 sledge/nonstdlib/iter.mli 76 5 588 418 2020-09-04 2021-02-21 sledge/nonstdlib/sign.ml 11 1 542 542 2020-10-20 2020-10-20 sledge/nonstdlib/array.ml 108 8 542 30 2020-10-20 2022-03-16 sledge/nonstdlib/ral.ml 11 1 340 340 2021-05-10 2021-05-10 sledge/nonstdlib/iArray.mli 61 8 674 30 2020-06-10 2022-03-16 sledge/nonstdlib/sign.mli 10 1 542 542 2020-10-20 2020-10-20 sledge/nonstdlib/list.mli 123 8 674 196 2020-06-10 2021-10-01 sledge/nonstdlib/multiset.ml 94 6 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/NSMap.ml 198 5 418 203 2021-02-21 2021-09-24 sledge/nonstdlib/string.ml 32 3 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/multiset_intf.ml 87 5 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/hashTable.mli 10 1 542 542 2020-10-20 2020-10-20 sledge/nonstdlib/option.ml 20 8 674 196 2020-06-10 2021-10-01 sledge/nonstdlib/hashTable_intf.ml 20 3 542 431 2020-10-20 2021-02-08 sledge/nonstdlib/list.ml 147 8 674 196 2020-06-10 2021-10-01 sledge/nonstdlib/NS0.ml 186 14 674 32 2020-06-10 2022-03-14 sledge/nonstdlib/timer.mli 42 2 674 242 2020-06-10 2021-08-16 sledge/nonstdlib/NSMap.mli 21 1 418 418 2021-02-21 2021-02-21 sledge/nonstdlib/iArray.ml 15 4 674 196 2020-06-10 2021-10-01 sledge/nonstdlib/string.mli 23 3 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/iter.ml 98 7 588 147 2020-09-04 2021-11-19 sledge/nonstdlib/ral.mli 15 1 340 340 2021-05-10 2021-05-10 sledge/nonstdlib/int.mli 37 3 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/NS.ml 52 10 674 171 2020-06-10 2021-10-26 sledge/nonstdlib/NSMap_intf.ml 133 5 418 203 2021-02-21 2021-09-24 sledge/nonstdlib/monad.ml 41 2 668 535 2020-06-16 2020-10-27 sledge/nonstdlib/z_ext.ml 17 2 542 196 2020-10-20 2021-10-01 sledge/nonstdlib/NS.mli 180 19 674 32 2020-06-10 2022-03-14 sledge/nonstdlib/monad.mli 18 2 668 535 2020-06-16 2020-10-27 sledge/nonstdlib/timer.ml 61 3 674 196 2020-06-10 2021-10-01 sledge/nonstdlib/float.ml 15 1 542 542 2020-10-20 2020-10-20 sledge/nonstdlib/NSSet_intf.ml 89 3 418 196 2021-02-21 2021-10-01 sledge/nonstdlib/comparer.mli 73 1 418 418 2021-02-21 2021-02-21 sledge/ROADMAP.org 140 3 1073 32 2019-05-08 2022-03-14 sledge/TODO.org 303 13 1484 588 2018-03-23 2020-09-04 sledge/semantics/llvm_ssaScript.sml 1752 6 927 728 2019-10-01 2020-04-17 sledge/semantics/llairScript.sml 507 10 966 802 2019-08-23 2020-02-03 sledge/semantics/settingsScript.sml 58 5 976 931 2019-08-13 2019-09-27 sledge/semantics/llvmScript.sml 787 13 976 728 2019-08-13 2020-04-17 sledge/semantics/memory_modelScript.sml 578 4 960 802 2019-08-29 2020-02-03 sledge/semantics/llvm_propScript.sml 1019 8 976 904 2019-08-13 2019-10-24 sledge/semantics/llvm_to_llair_sem_propScript.sml 2096 2 729 728 2020-04-16 2020-04-17 sledge/semantics/miscScript.sml 927 11 960 728 2019-08-29 2020-04-17 sledge/semantics/llvm_to_llairScript.sml 401 11 966 729 2019-08-23 2020-04-16 sledge/semantics/llvm_to_llair_propScript.sml 1165 10 953 728 2019-09-05 2020-04-17 sledge/semantics/llair_propScript.sml 558 7 953 802 2019-09-05 2020-02-03 sledge/cli/smtlib.mli 8 1 577 577 2020-09-15 2020-09-15 sledge/cli/domain_itv.mli 9 2 577 358 2020-09-15 2021-04-22 sledge/cli/smtlib.ml 171 6 577 418 2020-09-15 2021-02-21 sledge/cli/config.mli 10 1 577 577 2020-09-15 2020-09-15 sledge/cli/version.mli 10 1 577 577 2020-09-15 2020-09-15 sledge/cli/sledge_buck.ml 222 4 577 242 2020-09-15 2021-08-16 sledge/cli/version.ml 43 4 577 308 2020-09-15 2021-06-11 sledge/cli/config.ml 36 2 577 387 2020-09-15 2021-03-24 sledge/cli/sledge_cli.ml 311 20 577 21 2020-09-15 2022-03-25 sledge/cli/domain_itv.ml 274 16 577 30 2020-09-15 2022-03-16 sledge/cli/frontend.ml 1668 18 577 30 2020-09-15 2022-03-16 sledge/cli/frontend.mli 17 3 577 183 2020-09-15 2021-10-14 sledge/cli/sledge_buck.mli 8 3 577 387 2020-09-15 2021-03-24 sledge/HACKING.adoc 21 2 766 725 2020-03-10 2020-04-20 sledge/model/lib_fuzzer_main.c 8 1 1033 1033 2019-06-17 2019-06-17 sledge/model/cxxabi.cpp 34 7 1484 147 2018-03-23 2021-11-19 sledge/model/llair_intrinsics.h 20 11 1484 147 2018-03-23 2021-11-19 sledge/report/sledge_report.ml 805 14 588 21 2020-09-04 2022-03-25 sledge/ppx_trace/trace/trace.mli 54 4 766 382 2020-03-10 2021-03-29 sledge/ppx_trace/trace/trace.ml 249 10 766 203 2020-03-10 2021-09-24 sledge/ppx_trace/ppx_trace.ml 122 9 766 21 2020-03-10 2022-03-25 sledge/src/stop.mli 10 3 1019 358 2019-07-01 2021-04-22 sledge/src/domain_relation.mli 20 6 725 287 2020-04-20 2021-07-02 sledge/src/domain_relation.ml 117 12 725 147 2020-04-20 2021-11-19 sledge/src/domain_unit.ml 38 10 725 147 2020-04-20 2021-11-19 sledge/src/fol/subst.mli 10 1 430 430 2021-02-09 2021-02-09 sledge/src/fol/fml.mli 66 5 527 291 2020-11-04 2021-06-28 sledge/src/fol/context.ml 1375 17 527 49 2020-11-04 2022-02-25 sledge/src/fol/theory.mli 18 4 437 171 2021-02-02 2021-10-26 sledge/src/fol/funsym.ml 141 4 527 203 2020-11-04 2021-09-24 sledge/src/fol/theory.ml 183 9 437 147 2021-02-02 2021-11-19 sledge/src/fol/trm.ml 532 14 527 170 2020-11-04 2021-10-27 sledge/src/fol/var.ml 8 1 527 527 2020-11-04 2020-11-04 sledge/src/fol/predsym.mli 10 2 527 196 2020-11-04 2021-10-01 sledge/src/fol/var.mli 8 1 527 527 2020-11-04 2020-11-04 sledge/src/fol/propositional.ml 296 5 527 242 2020-11-04 2021-08-16 sledge/src/fol/arithmetic.mli 27 3 527 418 2020-11-04 2021-02-21 sledge/src/fol/exp.ml 354 6 527 171 2020-11-04 2021-10-26 sledge/src/fol/subst.ml 67 3 430 147 2021-02-09 2021-11-19 sledge/src/fol/propositional.mli 14 3 527 418 2020-11-04 2021-02-21 sledge/src/fol/arithmetic_intf.ml 99 9 527 203 2020-11-04 2021-09-24 sledge/src/fol/propositional_intf.ml 54 4 527 291 2020-11-04 2021-06-28 sledge/src/fol/exp.mli 111 4 527 171 2020-11-04 2021-10-26 sledge/src/fol/context.mli 93 6 527 171 2020-11-04 2021-10-26 sledge/src/fol/funsym.mli 44 1 527 527 2020-11-04 2020-11-04 sledge/src/fol/fml.ml 191 9 527 171 2020-11-04 2021-10-26 sledge/src/fol/var_intf.ml 33 8 527 387 2020-11-04 2021-03-24 sledge/src/fol/arithmetic.ml 410 11 527 203 2020-11-04 2021-09-24 sledge/src/fol/fol.ml 13 1 527 527 2020-11-04 2020-11-04 sledge/src/fol/trm.mli 132 9 527 171 2020-11-04 2021-10-26 sledge/src/fol/predsym.ml 12 2 527 196 2020-11-04 2021-10-01 sledge/src/fol/fol.mli 13 1 527 527 2020-11-04 2020-11-04 sledge/src/fol/subst_intf.ml 35 1 430 430 2021-02-09 2021-02-09 sledge/src/solver.mli 17 5 725 458 2020-04-20 2021-01-12 sledge/src/or_alarm.mli 9 1 358 358 2021-04-22 2021-04-22 sledge/src/domain_sh.mli 17 6 725 287 2020-04-20 2021-07-02 sledge/src/threadID.ml 8 2 287 196 2021-07-02 2021-10-01 sledge/src/domain_sh.ml 397 25 725 49 2020-04-20 2022-02-25 sledge/src/report.ml 160 26 1276 21 2018-10-17 2022-03-25 sledge/src/control.mli 17 16 1281 315 2018-10-12 2021-06-04 sledge/src/domain_used_globals.ml 77 13 725 147 2020-04-20 2021-11-19 sledge/src/or_alarm.ml 16 1 358 358 2021-04-22 2021-04-22 sledge/src/domain_unit.mli 9 2 725 358 2020-04-20 2021-04-22 sledge/src/solver.ml 686 17 725 171 2020-04-20 2021-10-26 sledge/src/threadID.mli 8 2 287 196 2021-07-02 2021-10-01 sledge/src/llair/globalDefn.mli 12 2 518 196 2020-11-13 2021-10-01 sledge/src/llair/global.mli 10 10 1484 518 2018-03-23 2020-11-13 sledge/src/llair/reg.ml 8 2 920 674 2019-10-08 2020-06-10 sledge/src/llair/intrinsics.ml 13 4 499 49 2020-12-02 2022-02-25 sledge/src/llair/function.mli 10 1 518 518 2020-11-13 2020-11-13 sledge/src/llair/function.ml 8 1 518 518 2020-11-13 2020-11-13 sledge/src/llair/exp.ml 401 51 1484 183 2018-03-23 2021-10-14 sledge/src/llair/llair.mli 259 33 1484 49 2018-03-23 2022-02-25 sledge/src/llair/globalDefn.ml 20 4 518 183 2020-11-13 2021-10-14 sledge/src/llair/typ.mli 70 15 1484 196 2018-03-23 2021-10-01 sledge/src/llair/llair.ml 746 51 1484 30 2018-03-23 2022-03-16 sledge/src/llair/global.ml 8 15 1484 518 2018-03-23 2020-11-13 sledge/src/llair/exp.mli 198 39 1484 196 2018-03-23 2021-10-01 sledge/src/llair/loc.ml 38 15 1484 196 2018-03-23 2021-10-01 sledge/src/llair/typ.ml 151 20 1484 196 2018-03-23 2021-10-01 sledge/src/llair/loc.mli 19 10 1484 196 2018-03-23 2021-10-01 sledge/src/llair/reg.mli 10 3 920 645 2019-10-08 2020-07-09 sledge/src/llair/builtins.ml 38 1 49 49 2022-02-25 2022-02-25 sledge/src/alarm.mli 16 2 358 49 2021-04-22 2022-02-25 sledge/src/sh.mli 122 13 725 171 2020-04-20 2021-10-26 sledge/src/llair_to_Fol.mli 13 4 542 287 2020-10-20 2021-07-02 sledge/src/exec.mli 29 9 725 49 2020-04-20 2022-02-25 sledge/src/alarm.ml 25 2 358 49 2021-04-22 2022-02-25 sledge/src/stop.ml 10 3 1019 358 2019-07-01 2021-04-22 sledge/src/control.ml 1001 67 1281 28 2018-10-12 2022-03-18 sledge/src/sh.ml 964 29 725 147 2020-04-20 2021-11-19 sledge/src/llair_to_Fol.ml 161 13 542 171 2020-10-20 2021-10-26 sledge/src/exec.ml 777 20 725 49 2020-04-20 2022-02-25 sledge/src/control_intf.ml 18 2 358 203 2021-04-22 2021-09-24 sledge/src/report.mli 49 18 1276 21 2018-10-17 2022-03-25 sledge/src/domain_intf.ml 63 11 725 147 2020-04-20 2021-11-19 sledge/src/domain_used_globals.mli 15 5 725 358 2020-04-20 2021-04-22 infer/models/java/builtins/com/facebook/infer/builtins/InferTaint.java 11 4 2026 1037 2016-09-27 2019-06-13 infer/models/java/builtins/com/facebook/infer/builtins/InferUndefined.java 108 4 2026 1037 2016-09-27 2019-06-13 infer/models/java/builtins/com/facebook/infer/builtins/InferUtils.java 19 4 2026 1037 2016-09-27 2019-06-13 infer/models/java/builtins/com/facebook/infer/builtins/InferCloseables.java 13 4 2026 1037 2016-09-27 2019-06-13 infer/models/java/builtins/com/facebook/infer/builtins/InferBuiltins.java 17 6 2026 1037 2016-09-27 2019-06-13 infer/models/java/src/junit/framework/Assert.java 16 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/org/assertj/core/util/Preconditions.java 20 5 1604 1037 2017-11-23 2019-06-13 infer/models/java/src/org/apache/commons/lang3/StringUtils.java 24 1 483 483 2020-12-18 2020-12-18 infer/models/java/src/dalvik/system/CloseGuard.java 6 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/net/PlainSocketImpl.java 121 9 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/net/URLConnection.java 28 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/net/URL.java 42 10 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/net/HttpURLConnection.java 11 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/net/JarURLConnection.java 6 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/net/Socket.java 26 11 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/net/ServerSocket.java 10 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/Vector.java 26 9 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/LinkedList.java 25 5 1946 1037 2016-12-16 2019-06-13 infer/models/java/src/java/util/HashMap.java 62 12 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/Scanner.java 42 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/List.java 23 6 1940 1037 2016-12-22 2019-06-13 infer/models/java/src/java/util/jar/JarFile.java 27 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/jar/JarOutputStream.java 19 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/jar/JarInputStream.java 15 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/AbstractList.java 36 6 1946 1037 2016-12-16 2019-06-13 infer/models/java/src/java/util/ArrayList.java 23 7 1946 1037 2016-12-16 2019-06-13 infer/models/java/src/java/util/zip/InflaterInputStream.java 24 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/ZipOutputStream.java 11 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/Inflater.java 13 6 2340 1037 2015-11-18 2019-06-13 infer/models/java/src/java/util/zip/DeflaterOutputStream.java 38 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/CheckedInputStream.java 17 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/GZIPInputStream.java 15 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/Deflater.java 16 6 2340 1037 2015-11-18 2019-06-13 infer/models/java/src/java/util/zip/ZipInputStream.java 14 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/ZipFile.java 41 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/util/zip/InflaterOutputStream.java 34 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/DeflaterInputStream.java 23 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/GZIPOutputStream.java 18 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/zip/CheckedOutputStream.java 19 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/Properties.java 33 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/util/concurrent/ReentrantLock.java 38 7 2262 1037 2016-02-04 2019-06-13 infer/models/java/src/java/util/concurrent/Lock.java 38 6 2262 1037 2016-02-04 2019-06-13 infer/models/java/src/java/security/DigestOutputStream.java 19 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/security/DigestInputStream.java 14 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/ObjectInputStream.java 82 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/ObjectOutputStream.java 72 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/FileOutputStream.java 60 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/io/FilterReader.java 22 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/FileInputStream.java 54 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/OutputStreamWriter.java 31 9 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/DataOutputStream.java 52 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/Writer.java 34 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/PushbackInputStream.java 31 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/BufferedReader.java 40 9 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/DataInputStream.java 55 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/BufferedWriter.java 25 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/InputStream.java 18 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/BufferedInputStream.java 22 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/Reader.java 30 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/OutputStream.java 20 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/FilterOutputStream.java 26 9 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/InputStreamReader.java 25 9 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/PipedReader.java 42 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/io/RandomAccessFile.java 122 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/io/BufferedOutputStream.java 27 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/PipedInputStream.java 36 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/io/File.java 12 7 2346 1037 2015-11-12 2019-06-13 infer/models/java/src/java/io/PipedWriter.java 50 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/io/FilterInputStream.java 22 10 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/PrintWriter.java 48 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/io/PipedOutputStream.java 30 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/java/io/PushbackReader.java 31 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/System.java 27 9 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/NullPointerException.java 5 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/Integer.java 21 7 2486 1037 2015-06-25 2019-06-13 infer/models/java/src/java/lang/Process.java 15 11 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/ProcessManager.java 19 9 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/reflect/Array.java 28 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/Class.java 18 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/Object.java 12 11 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/String.java 40 11 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/Double.java 19 3 1159 1037 2019-02-11 2019-06-13 infer/models/java/src/java/lang/Thread.java 14 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/lang/Runtime.java 24 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/nio/FileChannelImpl.java 70 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/nio/channels/FileChannel.java 26 11 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/java/nio/channels/spi/AbstractInterruptibleChannel.java 10 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/javax/crypto/CipherInputStream.java 20 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/javax/crypto/CipherOutputStream.java 28 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/javax/net/ssl/HttpsURLConnection.java 12 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/javax/net/ssl/SSLSocketFactory.java 26 7 2339 1037 2015-11-19 2019-06-13 infer/models/java/src/android/database/CrossProcessCursor.java 2 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/database/sqlite/SQLiteDatabase.java 146 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/database/sqlite/SQLiteDatabaseConfiguration.java 2 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/database/sqlite/SQLiteQueryBuilder.java 48 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/database/sqlite/SQLiteCursor.java 16 11 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/android/database/sqlite/SQLiteConnectionPool.java 2 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/database/AbstractCursor.java 2 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/database/CursorWrapper.java 14 12 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/database/CrossProcessCursorWrapper.java 2 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/database/Cursor.java 3 10 2491 1037 2015-06-20 2019-06-13 infer/models/java/src/android/app/Activity.java 29 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/app/AlarmManager.java 6 5 1483 1037 2018-03-24 2019-06-13 infer/models/java/src/android/app/DownloadManager.java 15 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/provider/MediaStore.java 26 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/content/ContentProviderClient.java 36 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/content/res/TypedArray.java 22 8 2495 1037 2015-06-16 2019-06-13 infer/models/java/src/android/content/res/Resources.java 29 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/content/ContentResolver.java 39 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/content/Context.java 31 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/content/IContentService.java 2 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/content/IContentProvider.java 2 6 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/android/view/View.java 8 1 781 781 2020-02-24 2020-02-24 infer/models/java/src/android/text/TextUtils.java 10 2 2465 1296 2015-07-16 2018-09-27 infer/models/java/src/com/google/common/collect/Iterators.java 24 8 2500 1037 2015-06-11 2019-06-13 infer/models/java/src/com/google/common/collect/ImmutableList.java 16 6 2500 1037 2015-06-11 2019-06-13 infer/models/java/src/com/google/common/io/Closeables.java 14 8 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/com/google/common/base/Preconditions.java 40 9 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/com/google/common/base/Optional.java 6 4 2136 1037 2016-06-09 2019-06-13 infer/models/java/src/com/facebook/infer/annotation/Assertions.java 33 4 1794 1037 2017-05-17 2019-06-13 infer/models/java/src/com/fasterxml/jackson/core/JsonFactory.java 34 7 2489 1037 2015-06-22 2019-06-13 infer/models/java/src/com/fasterxml/jackson/core/json/UTF8StreamJsonParser.java 95 7 2464 1037 2015-07-17 2019-06-13 infer/models/java/src/com/fasterxml/jackson/core/JsonParser.java 23 8 2489 1037 2015-06-22 2019-06-13 infer/models/cpp/src/type_info.cpp 18 3 2223 1037 2016-03-14 2019-06-13 infer/models/cpp/src/throw_wrappers.cpp 26 4 1759 1037 2017-06-21 2019-06-13 infer/models/cpp/src/shared_ptr.cpp 17 6 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSNotificationCenter.m 29 4 2251 1037 2016-02-15 2019-06-13 infer/models/objc/src/NSObject.m 9 6 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSRunLoop.m 27 5 2380 1037 2015-10-09 2019-06-13 infer/models/objc/src/NSDictionary.h 7 5 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSMapTable.h 4 3 2199 1037 2016-04-07 2019-06-13 infer/models/objc/src/NSFileHandle.m 26 6 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSTimer.h 43 5 2380 1037 2015-10-09 2019-06-13 infer/models/objc/src/CADisplayLink.h 12 5 2339 1037 2015-11-19 2019-06-13 infer/models/objc/src/NSString.m 72 12 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSMutableArray.h 8 5 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSMutableDictionary.m 21 8 2464 527 2015-07-17 2020-11-04 infer/models/objc/src/NSNumber.m 65 7 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSArray.h 4 5 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSRunLoop.h 14 4 2380 1037 2015-10-09 2019-06-13 infer/models/objc/src/NSMapTable.m 8 3 2199 1037 2016-04-07 2019-06-13 infer/models/objc/src/NSAutoreleasePool.m 9 6 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSDictionary.m 23 6 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSHTTPCookie.m 11 4 2160 1037 2016-05-16 2019-06-13 infer/models/objc/src/NSMutableArray.m 28 6 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSString.h 13 8 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/CADisplayLink.m 12 5 2339 1037 2015-11-19 2019-06-13 infer/models/objc/src/NSTimer.m 95 5 2380 1037 2015-10-09 2019-06-13 infer/models/objc/src/NSArray.m 30 9 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSMutableDictionary.h 5 5 2464 1037 2015-07-17 2019-06-13 infer/models/objc/src/NSNumber.h 5 5 2464 1037 2015-07-17 2019-06-13 infer/models/c/src/math.c 224 6 2464 1037 2015-07-17 2019-06-13 infer/models/c/src/wchar.c 285 7 2464 1037 2015-07-17 2019-06-13 infer/models/c/src/libc_basic.c 1337 22 2500 626 2015-06-11 2020-07-28 infer/models/c/src/infer_builtins.h 37 10 2464 1037 2015-07-17 2019-06-13 infer/models/c/src/glib.c 35 7 2464 1037 2015-07-17 2019-06-13 infer/models/c/src/wctype.c 35 6 2464 1037 2015-07-17 2019-06-13 infer/models/c/src/infer_builtins.c 56 9 2482 1037 2015-06-29 2019-06-13 infer/models/c/src/xlib.c 11 6 2464 1037 2015-07-17 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/NoAllocation.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/Assertions.java 56 7 1864 780 2017-03-08 2020-02-25 infer/annotations/src/main/java/com/facebook/infer/annotation/IntegritySink.java 9 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/ThreadSafe.java 10 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressReturnOverAnnotated.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/Nullsafe.java 32 3 807 380 2020-01-29 2021-03-31 infer/annotations/src/main/java/com/facebook/infer/annotation/Initializer.java 8 7 1864 780 2017-03-08 2020-02-25 infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressLint.java 13 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/Mutable.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/PerformanceCritical.java 8 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressNullFieldAccess.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/PrivacySource.java 13 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/ReturnsOwnership.java 8 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressFieldNotNullable.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/Functional.java 8 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/NullsafeStrict.java 9 2 907 380 2019-10-21 2021-03-31 infer/annotations/src/main/java/com/facebook/infer/annotation/PrivacySink.java 9 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/SynchronizedCollection.java 8 4 1848 1037 2017-03-24 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/Cleanup.java 8 2 1065 1037 2019-05-16 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/FalseOnNull.java 8 6 1864 780 2017-03-08 2020-02-25 infer/annotations/src/main/java/com/facebook/infer/annotation/ThreadConfined.java 12 5 1864 380 2017-03-08 2021-03-31 infer/annotations/src/main/java/com/facebook/infer/annotation/Lockless.java 8 1 941 941 2019-09-17 2019-09-17 infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressNullMethodCall.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/Present.java 14 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/TrueOnNull.java 8 6 1864 780 2017-03-08 2020-02-25 infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressViewNullability.java 8 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/OkToExtend.java 5 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/PropagatesNullable.java 8 6 1855 780 2017-03-17 2020-02-25 infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressParameterNotNullable.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/IgnoreAllocations.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/Verify.java 13 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/IntegritySource.java 13 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/Expensive.java 8 4 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/SuppressFieldNotInitialized.java 8 3 1864 1037 2017-03-08 2019-06-13 infer/annotations/src/main/java/com/facebook/infer/annotation/NonBlocking.java 8 3 1407 1037 2018-06-08 2019-06-13 infer/dune-workspace.in 6 1 765 765 2020-03-11 2020-03-11 infer/lib/clang_wrappers/global_defines.h 3 4 2202 1037 2016-04-04 2019-06-13 infer/lib/erlang/extract.escript 207 5 302 25 2021-06-17 2022-03-21 infer/lib/erlang/erlang.escript 181 5 357 25 2021-04-23 2022-03-21 infer/lib/erlang/infer_parse_transform/src/infer_parse_transform.erl 22 2 357 302 2021-04-23 2021-06-17 infer/lib/linter_rules/linters.al 178 40 1925 422 2017-01-06 2021-02-17 infer/src/infer.ml 165 72 1480 130 2018-03-27 2021-12-06 infer/src/labs/03_domain_top/ResourceLeakDomain.mli 13 2 1187 1037 2019-01-14 2019-06-13 infer/src/labs/03_domain_top/ResourceLeakDomain.ml 37 3 1187 898 2019-01-14 2019-10-30 infer/src/labs/03_domain_top/ResourceLeaks.mli 9 3 1187 689 2019-01-14 2020-05-26 infer/src/labs/03_domain_top/ResourceLeaks.ml 75 12 1187 242 2019-01-14 2021-08-16 infer/src/labs/01_integer_domain/ResourceLeakDomain.mli 13 2 1187 1037 2019-01-14 2019-06-13 infer/src/labs/01_integer_domain/ResourceLeakDomain.ml 18 3 1187 898 2019-01-14 2019-10-30 infer/src/labs/01_integer_domain/ResourceLeaks.mli 9 3 1187 689 2019-01-14 2020-05-26 infer/src/labs/01_integer_domain/ResourceLeaks.ml 75 12 1187 242 2019-01-14 2021-08-16 infer/src/labs/00_dummy_checker/ResourceLeakDomain.mli 10 2 1187 1037 2019-01-14 2019-06-13 infer/src/labs/00_dummy_checker/ResourceLeakDomain.ml 15 3 1187 898 2019-01-14 2019-10-30 infer/src/labs/00_dummy_checker/ResourceLeaks.mli 9 3 1187 689 2019-01-14 2020-05-26 infer/src/labs/00_dummy_checker/ResourceLeaks.ml 73 11 1187 367 2019-01-14 2021-04-13 infer/src/labs/ResourceLeakDomain.mli 10 2 1187 1037 2019-01-14 2019-06-13 infer/src/labs/ResourceLeakDomain.ml 15 9 1786 898 2017-05-25 2019-10-30 infer/src/labs/04_interprocedural/ResourceLeakDomain.mli 15 2 1187 1037 2019-01-14 2019-06-13 infer/src/labs/04_interprocedural/ResourceLeakDomain.ml 65 3 1187 898 2019-01-14 2019-10-30 infer/src/labs/04_interprocedural/ResourceLeaks.mli 9 3 1187 689 2019-01-14 2020-05-26 infer/src/labs/04_interprocedural/ResourceLeaks.ml 88 11 1187 367 2019-01-14 2021-04-13 infer/src/labs/05_access_paths_interprocedural/ResourceLeakDomain.mli 20 3 1187 689 2019-01-14 2020-05-26 infer/src/labs/05_access_paths_interprocedural/ResourceLeakDomain.ml 143 5 1187 689 2019-01-14 2020-05-26 infer/src/labs/05_access_paths_interprocedural/ResourceLeaks.mli 9 3 1187 689 2019-01-14 2020-05-26 infer/src/labs/05_access_paths_interprocedural/ResourceLeaks.ml 97 11 1187 367 2019-01-14 2021-04-13 infer/src/labs/ResourceLeaks.mli 9 4 1187 689 2019-01-14 2020-05-26 infer/src/labs/ResourceLeaks.ml 73 42 1786 367 2017-05-25 2021-04-13 infer/src/labs/02_domain_join/ResourceLeakDomain.mli 13 2 1187 1037 2019-01-14 2019-06-13 infer/src/labs/02_domain_join/ResourceLeakDomain.ml 18 3 1187 898 2019-01-14 2019-10-30 infer/src/labs/02_domain_join/ResourceLeaks.mli 9 3 1187 689 2019-01-14 2020-05-26 infer/src/labs/02_domain_join/ResourceLeaks.ml 75 12 1187 242 2019-01-14 2021-08-16 infer/src/unit/JavaProfilerSamplesTest.ml 231 22 1463 242 2018-04-13 2021-08-16 infer/src/unit/HilExpTests.ml 38 2 463 242 2021-01-07 2021-08-16 infer/src/unit/accessPathTestUtils.ml 16 20 2095 532 2016-07-20 2020-10-30 infer/src/unit/accessTreeTests.ml 514 35 2102 532 2016-07-13 2020-10-30 infer/src/unit/analyzerTester.ml 287 86 2230 42 2016-03-07 2022-03-04 infer/src/unit/FileDiffTests.ml 247 6 1457 884 2018-04-19 2019-11-13 infer/src/unit/addressTakenTests.ml 62 31 2215 351 2016-03-22 2021-04-29 infer/src/unit/GradleTests.ml 54 2 757 242 2020-03-19 2021-08-16 infer/src/unit/dune.in 24 1 704 704 2020-05-11 2020-05-11 infer/src/unit/weakTopologicalOrderTests.ml 86 4 1283 884 2018-10-10 2019-11-13 infer/src/unit/accessPathTestUtils.mli 12 11 2095 704 2016-07-20 2020-05-11 infer/src/unit/TaintTests.ml 142 88 2066 492 2016-08-18 2020-12-09 infer/src/unit/RestartSchedulerTests.ml 34 4 801 492 2020-02-04 2020-12-09 infer/src/unit/DifferentialTestsUtils.ml 42 26 1865 884 2017-03-07 2019-11-13 infer/src/unit/LRUHashtblTests.ml 69 3 772 498 2020-03-04 2020-12-03 infer/src/unit/DifferentialTests.ml 59 10 1865 403 2017-03-07 2021-03-08 infer/src/unit/DifferentialFiltersTests.ml 222 30 1865 242 2017-03-07 2021-08-16 infer/src/unit/livenessTests.ml 145 40 2201 42 2016-04-05 2022-03-04 infer/src/unit/TraceTests.ml 98 50 2069 242 2016-08-15 2021-08-16 infer/src/unit/schedulerTests.ml 106 39 2232 367 2016-03-05 2021-04-13 infer/src/unit/IListTests.ml 48 3 1304 785 2018-09-19 2020-02-20 infer/src/unit/abstractInterpreterTests.ml 117 29 2230 42 2016-03-07 2022-03-04 infer/src/unit/SeverityTests.ml 14 4 1316 676 2018-09-07 2020-06-08 infer/src/unit/procCfgTests.ml 156 38 2191 848 2016-04-15 2019-12-19 infer/src/unit/JavaClassNameTests.ml 113 6 764 242 2020-03-12 2021-08-16 infer/src/unit/CStubsTests.ml 20 1 877 877 2019-11-20 2019-11-20 infer/src/linking-flags-tv.sexp 17 1 157 157 2021-11-09 2021-11-09 infer/src/clang/ClangCommand.ml 235 49 1739 21 2017-07-11 2022-03-25 infer/src/clang/objcCategory_decl.mli 23 20 2464 865 2015-07-17 2019-12-02 infer/src/clang/objcInterface_decl.mli 21 21 2464 1037 2015-07-17 2019-06-13 infer/src/clang/ClangQuotes.mli 16 1 704 704 2020-05-11 2020-05-11 infer/src/clang/cFrontend_config.ml 86 82 2487 137 2015-06-24 2021-11-29 infer/src/clang/CType_decl.ml 737 85 1990 23 2016-11-02 2022-03-23 infer/src/clang/cTrans_utils.mli 247 99 2467 514 2015-07-14 2020-11-17 infer/src/clang/cLocation.ml 87 66 2494 130 2015-06-17 2021-12-06 infer/src/clang/unit/QualifiedCppNameTests.mli 8 1 704 704 2020-05-11 2020-05-11 infer/src/clang/unit/ClangTests.mli 8 1 704 704 2020-05-11 2020-05-11 infer/src/clang/unit/ClangTests.ml 8 1 704 704 2020-05-11 2020-05-11 infer/src/clang/unit/ALIssuesTests.mli 8 1 704 704 2020-05-11 2020-05-11 infer/src/clang/unit/CiOSVersionNumbersTests.ml 23 1 704 704 2020-05-11 2020-05-11 infer/src/clang/unit/QualifiedCppNameTests.ml 47 2 704 485 2020-05-11 2020-12-16 infer/src/clang/unit/ALIssuesTests.ml 23 1 704 704 2020-05-11 2020-05-11 infer/src/clang/cVar_decl.ml 207 66 2494 23 2015-06-17 2022-03-23 infer/src/clang/cLocation.mli 21 24 2464 277 2015-07-17 2021-07-12 infer/src/clang/cArithmetic_trans.ml 294 50 2494 120 2015-06-17 2021-12-16 infer/src/clang/astToRangeMap.ml 86 7 1009 242 2019-07-11 2021-08-16 infer/src/clang/objcProperty_decl.ml 24 40 2494 865 2015-06-17 2019-12-02 infer/src/clang/cType_to_sil_type.mli 11 15 2404 1037 2015-09-15 2019-06-13 infer/src/clang/Capture.ml 185 47 1739 277 2017-07-11 2021-07-12 infer/src/clang/ClangPointers.mli 19 5 1775 1037 2017-06-05 2019-06-13 infer/src/clang/objcMethod_decl.mli 10 6 1432 848 2018-05-14 2019-12-19 infer/src/clang/cEnum_decl.ml 50 31 2494 792 2015-06-17 2020-02-13 infer/src/clang/CStructUtils.ml 24 2 357 337 2021-04-23 2021-05-13 infer/src/clang/CType.ml 70 24 1990 527 2016-11-02 2020-11-04 infer/src/clang/cField_decl.mli 19 32 2464 74 2015-07-17 2022-01-31 infer/src/clang/cMethod_trans.ml 331 181 2494 23 2015-06-17 2022-03-23 infer/src/clang/ClangWrapper.ml 177 23 1739 242 2017-07-11 2021-08-16 infer/src/clang/cFrontend_config.mli 75 81 2487 137 2015-06-24 2021-11-29 infer/src/clang/cArithmetic_trans.mli 30 23 2464 120 2015-07-17 2021-12-16 infer/src/clang/cTrans_models.ml 86 67 2492 364 2015-06-19 2021-04-16 infer/src/clang/cFrontend_errors.mli 38 43 2353 766 2015-11-05 2020-03-10 infer/src/clang/cGeneral_utils.mli 24 20 1921 379 2017-01-10 2021-04-01 infer/src/clang/cContext.ml 131 63 2494 171 2015-06-17 2021-10-26 infer/src/clang/ProcessAST.ml 27 4 938 766 2019-09-20 2020-03-10 infer/src/clang/CAddImplicitDeallocImpl.ml 167 5 672 85 2020-06-12 2022-01-20 infer/src/clang/CType_decl.mli 54 26 1990 443 2016-11-02 2021-01-27 infer/src/clang/cAst_utils.mli 93 46 1921 277 2017-01-10 2021-07-12 infer/src/clang/ClangQuotes.ml 35 1 704 704 2020-05-11 2020-05-11 infer/src/clang/objcCategory_decl.ml 101 48 2494 242 2015-06-17 2021-08-16 infer/src/clang/cFrontend_decl.ml 481 124 2223 23 2016-03-14 2022-03-23 infer/src/clang/CAddImplicitGettersSetters.ml 87 6 659 121 2020-06-25 2021-12-15 infer/src/clang/cFrontend.mli 12 10 2464 1037 2015-07-17 2019-06-13 infer/src/clang/cScope.mli 16 4 1033 227 2019-06-17 2021-08-31 infer/src/clang/cEnum_decl.mli 10 13 2464 1037 2015-07-17 2019-06-13 infer/src/clang/cGeneral_utils.ml 93 50 1921 74 2017-01-10 2022-01-31 infer/src/clang/dune.in 27 3 704 687 2020-05-11 2020-05-28 infer/src/clang/clang_ast_extend.ml 108 13 1820 1005 2017-04-21 2019-07-15 infer/src/clang/SwitchCase.ml 28 5 1429 514 2018-05-17 2020-11-17 infer/src/clang/astToRangeMap.mli 11 5 1009 848 2019-07-11 2019-12-19 infer/src/clang/objcProtocol_decl.ml 30 34 2494 1037 2015-06-17 2019-06-13 infer/src/clang/cVar_decl.mli 37 26 2464 379 2015-07-17 2021-04-01 infer/src/clang/CMethodProperties.mli 21 12 1416 364 2018-05-30 2021-04-16 infer/src/clang/cTrans.mli 8 13 2464 1037 2015-07-17 2019-06-13 infer/src/clang/cTrans.ml 5018 390 2494 15 2015-06-17 2022-03-31 infer/src/clang/cMethod_trans.mli 56 57 2464 23 2015-07-17 2022-03-23 infer/src/clang/cMethodSignature.mli 65 18 1506 364 2018-03-01 2021-04-16 infer/src/clang/ProcessAST.mli 8 2 938 935 2019-09-20 2019-09-23 infer/src/clang/cAst_utils.ml 479 67 1921 74 2017-01-10 2022-01-31 infer/src/clang/SwitchCase.mli 14 4 1429 1037 2018-05-17 2019-06-13 infer/src/clang/cModule_type.ml 42 38 2464 351 2015-07-17 2021-04-29 infer/src/clang/cContext.mli 64 44 2464 171 2015-07-17 2021-10-26 infer/src/clang/objcMethod_decl.ml 25 5 1432 1037 2018-05-14 2019-06-13 infer/src/clang/objcInterface_decl.ml 133 69 2494 242 2015-06-17 2021-08-16 infer/src/clang/CStructUtils.mli 9 1 357 357 2021-04-23 2021-04-23 infer/src/clang/CAddImplicitDeallocImpl.mli 16 1 672 672 2020-06-12 2020-06-12 infer/src/clang/cType_to_sil_type.ml 242 57 2404 56 2015-09-15 2022-02-18 infer/src/clang/ClangWrapper.mli 12 4 1739 701 2017-07-11 2020-05-14 infer/src/clang/objcProperty_decl.mli 16 20 2464 865 2015-07-17 2019-12-02 infer/src/clang/ClangFrontendStubs.ml 26 1 704 704 2020-05-11 2020-05-11 infer/src/clang/CType.mli 16 12 1990 527 2016-11-02 2020-11-04 infer/src/clang/cMethodSignature.ml 80 21 1506 357 2018-03-01 2021-04-23 infer/src/clang/objcProtocol_decl.mli 10 16 2464 865 2015-07-17 2019-12-02 infer/src/clang/cTrans_utils.ml 677 178 2494 219 2015-06-17 2021-09-08 infer/src/clang/cFrontend_decl.mli 9 10 2223 1037 2016-03-14 2019-06-13 infer/src/clang/ClangCommand.mli 29 9 1739 865 2017-07-11 2019-12-02 infer/src/clang/ast_expressions.ml 121 84 2487 219 2015-06-24 2021-09-08 infer/src/clang/ast_expressions.mli 27 43 2487 620 2015-06-24 2020-08-03 infer/src/clang/cScope.ml 295 13 1033 171 2019-06-17 2021-10-26 infer/src/clang/Capture.mli 20 6 1739 701 2017-07-11 2020-05-14 infer/src/clang/CAddImplicitGettersSetters.mli 13 2 659 357 2020-06-25 2021-04-23 infer/src/clang/cField_decl.ml 113 71 2494 74 2015-06-17 2022-01-31 infer/src/clang/cTrans_models.mli 21 29 2482 848 2015-06-29 2019-12-19 infer/src/clang/ClangFrontendStubs.mli 26 1 704 704 2020-05-11 2020-05-11 infer/src/clang/ClangPointers.ml 82 10 1775 1037 2017-06-05 2019-06-13 infer/src/clang/CMethodProperties.ml 161 13 1416 364 2018-05-30 2021-04-16 infer/src/clang/cFrontend_errors.ml 42 131 2353 766 2015-11-05 2020-03-10 infer/src/clang/cFrontend.ml 54 115 2494 72 2015-06-17 2022-02-02 infer/src/checkers/ExternalConfigImpactData.mli 8 1 413 413 2021-02-26 2021-02-26 infer/src/checkers/PurityAnalysis.mli 10 1 611 611 2020-08-12 2020-08-12 infer/src/checkers/uninitDomain.ml 149 21 1641 701 2017-10-17 2020-05-14 infer/src/checkers/loop_control.ml 155 15 1408 242 2018-06-07 2021-08-16 infer/src/checkers/inefficientKeysetIterator.mli 8 1 709 709 2020-05-06 2020-05-06 infer/src/checkers/functionPointers.ml 77 16 1264 315 2018-10-29 2021-06-04 infer/src/checkers/functionPointers.mli 8 1 588 588 2020-09-04 2020-09-04 infer/src/checkers/DisjunctiveDemo.mli 12 1 240 240 2021-08-18 2021-08-18 infer/src/checkers/PurityChecker.mli 9 1 611 611 2020-08-12 2020-08-12 infer/src/checkers/printfArgs.mli 8 14 2488 709 2015-06-23 2020-05-06 infer/src/checkers/Siof.mli 8 8 1990 709 2016-11-02 2020-05-06 infer/src/checkers/SimpleLineage.ml 870 16 207 22 2021-09-20 2022-03-24 infer/src/checkers/annotationReachability.ml 475 122 2193 266 2016-04-13 2021-07-23 infer/src/checkers/PurityChecker.ml 34 1 611 611 2020-08-12 2020-08-12 infer/src/checkers/RequiredProps.mli 8 1 709 709 2020-05-06 2020-05-06 infer/src/checkers/SimpleLineage.mli 13 3 207 175 2021-09-20 2021-10-22 infer/src/checkers/Siof.ml 263 83 1990 242 2016-11-02 2021-08-16 infer/src/checkers/purityModels.ml 154 17 1052 361 2019-05-29 2021-04-19 infer/src/checkers/SiofTrace.ml 51 24 1990 674 2016-11-02 2020-06-10 infer/src/checkers/purityDomain.ml 27 9 1297 606 2018-09-26 2020-08-17 infer/src/checkers/ParameterNotNullChecked.ml 179 8 162 65 2021-11-04 2022-02-09 infer/src/checkers/fragmentRetainsViewChecker.mli 8 5 1876 709 2017-02-24 2020-05-06 infer/src/checkers/LithoDomain.ml 429 26 1582 400 2017-12-15 2021-03-11 infer/src/checkers/impurityDomain.ml 107 19 935 392 2019-09-23 2021-03-19 infer/src/checkers/fragmentRetainsViewChecker.ml 79 53 2258 676 2016-02-08 2020-06-08 infer/src/checkers/control.mli 26 9 1142 451 2019-02-28 2021-01-19 infer/src/checkers/loopInvariant.mli 31 8 1142 699 2019-02-28 2020-05-16 infer/src/checkers/SelfInBlock.mli 8 2 891 709 2019-11-06 2020-05-06 infer/src/checkers/annotationReachabilityDomain.mli 11 2 1007 848 2019-07-13 2019-12-19 infer/src/checkers/SiofDomain.mli 23 9 1947 1037 2016-12-15 2019-06-13 infer/src/checkers/purityDomain.mli 29 1 606 606 2020-08-17 2020-08-17 infer/src/checkers/impurity.ml 235 50 935 120 2019-09-23 2021-12-16 infer/src/checkers/printfArgs.ml 161 55 2488 585 2015-06-23 2020-09-07 infer/src/checkers/dominators.ml 29 4 1329 699 2018-08-25 2020-05-16 infer/src/checkers/loopInvariant.ml 266 32 1396 163 2018-06-19 2021-11-03 infer/src/checkers/liveness.ml 357 92 2201 42 2016-04-05 2022-03-04 infer/src/checkers/annotationReachabilityDomain.ml 16 2 1007 848 2019-07-13 2019-12-19 infer/src/checkers/annotationReachability.mli 9 5 1876 709 2017-02-24 2020-05-06 infer/src/checkers/loop_control.mli 22 5 1142 451 2019-02-28 2021-01-19 infer/src/checkers/reachingDefs.mli 16 7 1142 699 2019-02-28 2020-05-16 infer/src/checkers/DisjunctiveDemo.ml 70 3 240 120 2021-08-18 2021-12-16 infer/src/checkers/RequiredProps.ml 284 33 920 74 2019-10-08 2022-01-31 infer/src/checkers/SelfInBlock.ml 505 29 891 64 2019-11-06 2022-02-10 infer/src/checkers/ParameterNotNullChecked.mli 10 1 162 162 2021-11-04 2021-11-04 infer/src/checkers/LithoDomain.mli 57 18 1547 595 2018-01-19 2020-08-28 infer/src/checkers/impurityDomain.mli 38 17 935 499 2019-09-23 2020-12-02 infer/src/checkers/inefficientKeysetIterator.ml 108 18 1040 399 2019-06-10 2021-03-12 infer/src/checkers/SiofTrace.mli 12 11 1990 1037 2016-11-02 2019-06-13 infer/src/checkers/liveness.mli 26 8 1158 81 2019-02-12 2022-01-24 infer/src/checkers/PurityAnalysis.ml 172 6 611 73 2020-08-12 2022-02-01 infer/src/checkers/uninit.ml 310 74 1641 121 2017-10-17 2021-12-15 infer/src/checkers/SiofDomain.ml 12 13 1990 1037 2016-11-02 2019-06-13 infer/src/checkers/ExternalConfigImpactData.ml 41 4 413 330 2021-02-26 2021-05-20 infer/src/checkers/addressTaken.ml 43 38 2215 315 2016-03-22 2021-06-04 infer/src/checkers/control.ml 175 31 1461 242 2018-04-15 2021-08-16 infer/src/checkers/impurity.mli 9 2 767 709 2020-03-09 2020-05-06 infer/src/checkers/uninit.mli 8 1 709 709 2020-05-06 2020-05-06 infer/src/checkers/reachingDefs.ml 60 16 1396 367 2018-06-19 2021-04-13 infer/src/infertop.ml 8 4 1709 1037 2017-08-10 2019-06-13 infer/src/inferunit.mli 8 1 704 704 2020-05-11 2020-05-11 infer/src/al/ctl_lexer.mll 101 4 966 277 2019-08-23 2021-07-12 infer/src/al/ALDebugger.ml 322 2 870 699 2019-11-27 2020-05-16 infer/src/al/CPredicatesOnTwoNodes.ml 25 1 868 868 2019-11-29 2019-11-29 infer/src/al/CTLTypes.ml 179 3 870 854 2019-11-27 2019-12-13 infer/src/al/ctl_parser_types.ml 577 8 966 219 2019-08-23 2021-09-08 infer/src/al/RegisterCallback.mli 9 1 704 704 2020-05-11 2020-05-11 infer/src/al/RegisterCallback.ml 9 1 704 704 2020-05-11 2020-05-11 infer/src/al/ALDebugger.mli 36 1 870 870 2019-11-27 2019-11-27 infer/src/al/ComponentKit.mli 15 4 966 655 2019-08-23 2020-06-29 infer/src/al/ComponentKit.ml 191 10 966 277 2019-08-23 2021-07-12 infer/src/al/CTL.mli 44 4 870 277 2019-11-27 2021-07-12 infer/src/al/types_parser.mly 148 1 966 966 2019-08-23 2019-08-23 infer/src/al/cIssue.mli 17 3 966 676 2019-08-23 2020-06-08 infer/src/al/dune.in 27 2 704 701 2020-05-11 2020-05-14 infer/src/al/CTLParserHelper.ml 32 2 966 485 2019-08-23 2020-12-16 infer/src/al/CTLExceptions.mli 14 4 966 699 2019-08-23 2020-05-16 infer/src/al/CLintersContext.mli 30 2 966 865 2019-08-23 2019-12-02 infer/src/al/ALUtils.ml 102 4 966 655 2019-08-23 2020-06-29 infer/src/al/CiOSVersionNumbers.ml 69 2 966 792 2019-08-23 2020-02-13 infer/src/al/types_lexer.mll 72 1 966 966 2019-08-23 2019-08-23 infer/src/al/ALIssues.ml 488 16 966 242 2019-08-23 2021-08-16 infer/src/al/cPredicates.ml 1273 14 966 219 2019-08-23 2021-09-08 infer/src/al/AL.mli 8 1 966 966 2019-08-23 2019-08-23 infer/src/al/CPredicatesOnTwoNodes.mli 9 1 868 868 2019-11-29 2019-11-29 infer/src/al/cPredicates.mli 330 8 966 422 2019-08-23 2021-02-17 infer/src/al/CiOSVersionNumbers.mli 11 1 966 966 2019-08-23 2019-08-23 infer/src/al/AL.ml 342 9 966 219 2019-08-23 2021-09-08 infer/src/al/ctl_parser_types.mli 63 3 966 854 2019-08-23 2019-12-13 infer/src/al/ALIssues.mli 30 6 966 277 2019-08-23 2021-07-12 infer/src/al/ALUtils.mli 15 2 966 655 2019-08-23 2020-06-29 infer/src/al/ctl_parser.mly 307 6 966 277 2019-08-23 2021-07-12 infer/src/al/ALVar.ml 64 1 966 966 2019-08-23 2019-08-23 infer/src/al/CTL.ml 900 10 870 242 2019-11-27 2021-08-16 infer/src/al/CTLParserHelper.mli 9 1 966 966 2019-08-23 2019-08-23 infer/src/al/cIssue.ml 33 3 966 676 2019-08-23 2020-06-08 infer/src/al/CLintersContext.ml 46 2 966 865 2019-08-23 2019-12-02 infer/src/al/CTLExceptions.ml 27 1 966 966 2019-08-23 2019-08-23 infer/src/al/ALVar.mli 28 2 966 655 2019-08-23 2020-06-29 infer/src/al/CTLTypes.mli 66 4 870 854 2019-11-27 2019-12-13 infer/src/bufferoverrun/bufferOverrunTrace.ml 228 31 1750 666 2017-06-30 2020-06-18 infer/src/bufferoverrun/bufferOverrunField.ml 93 24 1214 60 2018-12-18 2022-02-14 infer/src/bufferoverrun/bufferOverrunAnalysis.mli 17 6 1171 73 2019-01-30 2022-02-01 infer/src/bufferoverrun/bufferOverrunAnalysisSummary.mli 10 2 851 828 2019-12-16 2020-01-08 infer/src/bufferoverrun/boolean.mli 29 4 1244 865 2018-11-18 2019-12-02 infer/src/bufferoverrun/bufferOverrunDomain.ml 2145 200 1899 141 2017-02-01 2021-11-25 infer/src/bufferoverrun/bufferOverrunModels.ml 1958 199 1624 73 2017-11-03 2022-02-01 infer/src/bufferoverrun/bufferOverrunTrace.mli 45 4 851 666 2019-12-16 2020-06-18 infer/src/bufferoverrun/bounds.mli 116 47 1347 434 2018-08-07 2021-02-05 infer/src/bufferoverrun/bufferOverrunSemantics.ml 807 147 1899 70 2017-02-01 2022-02-04 infer/src/bufferoverrun/absLoc.ml 515 72 1899 242 2017-02-01 2021-08-16 infer/src/bufferoverrun/polynomials.mli 73 22 1239 513 2018-11-23 2020-11-18 infer/src/bufferoverrun/itv.mli 159 83 1493 73 2018-03-14 2022-02-01 infer/src/bufferoverrun/ints.ml 68 10 1354 792 2018-07-31 2020-02-13 infer/src/bufferoverrun/absLoc.mli 109 13 865 367 2019-12-02 2021-04-13 infer/src/bufferoverrun/symb.mli 85 50 1347 434 2018-08-07 2021-02-05 infer/src/bufferoverrun/bounds.ml 1174 65 1347 242 2018-08-07 2021-08-16 infer/src/bufferoverrun/arrayBlk.mli 66 3 865 540 2019-12-02 2020-10-22 infer/src/bufferoverrun/bufferOverrunProofObligations.mli 67 25 1330 666 2018-08-24 2020-06-18 infer/src/bufferoverrun/bufferOverrunTypModels.ml 35 11 1219 242 2018-12-13 2021-08-16 infer/src/bufferoverrun/bufferOverrunUtils.mli 104 45 1481 372 2018-03-26 2021-04-08 infer/src/bufferoverrun/itv.ml 584 138 1899 73 2017-02-01 2022-02-01 infer/src/bufferoverrun/bufferOverrunAnalysis.ml 483 83 1171 42 2019-01-30 2022-03-04 infer/src/bufferoverrun/bufferOverrunUtils.ml 378 82 1598 225 2017-11-29 2021-09-02 infer/src/bufferoverrun/arrayBlk.ml 327 52 1899 540 2017-02-01 2020-10-22 infer/src/bufferoverrun/FuncPtr.ml 32 1 557 557 2020-10-05 2020-10-05 infer/src/bufferoverrun/bufferOverrunAnalysisSummary.ml 11 3 1171 828 2019-01-30 2020-01-08 infer/src/bufferoverrun/bufferOverrunCheckerSummary.ml 10 2 1171 1037 2019-01-30 2019-06-13 infer/src/bufferoverrun/bufferOverrunChecker.mli 11 16 1876 709 2017-02-24 2020-05-06 infer/src/bufferoverrun/symb.ml 305 59 1347 226 2018-08-07 2021-09-01 infer/src/bufferoverrun/bufferOverrunTypModels.mli 13 1 851 851 2019-12-16 2019-12-16 infer/src/bufferoverrun/bufferOverrunDomain.mli 457 20 851 141 2019-12-16 2021-11-25 infer/src/bufferoverrun/ints.mli 51 9 1354 898 2018-07-31 2019-10-30 infer/src/bufferoverrun/bufferOverrunCheckerSummary.mli 9 1 851 851 2019-12-16 2019-12-16 infer/src/bufferoverrun/bufferOverrunModels.mli 71 5 851 182 2019-12-16 2021-10-15 infer/src/bufferoverrun/bufferOverrunProofObligations.ml 773 70 1654 73 2017-10-04 2022-02-01 infer/src/bufferoverrun/polynomials.ml 750 38 1239 242 2018-11-23 2021-08-16 infer/src/bufferoverrun/boolean.ml 51 4 1244 226 2018-11-18 2021-09-01 infer/src/bufferoverrun/bufferOverrunSemantics.mli 82 7 851 70 2019-12-16 2022-02-04 infer/src/bufferoverrun/bufferOverrunField.mli 73 11 851 182 2019-12-16 2021-10-15 infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml 94 19 1219 23 2018-12-13 2022-03-23 infer/src/bufferoverrun/bufferOverrunOndemandEnv.mli 17 2 851 799 2019-12-16 2020-02-06 infer/src/bufferoverrun/bufferOverrunChecker.ml 430 197 1899 64 2017-02-01 2022-02-10 infer/src/bufferoverrun/FuncPtr.mli 15 1 557 557 2020-10-05 2020-10-05 infer/src/atd/AtdDeps.mli 12 1 199 199 2021-09-28 2021-09-28 infer/src/atd/InferCommand.mli 29 10 1543 435 2018-01-23 2021-02-04 infer/src/atd/InferCommand.ml 41 11 1543 226 2018-01-23 2021-09-01 infer/src/atd/AtdDeps.ml 11 1 199 199 2021-09-28 2021-09-28 infer/src/IR/DecompiledExp.mli 35 9 1739 848 2017-07-11 2019-12-19 infer/src/IR/WeakTopologicalOrder.ml 206 7 1277 413 2018-10-16 2021-02-26 infer/src/IR/Tenv.mli 64 29 1739 79 2017-07-11 2022-01-26 infer/src/IR/SpecializeProcdesc.ml 164 22 1288 121 2018-10-05 2021-12-15 infer/src/IR/jConfig.ml 42 2 616 457 2020-08-07 2021-01-13 infer/src/IR/BiabductionModels.mli 9 2 737 588 2020-04-08 2020-09-04 infer/src/IR/Unop.mli 18 7 1739 1037 2017-07-11 2019-06-13 infer/src/IR/CSharpClassName.mli 18 1 435 435 2021-02-04 2021-02-04 infer/src/IR/ClangMethodKind.ml 22 4 1339 226 2018-08-15 2021-09-01 infer/src/IR/PredSymb.ml 198 20 1739 226 2017-07-11 2021-09-01 infer/src/IR/DotCfg.ml 125 12 877 64 2019-11-20 2022-02-10 infer/src/IR/Filtering.mli 13 4 1375 848 2018-07-10 2019-12-19 infer/src/IR/ObjCDispatchModels.ml 24 2 330 70 2021-05-20 2022-02-04 infer/src/IR/IntLit.ml 98 22 1739 539 2017-07-11 2020-10-23 infer/src/IR/Io_infer.ml 148 34 2012 295 2016-10-11 2021-06-24 infer/src/IR/Unop.ml 17 9 1739 226 2017-07-11 2021-09-01 infer/src/IR/Fieldname.ml 92 15 848 23 2019-12-19 2022-03-23 infer/src/IR/Procdesc.ml 777 111 1739 43 2017-07-11 2022-03-03 infer/src/IR/Ident.ml 173 31 1739 226 2017-07-11 2021-09-01 infer/src/IR/Const.mli 26 8 1739 848 2017-07-11 2019-12-19 infer/src/IR/StdTyp.ml 51 4 532 129 2020-10-30 2021-12-07 infer/src/IR/CapturedVar.ml 14 5 497 64 2020-12-04 2022-02-10 infer/src/IR/CallFlags.mli 22 13 1739 147 2017-07-11 2021-11-19 infer/src/IR/Var.ml 61 20 1491 207 2018-03-16 2021-09-20 infer/src/IR/Attributes.mli 18 12 1659 64 2017-09-29 2022-02-10 infer/src/IR/Binop.ml 150 16 1739 120 2017-07-11 2021-12-16 infer/src/IR/Var.mli 35 16 1491 207 2018-03-16 2021-09-20 infer/src/IR/ProcAttributes.mli 79 53 1739 23 2017-07-11 2022-03-23 infer/src/IR/BuiltinDecl.mli 41 27 1994 46 2016-10-29 2022-02-28 infer/src/IR/Struct.ml 368 18 848 74 2019-12-19 2022-01-31 infer/src/IR/Const.ml 56 12 1739 848 2017-07-11 2019-12-19 infer/src/IR/Mangled.ml 37 18 1739 226 2017-07-11 2021-09-01 infer/src/IR/inferconfig.mli 19 2 709 294 2020-05-06 2021-06-25 infer/src/IR/SourceFiles.ml 148 22 1480 242 2018-03-27 2021-08-16 infer/src/IR/Exp.ml 325 41 1739 56 2017-07-11 2022-02-18 infer/src/IR/Pvar.ml 254 64 1739 23 2017-07-11 2022-03-23 infer/src/IR/Sil.mli 88 44 1739 171 2017-07-11 2021-10-26 infer/src/IR/inferconfig.ml 306 10 709 240 2020-05-06 2021-08-18 infer/src/IR/DecompiledExp.ml 142 25 1739 766 2017-07-11 2020-03-10 infer/src/IR/Typ.mli 236 125 1739 56 2017-07-11 2022-02-18 infer/src/IR/BiabductionModels.ml 19 3 737 588 2020-04-08 2020-09-04 infer/src/IR/Io_infer.mli 57 19 2012 699 2016-10-11 2020-05-16 infer/src/IR/CapturedVar.mli 11 5 497 64 2020-12-04 2022-02-10 infer/src/IR/Mangled.mli 33 14 1739 357 2017-07-11 2021-04-23 infer/src/IR/Procname.ml 1007 57 848 31 2019-12-19 2022-03-15 infer/src/IR/BuiltinDecl.ml 132 53 1994 46 2016-10-29 2022-02-28 infer/src/IR/Pvar.mli 123 38 1739 23 2017-07-11 2022-03-23 infer/src/IR/Instrs.ml 193 18 1415 158 2018-05-31 2021-11-08 infer/src/IR/Annot.mli 50 23 1739 74 2017-07-11 2022-01-31 infer/src/IR/StdTyp.mli 47 4 532 129 2020-10-30 2021-12-07 infer/src/IR/WeakTopologicalOrder.mli 54 6 1277 242 2018-10-16 2021-08-16 infer/src/IR/Exp.mli 118 29 1739 56 2017-07-11 2022-02-18 infer/src/IR/Attributes.ml 87 33 1659 64 2017-09-29 2022-02-10 infer/src/IR/Fieldname.mli 48 12 848 23 2019-12-19 2022-03-23 infer/src/IR/IntLit.mli 67 19 1739 539 2017-07-11 2020-10-23 infer/src/IR/SourceFiles.mli 29 12 1480 716 2018-03-27 2020-04-29 infer/src/IR/QualifiedCppName.ml 84 28 1739 56 2017-07-11 2022-02-18 infer/src/IR/Sil.ml 187 58 1739 171 2017-07-11 2021-10-26 infer/src/IR/ProcAttributes.ml 242 65 1739 23 2017-07-11 2022-03-23 infer/src/IR/ObjCDispatchModels.mli 10 2 330 70 2021-05-20 2022-02-04 infer/src/IR/ClangMethodKind.mli 11 2 1339 1037 2018-08-15 2019-06-13 infer/src/IR/Cfg.ml 49 52 1739 158 2017-07-11 2021-11-08 infer/src/IR/ErlangTypeName.ml 35 8 325 46 2021-05-25 2022-02-28 infer/src/IR/jConfig.mli 32 2 616 457 2020-08-07 2021-01-13 infer/src/IR/Subtype.mli 32 12 1739 792 2017-07-11 2020-02-13 infer/src/IR/Subtype.ml 215 21 1739 226 2017-07-11 2021-09-01 infer/src/IR/DotCfg.mli 13 3 877 626 2019-11-20 2020-07-28 infer/src/IR/Ident.mli 92 22 1739 357 2017-07-11 2021-04-23 infer/src/IR/JavaClassName.ml 97 15 823 533 2020-01-13 2020-10-29 infer/src/IR/JavaClassName.mli 38 13 823 533 2020-01-13 2020-10-29 infer/src/IR/Struct.mli 63 9 848 81 2019-12-19 2022-01-24 infer/src/IR/Typ.ml 686 136 1739 56 2017-07-11 2022-02-18 infer/src/IR/Tenv.ml 206 49 1739 78 2017-07-11 2022-01-27 infer/src/IR/Cfg.mli 25 27 1739 158 2017-07-11 2021-11-08 infer/src/IR/QualifiedCppName.mli 66 19 1739 56 2017-07-11 2022-02-18 infer/src/IR/Procdesc.mli 280 77 1739 71 2017-07-11 2022-02-03 infer/src/IR/Binop.mli 49 14 1739 120 2017-07-11 2021-12-16 infer/src/IR/Instrs.mli 49 18 1415 158 2018-05-31 2021-11-08 infer/src/IR/SpecializeProcdesc.mli 13 6 1288 497 2018-10-05 2020-12-04 infer/src/IR/Procname.mli 314 47 848 31 2019-12-19 2022-03-15 infer/src/IR/CSharpClassName.ml 46 1 435 435 2021-02-04 2021-02-04 infer/src/IR/CallFlags.ml 33 17 1739 147 2017-07-11 2021-11-19 infer/src/IR/Annot.ml 137 28 1739 74 2017-07-11 2022-01-31 infer/src/IR/Filtering.ml 40 5 1375 848 2018-07-10 2019-12-19 infer/src/IR/PredSymb.mli 87 14 1739 351 2017-07-11 2021-04-29 infer/src/IR/BUILTINS.ml 85 18 1709 63 2017-08-10 2022-02-11 infer/src/dune.common.in 15 20 1362 350 2018-07-23 2021-04-30 infer/src/integration/ConfigImpactPostProcess.ml 56 3 154 46 2021-11-12 2022-02-28 infer/src/integration/CaptureCompilationDatabase.ml 158 83 1984 485 2016-11-08 2020-12-16 infer/src/integration/SarifReport.ml 122 2 162 130 2021-11-04 2021-12-06 infer/src/integration/BuckBuildReport.ml 134 1 260 260 2021-07-29 2021-07-29 infer/src/integration/XMLReport.ml 45 3 672 463 2020-06-12 2021-01-07 infer/src/integration/Buck.ml 411 73 1942 42 2016-12-20 2022-03-04 infer/src/integration/CostIssuesTest.ml 57 4 683 207 2020-06-01 2021-09-20 infer/src/integration/NdkBuild.ml 46 1 770 770 2020-03-06 2020-03-06 infer/src/integration/Javac.ml 119 28 1915 277 2017-01-16 2021-07-12 infer/src/integration/Javac.mli 13 5 1915 757 2017-01-16 2020-03-19 infer/src/integration/Gradle.ml 114 6 757 351 2020-03-19 2021-04-29 infer/src/integration/ReportSimpleLineage.ml 34 2 193 175 2021-10-04 2021-10-22 infer/src/integration/TextReport.mli 16 2 750 746 2020-03-26 2020-03-30 infer/src/integration/BuckJavaFlavor.ml 41 7 618 260 2020-08-05 2021-07-29 infer/src/integration/Buck.mli 39 23 1942 42 2016-12-20 2022-03-04 infer/src/integration/Clang.ml 31 16 1843 704 2017-03-29 2020-05-11 infer/src/integration/Differential.mli 21 4 708 207 2020-05-07 2021-09-20 infer/src/integration/CompilationDatabase.mli 19 14 1984 865 2016-11-08 2019-12-02 infer/src/integration/CompilationDatabase.ml 132 26 1984 540 2016-11-08 2020-10-22 infer/src/integration/BuckBuildReport.mli 10 1 260 260 2021-07-29 2021-07-29 infer/src/integration/DifferentialFilters.ml 158 1 708 708 2020-05-07 2020-05-07 infer/src/integration/Help.ml 277 5 673 35 2020-06-11 2022-03-11 infer/src/integration/Driver.ml 442 125 1753 42 2017-06-27 2022-03-04 infer/src/integration/BuckJavaFlavor.mli 9 1 618 618 2020-08-05 2020-08-05 infer/src/integration/Rebar3.mli 8 2 350 177 2021-04-30 2021-10-20 infer/src/integration/Maven.ml 175 30 1912 242 2017-01-19 2021-08-16 infer/src/integration/Driver.mli 41 32 1753 42 2017-06-27 2022-03-04 infer/src/integration/IssuesTest.mli 9 2 765 681 2020-03-11 2020-06-03 infer/src/integration/Differential.ml 508 24 708 31 2020-05-07 2022-03-15 infer/src/integration/ReportDiff.mli 15 6 1753 407 2017-06-27 2021-03-04 infer/src/integration/IssuesTest.ml 108 10 765 128 2020-03-11 2021-12-08 infer/src/integration/dune.in 28 5 704 343 2020-05-11 2021-05-07 infer/src/integration/BuckFlavors.ml 77 13 700 260 2020-05-15 2021-07-29 infer/src/integration/Ant.mli 9 1 760 760 2020-03-16 2020-03-16 infer/src/integration/JsonReports.ml 374 37 765 29 2020-03-11 2022-03-17 infer/src/integration/BuckFlavors.mli 15 3 700 485 2020-05-15 2020-12-16 infer/src/integration/ConfigImpactPostProcess.mli 15 1 154 154 2021-11-12 2021-11-12 infer/src/integration/Help.mli 20 3 673 665 2020-06-11 2020-06-19 infer/src/integration/TextReport.ml 150 3 750 689 2020-03-26 2020-05-26 infer/src/integration/TraceBugs.mli 21 2 746 539 2020-03-30 2020-10-23 infer/src/integration/Rebar3.ml 61 11 350 25 2021-04-30 2022-03-21 infer/src/integration/Clang.mli 9 4 1843 1037 2017-03-29 2019-06-13 infer/src/integration/Gradle.mli 12 1 757 757 2020-03-19 2020-03-19 infer/src/integration/Buck2.mli 9 1 42 42 2022-03-04 2022-03-04 infer/src/integration/NullsafeAnnotationGraphUtils.ml 51 1 525 525 2020-11-06 2020-11-06 infer/src/integration/NdkBuild.mli 9 2 770 760 2020-03-06 2020-03-16 infer/src/integration/ReportDiff.ml 52 13 1753 207 2017-06-27 2021-09-20 infer/src/integration/NullsafeAnnotationGraphUtils.mli 9 1 525 525 2020-11-06 2020-11-06 infer/src/integration/InferCommandImplementation.mli 13 1 209 209 2021-09-18 2021-09-18 infer/src/integration/ConfigImpactIssuesTest.mli 8 1 408 408 2021-03-03 2021-03-03 infer/src/integration/XcodeBuild.mli 9 2 764 760 2020-03-12 2020-03-16 infer/src/integration/CaptureCompilationDatabase.mli 22 18 1984 540 2016-11-08 2020-10-22 infer/src/integration/ConfigImpactIssuesTest.ml 40 4 408 31 2021-03-03 2022-03-15 infer/src/integration/Maven.mli 8 4 1912 1037 2017-01-19 2019-06-13 infer/src/integration/XMLReport.mli 9 1 672 672 2020-06-12 2020-06-12 infer/src/integration/XcodeBuild.ml 50 3 764 699 2020-03-12 2020-05-16 infer/src/integration/Ant.ml 60 3 760 746 2020-03-16 2020-03-30 infer/src/integration/ReportSimpleLineage.mli 8 1 193 193 2021-10-04 2021-10-04 infer/src/integration/JsonReports.mli 12 3 765 409 2020-03-11 2021-03-02 infer/src/integration/DifferentialFilters.mli 37 1 708 708 2020-05-07 2020-05-07 infer/src/integration/Buck2.ml 44 1 42 42 2022-03-04 2022-03-04 infer/src/integration/CostIssuesTest.mli 8 1 683 683 2020-06-01 2020-06-01 infer/src/integration/TraceBugs.ml 180 3 746 539 2020-03-30 2020-10-23 infer/src/integration/SarifReport.mli 9 1 162 162 2021-11-04 2021-11-04 infer/src/integration/InferCommandImplementation.ml 229 4 209 36 2021-09-18 2022-03-10 infer/src/linking-flags.sexp 15 1 157 157 2021-11-09 2021-11-09 infer/src/cost/controlFlowCost.mli 47 1 815 815 2020-01-21 2020-01-21 infer/src/cost/costUtils.ml 91 6 815 182 2020-01-21 2021-10-15 infer/src/cost/boundMap.ml 86 8 815 571 2020-01-21 2020-09-21 infer/src/cost/hoisting.ml 123 15 709 70 2020-05-06 2022-02-04 infer/src/cost/costAutoreleaseModels.ml 55 6 574 158 2020-09-18 2021-11-08 infer/src/cost/boundMap.mli 27 2 815 242 2020-01-21 2021-08-16 infer/src/cost/hoisting.mli 13 1 709 709 2020-05-06 2020-05-06 infer/src/cost/constraintSolver.ml 155 3 815 680 2020-01-21 2020-06-04 infer/src/cost/costAllocationModels.ml 18 3 557 361 2020-10-05 2021-04-19 infer/src/cost/costInstantiate.mli 23 4 367 70 2021-04-13 2022-02-04 infer/src/cost/cost.ml 420 60 815 64 2020-01-21 2022-02-10 infer/src/cost/costDomain.mli 64 13 815 487 2020-01-21 2020-12-14 infer/src/cost/costDomain.ml 98 21 815 128 2020-01-21 2021-12-08 infer/src/cost/controlFlowCost.ml 170 1 815 815 2020-01-21 2020-01-21 infer/src/cost/costModels.ml 445 33 815 141 2020-01-21 2021-11-25 infer/src/cost/costInstantiate.ml 102 5 367 70 2021-04-13 2022-02-04 infer/src/cost/constraintSolver.mli 21 3 815 680 2020-01-21 2020-06-04 infer/src/cost/costAutoreleaseModels.mli 10 3 574 500 2020-09-18 2020-12-01 infer/src/cost/cost.mli 26 7 815 70 2020-01-21 2022-02-04 infer/src/cost/ConfigImpactAnalysis.ml 992 42 373 16 2021-04-07 2022-03-30 infer/src/cost/costAllocationModels.mli 10 2 557 437 2020-10-05 2021-02-02 infer/src/cost/ConfigImpactAnalysis.mli 53 9 373 31 2021-04-07 2022-03-15 infer/src/erlang/ErlangTypes.ml 128 2 21 16 2022-03-25 2022-03-30 infer/src/erlang/ErlangJsonParser.ml 667 13 343 21 2021-05-07 2022-03-25 infer/src/erlang/ErlangEnvironment.mli 49 7 213 16 2021-09-14 2022-03-30 infer/src/erlang/ErlangEnvironment.ml 157 7 213 16 2021-09-14 2022-03-30 infer/src/erlang/ErlangTypes.mli 22 2 21 16 2022-03-25 2022-03-30 infer/src/erlang/ErlangNode.mli 18 1 213 213 2021-09-14 2021-09-14 infer/src/erlang/ErlangScopes.ml 242 4 142 60 2021-11-24 2022-02-14 infer/src/erlang/ErlangTranslator.ml 1165 46 340 16 2021-05-10 2022-03-30 infer/src/erlang/ErlangNode.ml 41 2 213 171 2021-09-14 2021-10-26 infer/src/erlang/ErlangTranslator.mli 10 4 340 129 2021-05-10 2021-12-07 infer/src/erlang/ErlangBlock.mli 22 3 213 46 2021-09-14 2022-02-28 infer/src/erlang/ErlangAstValidator.mli 11 2 309 211 2021-06-10 2021-09-16 infer/src/erlang/ErlangJsonParser.mli 8 1 343 343 2021-05-07 2021-05-07 infer/src/erlang/ErlangAstValidator.ml 278 7 309 32 2021-06-10 2022-03-14 infer/src/erlang/ErlangBlock.ml 73 3 213 46 2021-09-14 2022-02-28 infer/src/erlang/ErlangAst.ml 156 9 343 21 2021-05-07 2022-03-25 infer/src/erlang/ErlangScopes.mli 11 1 142 142 2021-11-24 2021-11-24 infer/src/llvm/llvm_sil.ml 34 6 1484 784 2018-03-23 2020-02-21 infer/src/pulse/PulseModelsJava.mli 22 2 93 46 2022-01-12 2022-02-28 infer/src/pulse/PulseCallOperations.mli 37 6 393 58 2021-03-18 2022-02-16 infer/src/pulse/PulseModelsErlang.mli 9 1 93 93 2022-01-12 2022-01-12 infer/src/pulse/PulseModelsAndroid.mli 9 1 93 93 2022-01-12 2022-01-12 infer/src/pulse/PulseCallOperations.ml 301 32 393 23 2021-03-18 2022-03-23 infer/src/pulse/PulseTrace.ml 61 18 1115 121 2019-03-27 2021-12-15 infer/src/pulse/PulseSummary.mli 19 13 1100 120 2019-04-11 2021-12-16 infer/src/pulse/PulseCItv.mli 31 7 764 242 2020-03-12 2021-08-16 infer/src/pulse/PulseTaint.ml 18 2 42 15 2022-03-04 2022-03-31 infer/src/pulse/PulseFormula.ml 1991 35 610 15 2020-08-13 2022-03-31 infer/src/pulse/PulseBaseAddressAttributes.ml 170 40 808 15 2020-01-28 2022-03-31 infer/src/pulse/unit/PulseFormulaTest.ml 427 17 610 120 2020-08-13 2021-12-16 infer/src/pulse/unit/PulseFormulaTest.mli 7 1 610 610 2020-08-13 2020-08-13 infer/src/pulse/PulseBlockSpecialization.ml 255 2 43 23 2022-03-03 2022-03-23 infer/src/pulse/PulsePathContext.ml 25 7 325 46 2021-05-25 2022-02-28 infer/src/pulse/QSafeCapped.mli 25 1 379 379 2021-04-01 2021-04-01 infer/src/pulse/PulseAccessResult.ml 108 9 403 42 2021-03-08 2022-03-04 infer/src/pulse/PulseTimestamp.ml 12 1 171 171 2021-10-26 2021-10-26 infer/src/pulse/PulseNonDisjunctiveDomain.ml 86 5 175 31 2021-10-22 2022-03-15 infer/src/pulse/PulseModelsObjC.mli 10 1 93 93 2022-01-12 2022-01-12 infer/src/pulse/PulseAccessResult.mli 62 10 403 42 2021-03-08 2022-03-04 infer/src/pulse/PulseModelsAndroid.ml 46 1 93 93 2022-01-12 2022-01-12 infer/src/pulse/ZSafe.mli 37 1 379 379 2021-04-01 2021-04-01 infer/src/pulse/QSafeCapped.ml 30 1 379 379 2021-04-01 2021-04-01 infer/src/pulse/PulseModelsOptional.mli 9 1 93 93 2022-01-12 2022-01-12 infer/src/pulse/PulseSkippedCalls.ml 24 3 730 442 2020-04-15 2021-01-28 infer/src/pulse/PulseObjectiveCSummary.mli 18 4 410 283 2021-03-01 2021-07-06 infer/src/pulse/PulseReport.ml 207 28 518 42 2020-11-13 2022-03-04 infer/src/pulse/PulseBaseDomain.mli 60 12 907 242 2019-10-21 2021-08-16 infer/src/pulse/PulseLatentIssue.ml 68 16 560 42 2020-10-02 2022-03-04 infer/src/pulse/PulseModelsImport.mli 84 2 93 66 2022-01-12 2022-02-08 infer/src/pulse/PulseAbductiveDomain.mli 222 77 1100 42 2019-04-11 2022-03-04 infer/src/pulse/PulseTopl.ml 532 13 499 36 2020-12-02 2022-03-10 infer/src/pulse/PulseSkippedCalls.mli 11 3 730 442 2020-04-15 2021-01-28 infer/src/pulse/PulseCallEvent.mli 16 3 907 560 2019-10-21 2020-10-02 infer/src/pulse/PulsePathCondition.mli 73 23 728 120 2020-04-17 2021-12-16 infer/src/pulse/PulseExecutionDomain.ml 107 23 730 42 2020-04-15 2022-03-04 infer/src/pulse/PulseSatUnsat.mli 26 3 497 120 2020-12-04 2021-12-16 infer/src/pulse/PulseNonDisjunctiveDomain.mli 20 4 150 31 2021-11-16 2022-03-15 infer/src/pulse/PulseModelsCpp.ml 507 5 93 46 2022-01-12 2022-02-28 infer/src/pulse/PulseInterproc.mli 31 10 730 70 2020-04-15 2022-02-04 infer/src/pulse/PulseResult.ml 113 2 120 46 2021-12-16 2022-02-28 infer/src/pulse/PulseInterproc.ml 843 39 730 42 2020-04-15 2022-03-04 infer/src/pulse/PulseInvalidation.mli 43 19 1115 155 2019-03-27 2021-11-11 infer/src/pulse/PulseRefCounting.ml 95 2 85 71 2022-01-20 2022-02-03 infer/src/pulse/PulseBaseAddressAttributes.mli 56 36 808 42 2020-01-28 2022-03-04 infer/src/pulse/PulseReport.mli 35 14 518 42 2020-11-13 2022-03-04 infer/src/pulse/PulseUninitBlocklist.ml 17 1 437 437 2021-02-02 2021-02-02 infer/src/pulse/PulseModelsJava.ml 644 5 93 46 2022-01-12 2022-02-28 infer/src/pulse/PulsePathCondition.ml 383 33 728 46 2020-04-17 2022-02-28 infer/src/pulse/PulseCItv.ml 405 7 764 120 2020-03-12 2021-12-16 infer/src/pulse/PulseTaintOperations.ml 183 3 42 15 2022-03-04 2022-03-31 infer/src/pulse/PulseArithmetic.ml 56 23 898 120 2019-10-30 2021-12-16 infer/src/pulse/PulseNonDisjunctiveOperations.ml 167 8 175 31 2021-10-22 2022-03-15 infer/src/pulse/PulseModelsCSharp.ml 49 1 23 23 2022-03-23 2022-03-23 infer/src/pulse/PulseAbstractValue.mli 52 7 907 149 2019-10-21 2021-11-17 infer/src/pulse/PulseOperations.mli 290 72 1115 42 2019-03-27 2022-03-04 infer/src/pulse/PulseRefCounting.mli 11 1 85 85 2022-01-20 2022-01-20 infer/src/pulse/PulseModelsCSharp.mli 9 1 23 23 2022-03-23 2022-03-23 infer/src/pulse/PulseAbductiveDecompiler.ml 18 1 42 42 2022-03-04 2022-03-04 infer/src/pulse/PulseFormula.mli 62 19 610 120 2020-08-13 2021-12-16 infer/src/pulse/PulseAbductiveDecompiler.mli 18 1 42 42 2022-03-04 2022-03-04 infer/src/pulse/PulseInvalidation.ml 143 23 1115 121 2019-03-27 2021-12-15 infer/src/pulse/PulseModels.mli 14 19 1115 93 2019-03-27 2022-01-12 infer/src/pulse/Pulse.mli 8 3 1115 709 2019-03-27 2020-05-06 infer/src/pulse/PulseArithmetic.mli 56 19 898 120 2019-10-30 2021-12-16 infer/src/pulse/PulseModelsGenericArrayBackedCollection.ml 175 3 93 42 2022-01-12 2022-03-04 infer/src/pulse/PulseBlockSpecialization.mli 18 2 43 23 2022-03-03 2022-03-23 infer/src/pulse/PulseSatUnsat.ml 24 3 497 120 2020-12-04 2021-12-16 infer/src/pulse/PulseBasicInterface.ml 41 11 907 42 2019-10-21 2022-03-04 infer/src/pulse/PulsePathContext.mli 20 5 325 46 2021-05-25 2022-02-28 infer/src/pulse/Pulse.ml 786 116 1115 23 2019-03-27 2022-03-23 infer/src/pulse/PulseSummary.ml 90 26 1100 42 2019-04-11 2022-03-04 infer/src/pulse/PulseAbstractValue.ml 69 10 907 149 2019-10-21 2021-11-17 infer/src/pulse/PulseObjectiveCSummary.ml 121 19 410 42 2021-03-01 2022-03-04 infer/src/pulse/PulseAttribute.mli 93 37 907 15 2019-10-21 2022-03-31 infer/src/pulse/PulseModelsC.mli 9 1 93 93 2022-01-12 2022-01-12 infer/src/pulse/PulseTaintOperations.mli 18 1 42 42 2022-03-04 2022-03-04 infer/src/pulse/PulseDiagnostic.mli 70 31 1115 42 2019-03-27 2022-03-04 infer/src/pulse/PulseCallEvent.ml 27 3 907 560 2019-10-21 2020-10-02 infer/src/pulse/PulseUninitBlocklist.mli 9 1 437 437 2021-02-02 2021-02-02 infer/src/pulse/PulseModelsErlang.ml 611 5 93 58 2022-01-12 2022-02-16 infer/src/pulse/PulseTimestamp.mli 12 1 171 171 2021-10-26 2021-10-26 infer/src/pulse/PulseDomainInterface.ml 45 11 907 42 2019-10-21 2022-03-04 infer/src/pulse/PulseBaseMemory.ml 165 20 907 71 2019-10-21 2022-02-03 infer/src/pulse/PulseValueHistory.mli 67 17 907 42 2019-10-21 2022-03-04 infer/src/pulse/PulseBaseDomain.ml 259 20 907 242 2019-10-21 2021-08-16 infer/src/pulse/PulseDecompiler.ml 175 2 42 16 2022-03-04 2022-03-30 infer/src/pulse/PulseModelsImport.ml 257 5 93 46 2022-01-12 2022-02-28 infer/src/pulse/PulseValueHistory.ml 273 19 907 42 2019-10-21 2022-03-04 infer/src/pulse/PulseTrace.mli 35 15 1115 121 2019-03-27 2021-12-15 infer/src/pulse/PulseDecompiler.mli 24 2 42 16 2022-03-04 2022-03-30 infer/src/pulse/PulseBaseStack.mli 21 6 907 394 2019-10-21 2021-03-17 infer/src/pulse/PulseResult.mli 59 2 120 46 2021-12-16 2022-02-28 infer/src/pulse/PulseModelsOptional.ml 202 2 93 46 2022-01-12 2022-02-28 infer/src/pulse/PulseAbductiveDomain.ml 1093 109 1100 23 2019-04-11 2022-03-23 infer/src/pulse/PulseTaint.mli 14 2 42 15 2022-03-04 2022-03-31 infer/src/pulse/PulseAttribute.ml 372 42 907 15 2019-10-21 2022-03-31 infer/src/pulse/PulseExecutionDomain.mli 36 20 730 42 2020-04-15 2022-03-04 infer/src/pulse/PulseModelsObjC.ml 285 5 93 58 2022-01-12 2022-02-16 infer/src/pulse/PulseModels.ml 18 151 1115 23 2019-03-27 2022-03-23 infer/src/pulse/PulseModelsGenericArrayBackedCollection.mli 65 2 93 46 2022-01-12 2022-02-28 infer/src/pulse/PulseLatentIssue.mli 21 9 560 42 2020-10-02 2022-03-04 infer/src/pulse/PulseTopl.mli 39 5 499 36 2020-12-02 2022-03-10 infer/src/pulse/PulseOperations.ml 719 111 1115 42 2019-03-27 2022-03-04 infer/src/pulse/PulseDiagnostic.ml 506 58 1115 15 2019-03-27 2022-03-31 infer/src/pulse/PulseBaseMemory.mli 33 15 907 85 2019-10-21 2022-01-20 infer/src/pulse/PulseModelsC.ml 85 1 93 93 2022-01-12 2022-01-12 infer/src/pulse/ZSafe.ml 32 1 379 379 2021-04-01 2021-04-01 infer/src/pulse/PulseBaseStack.ml 59 6 907 394 2019-10-21 2021-03-17 infer/src/pulse/PulseModelsCpp.mli 18 1 93 93 2022-01-12 2022-01-12 infer/src/java/jAnnotation.ml 86 35 2464 74 2015-07-17 2022-01-31 infer/src/java/jTransType.mli 50 42 2494 626 2015-06-17 2020-07-28 infer/src/java/jModels.ml 41 4 772 351 2020-03-04 2021-04-29 infer/src/java/jContext.mli 56 24 2464 646 2015-07-17 2020-07-08 infer/src/java/jTrans.mli 59 26 2479 646 2015-07-02 2020-07-08 infer/src/java/jSourceParser.mly 616 2 514 512 2020-11-17 2020-11-19 infer/src/java/jProgramDesc.ml 72 1 646 646 2020-07-08 2020-07-08 infer/src/java/jSourceAST.mli 14 1 514 514 2020-11-17 2020-11-17 infer/src/java/jProgramDesc.mli 25 1 646 646 2020-07-08 2020-07-08 infer/src/java/jMain.ml 109 105 2496 130 2015-06-15 2021-12-06 infer/src/java/jTransType.ml 341 99 2494 74 2015-06-17 2022-01-31 infer/src/java/jAnnotation.mli 13 14 2464 121 2015-07-17 2021-12-15 infer/src/java/jClasspath.mli 22 29 2464 646 2015-07-17 2020-07-08 infer/src/java/jClasspath.ml 195 78 2499 289 2015-06-12 2021-06-30 infer/src/java/jFrontend.mli 23 20 2464 646 2015-07-17 2020-07-08 infer/src/java/jFrontend.ml 223 74 2479 53 2015-07-02 2022-02-21 infer/src/java/dune.in 29 5 704 242 2020-05-11 2021-08-16 infer/src/java/JavaFrontendStubs.ml 17 3 704 514 2020-05-11 2020-11-17 infer/src/java/jSourceFileInfo.mll 393 5 729 563 2020-04-16 2020-09-29 infer/src/java/JavaFrontendStubs.mli 21 3 704 514 2020-05-11 2020-11-17 infer/src/java/jSourceLocations.ml 49 1 514 514 2020-11-17 2020-11-17 infer/src/java/jTrans.ml 1165 174 2494 63 2015-06-17 2022-02-11 infer/src/java/jTransExn.ml 180 52 2464 30 2015-07-17 2022-03-16 infer/src/java/jMain.mli 12 5 1928 1037 2017-01-03 2019-06-13 infer/src/java/jModels.mli 13 3 772 731 2020-03-04 2020-04-14 infer/src/java/jSourceLexer.mll 220 2 514 512 2020-11-17 2020-11-19 infer/src/java/jContext.ml 80 29 2464 646 2015-07-17 2020-07-08 infer/src/java/jTransExn.mli 16 10 2464 1037 2015-07-17 2019-06-13 infer/src/java/jSourceLocations.mli 10 1 514 514 2020-11-17 2020-11-17 infer/src/java/jSourceAST.ml 32 1 514 514 2020-11-17 2020-11-17 infer/src/backend/Devirtualizer.ml 139 6 697 59 2020-05-18 2022-02-15 infer/src/backend/Payloads.ml 79 35 1431 137 2018-05-15 2021-11-29 infer/src/backend/callbacks.ml 62 94 2464 716 2015-07-17 2020-04-29 infer/src/backend/ondemand.mli 25 48 2396 260 2015-09-23 2021-07-29 infer/src/backend/ProcLocker.ml 38 9 801 71 2020-02-04 2022-02-03 infer/src/backend/Summary.ml 279 51 1436 71 2018-05-10 2022-02-03 infer/src/backend/CCallSpecializedWithClosures.ml 74 6 158 23 2021-11-08 2022-03-23 infer/src/backend/InferAnalyzeJson.ml 628 13 435 60 2021-02-04 2022-02-14 infer/src/backend/Issue.mli 13 6 1317 128 2018-09-06 2021-12-08 infer/src/backend/StarvationGlobalAnalysis.ml 84 11 708 248 2020-05-07 2021-08-10 infer/src/backend/ProcLocker.mli 15 6 801 64 2020-02-04 2022-02-10 infer/src/backend/Devirtualizer.mli 10 2 697 59 2020-05-18 2022-02-15 infer/src/backend/Tasks.mli 24 15 1859 652 2017-03-13 2020-07-02 infer/src/backend/mergeCapture.ml 92 57 2216 88 2016-03-21 2022-01-17 infer/src/backend/ClosureSubstSpecializedMethod.ml 300 12 595 23 2020-08-28 2022-03-23 infer/src/backend/registerCheckers.mli 11 1 709 709 2020-05-06 2020-05-06 infer/src/backend/ReverseAnalysisCallGraph.mli 9 2 1002 996 2019-07-18 2019-07-24 infer/src/backend/printer.ml 283 109 2464 205 2015-07-17 2021-09-22 infer/src/backend/CallGraph.mli 45 15 1065 36 2019-05-16 2022-03-10 infer/src/backend/registerCheckers.ml 217 28 709 137 2020-05-06 2021-11-29 infer/src/backend/Issue.ml 41 7 1317 128 2018-09-06 2021-12-08 infer/src/backend/callbacks.mli 44 49 2464 242 2015-07-17 2021-08-16 infer/src/backend/Procedures.ml 111 16 1459 242 2018-04-17 2021-08-16 infer/src/backend/GCStats.mli 22 2 654 652 2020-06-30 2020-07-02 infer/src/backend/InferAnalyze.ml 249 94 1739 31 2017-07-11 2022-03-15 infer/src/backend/GCStats.ml 120 3 654 242 2020-06-30 2021-08-16 infer/src/backend/ReverseAnalysisCallGraph.ml 14 3 1002 618 2019-07-18 2020-08-05 infer/src/backend/FileScheduler.ml 20 4 827 582 2020-01-09 2020-09-10 infer/src/backend/CallbackOfChecker.mli 50 3 709 492 2020-05-06 2020-12-09 infer/src/backend/CCallSpecializedWithClosures.mli 22 1 158 158 2021-11-08 2021-11-08 infer/src/backend/Tasks.ml 52 39 1859 242 2017-03-13 2021-08-16 infer/src/backend/NodePrinter.ml 40 2 716 311 2020-04-29 2021-06-08 infer/src/backend/CallbackOfChecker.ml 66 6 709 248 2020-05-06 2021-08-10 infer/src/backend/InferAnalyzeJson.mli 9 1 435 435 2021-02-04 2021-02-04 infer/src/backend/SyntacticCallGraph.ml 128 15 1008 36 2019-07-12 2022-03-10 infer/src/backend/RestartScheduler.ml 105 19 822 64 2020-01-14 2022-02-10 infer/src/backend/preanal.mli 10 20 2464 709 2015-07-17 2020-05-06 infer/src/backend/Procedures.mli 19 8 1459 626 2018-04-17 2020-07-28 infer/src/backend/Payloads.mli 35 33 1431 137 2018-05-15 2021-11-29 infer/src/backend/Summary.mli 73 39 1436 209 2018-05-10 2021-09-18 infer/src/backend/ClosureSubstSpecializedMethod.mli 9 2 588 158 2020-09-04 2021-11-08 infer/src/backend/mergeCapture.mli 9 7 1754 903 2017-06-26 2019-10-25 infer/src/backend/NodePrinter.mli 15 1 716 716 2020-04-29 2020-04-29 infer/src/backend/ClosuresSubstitution.mli 9 2 70 43 2022-02-04 2022-03-03 infer/src/backend/ondemand.ml 313 154 2396 42 2015-09-23 2022-03-04 infer/src/backend/SyntacticCallGraph.mli 16 9 1008 36 2019-07-12 2022-03-10 infer/src/backend/preanal.ml 430 129 2464 59 2015-07-17 2022-02-15 infer/src/backend/CallGraph.ml 113 18 1065 36 2019-05-16 2022-03-10 infer/src/backend/printer.mli 20 30 2464 710 2015-07-17 2020-05-05 infer/src/backend/ClosuresSubstitution.ml 147 9 633 23 2020-07-21 2022-03-23 infer/src/backend/RestartScheduler.mli 11 6 822 492 2020-01-14 2020-12-09 infer/src/backend/InferAnalyze.mli 13 9 1739 435 2017-07-11 2021-02-04 infer/src/backend/FileScheduler.mli 8 4 827 585 2020-01-09 2020-09-07 infer/src/backend/StarvationGlobalAnalysis.mli 8 1 708 708 2020-05-07 2020-05-07 infer/src/infertop.mli 8 1 704 704 2020-05-11 2020-05-11 infer/src/dune.in 124 38 1362 157 2018-07-23 2021-11-09 infer/src/absint/LowerHil.mli 69 24 1760 367 2017-06-20 2021-04-13 infer/src/absint/AccessTree.ml 344 1 708 708 2020-05-07 2020-05-07 infer/src/absint/AccessTree.mli 72 2 708 699 2020-05-07 2020-05-16 infer/src/absint/annotations.mli 75 6 716 121 2020-04-29 2021-12-15 infer/src/absint/Bindings.ml 92 2 709 193 2020-05-06 2021-10-04 infer/src/absint/DataFlow.mli 36 1 710 710 2020-05-05 2020-05-05 infer/src/absint/FormalMap.ml 31 14 1760 121 2017-06-20 2021-12-15 infer/src/absint/Decompile.ml 52 1 710 710 2020-05-05 2020-05-05 infer/src/absint/Reporting.mli 48 5 716 585 2020-04-29 2020-09-07 infer/src/absint/exe_env.mli 20 4 716 141 2020-04-29 2021-11-25 infer/src/absint/HilExp.ml 610 10 687 120 2020-05-28 2021-12-16 infer/src/absint/TransferFunctions.ml 42 23 1760 175 2017-06-20 2021-10-22 infer/src/absint/Bindings.mli 14 1 709 709 2020-05-06 2020-05-06 infer/src/absint/ExplicitTrace.ml 91 2 709 522 2020-05-06 2020-11-09 infer/src/absint/TaskSchedulerTypes.ml 12 5 714 315 2020-05-01 2021-06-04 infer/src/absint/IssueToReport.ml 19 1 676 676 2020-06-08 2020-06-08 infer/src/absint/Mleak_buckets.mli 13 1 687 687 2020-05-28 2020-05-28 infer/src/absint/HilExp.mli 108 4 687 442 2020-05-28 2021-01-28 infer/src/absint/TaintTrace.ml 456 2 708 387 2020-05-07 2021-03-24 infer/src/absint/Reporting.ml 134 11 716 121 2020-04-29 2021-12-15 infer/src/absint/ConcurrencyModels.mli 43 3 709 512 2020-05-06 2020-11-19 infer/src/absint/Passthrough.mli 11 1 708 708 2020-05-07 2020-05-07 infer/src/absint/AbstractInterpreter.mli 89 21 1760 42 2017-06-20 2022-03-04 infer/src/absint/IntraproceduralAnalysis.ml 8 1 711 711 2020-05-04 2020-05-04 infer/src/absint/BlockSpecialization.mli 12 2 43 23 2022-03-03 2022-03-23 infer/src/absint/Mleak_buckets.ml 20 2 687 387 2020-05-28 2021-03-24 infer/src/absint/AnalysisCallbacks.ml 28 3 716 242 2020-04-29 2021-08-16 infer/src/absint/Source.ml 69 3 708 121 2020-05-07 2021-12-15 infer/src/absint/annotations.ml 165 6 716 74 2020-04-29 2022-01-31 infer/src/absint/Passthrough.ml 17 2 708 674 2020-05-07 2020-06-10 infer/src/absint/ExplicitTrace.mli 47 3 709 522 2020-05-06 2020-11-09 infer/src/absint/DataFlow.ml 160 2 710 699 2020-05-05 2020-05-16 infer/src/absint/HilInstr.ml 92 2 687 532 2020-05-28 2020-10-30 infer/src/absint/IssueLog.ml 58 2 687 399 2020-05-28 2021-03-12 infer/src/absint/IntraproceduralAnalysis.mli 10 1 711 711 2020-05-04 2020-05-04 infer/src/absint/SubtypingCheck.ml 103 2 704 532 2020-05-11 2020-10-30 infer/src/absint/Scheduler.ml 80 18 1760 716 2017-06-20 2020-04-29 infer/src/absint/ProcnameDispatcher.ml 826 12 687 23 2020-05-28 2022-03-23 infer/src/absint/IdAccessPathMapDomain.mli 9 1 709 709 2020-05-06 2020-05-06 infer/src/absint/PatternMatch.ml 446 81 1760 23 2017-06-20 2022-03-23 infer/src/absint/LowerHil.ml 112 45 1760 367 2017-06-20 2021-04-13 infer/src/absint/AnalysisState.ml 45 2 716 66 2020-04-29 2022-02-08 infer/src/absint/ProcnameDispatcher.mli 268 4 687 242 2020-05-28 2021-08-16 infer/src/absint/Sink.ml 36 2 708 674 2020-05-07 2020-06-10 infer/src/absint/MethodMatcher.ml 97 1 709 709 2020-05-06 2020-05-06 infer/src/absint/Sanitizer.mli 16 1 708 708 2020-05-07 2020-05-07 infer/src/absint/Sanitizer.ml 18 1 708 708 2020-05-07 2020-05-07 infer/src/absint/HilInstr.mli 34 1 687 687 2020-05-28 2020-05-28 infer/src/absint/SinkTrace.ml 69 1 708 708 2020-05-07 2020-05-07 infer/src/absint/SubtypingCheck.mli 14 1 704 704 2020-05-11 2020-05-11 infer/src/absint/TaintTraceElem.ml 27 1 708 708 2020-05-07 2020-05-07 infer/src/absint/AbstractInterpreter.ml 609 68 1760 42 2017-06-20 2022-03-04 infer/src/absint/AbstractDomain.ml 621 51 1760 16 2017-06-20 2022-03-30 infer/src/absint/IdAccessPathMapDomain.ml 50 1 709 709 2020-05-06 2020-05-06 infer/src/absint/exe_env.ml 92 4 716 141 2020-04-29 2021-11-25 infer/src/absint/AnalysisState.mli 37 2 716 66 2020-04-29 2022-02-08 infer/src/absint/IssueLog.mli 21 1 687 687 2020-05-28 2020-05-28 infer/src/absint/InterproceduralAnalysis.ml 26 6 716 248 2020-04-29 2021-08-10 infer/src/absint/Scheduler.mli 20 1 716 716 2020-04-29 2020-04-29 infer/src/absint/CallSite.ml 19 2 687 674 2020-05-28 2020-06-10 infer/src/absint/AccessPath.mli 60 1 687 687 2020-05-28 2020-05-28 infer/src/absint/Errlog.mli 81 2 687 676 2020-05-28 2020-06-08 infer/src/absint/ProcCfg.ml 309 27 1760 123 2017-06-20 2021-12-13 infer/src/absint/Localise.mli 90 7 687 72 2020-05-28 2022-02-02 infer/src/absint/MethodMatcher.mli 31 2 709 409 2020-05-06 2021-03-02 infer/src/absint/TaintTrace.mli 89 2 708 699 2020-05-07 2020-05-16 infer/src/absint/BlockSpecialization.ml 145 2 43 23 2022-03-03 2022-03-23 infer/src/absint/AndroidFramework.ml 27 1 710 710 2020-05-05 2020-05-05 infer/src/absint/ProcCfg.mli 104 18 1760 123 2017-06-20 2021-12-13 infer/src/absint/Errlog.ml 234 5 687 242 2020-05-28 2021-08-16 infer/src/absint/Localise.ml 429 7 687 72 2020-05-28 2022-02-02 infer/src/absint/Source.mli 32 1 708 708 2020-05-07 2020-05-07 infer/src/absint/Decompile.mli 17 1 710 710 2020-05-05 2020-05-05 infer/src/absint/IssueToReport.mli 23 1 676 676 2020-06-08 2020-06-08 infer/src/absint/InterproceduralAnalysis.mli 31 6 716 248 2020-04-29 2021-08-10 infer/src/absint/ConcurrencyModels.ml 352 13 709 261 2020-05-06 2021-07-28 infer/src/absint/PatternMatch.mli 161 57 1760 23 2017-06-20 2022-03-23 infer/src/absint/AndroidFramework.mli 16 1 710 710 2020-05-05 2020-05-05 infer/src/absint/AnalysisCallbacks.mli 32 3 716 242 2020-04-29 2021-08-16 infer/src/absint/FormalMap.mli 24 11 1760 728 2017-06-20 2020-04-17 infer/src/absint/Sink.mli 21 1 708 708 2020-05-07 2020-05-07 infer/src/absint/SinkTrace.mli 30 1 708 708 2020-05-07 2020-05-07 infer/src/absint/AbstractDomain.mli 243 50 1760 16 2017-06-20 2022-03-30 infer/src/absint/NoReturnModels.ml 13 2 716 624 2020-04-29 2020-07-30 infer/src/absint/AccessPath.ml 140 2 687 674 2020-05-28 2020-06-10 infer/src/absint/CallSite.mli 16 1 687 687 2020-05-28 2020-05-28 infer/src/absint/TransferFunctions.mli 54 23 1760 175 2017-06-20 2021-10-22 infer/src/dotnet/ResourceLeaksCS.ml 181 3 435 123 2021-02-04 2021-12-13 infer/src/dotnet/ResourceLeakCSDomain.mli 28 1 435 435 2021-02-04 2021-02-04 infer/src/dotnet/ResourceLeakCSDomain.ml 228 3 435 58 2021-02-04 2022-02-16 infer/src/dotnet/ResourceLeaksCS.mli 9 1 435 435 2021-02-04 2021-02-04 infer/src/concurrency/RacerDModels.ml 592 44 1319 74 2018-09-04 2022-01-31 infer/src/concurrency/RacerDDomain.ml 585 65 1639 331 2017-10-19 2021-05-19 infer/src/concurrency/AbstractAddress.mli 42 2 806 801 2020-01-30 2020-02-04 infer/src/concurrency/RacerDProcAnalysis.ml 316 6 427 121 2021-02-12 2021-12-15 infer/src/concurrency/IssueAuxData.mli 10 4 1480 1037 2018-03-27 2019-06-13 infer/src/concurrency/RacerDDomain.mli 148 47 1639 512 2017-10-19 2020-11-19 infer/src/concurrency/AbstractAddress.ml 250 7 806 336 2020-01-30 2021-05-14 infer/src/concurrency/RacerDModels.mli 52 20 1319 129 2018-09-04 2021-12-07 infer/src/concurrency/RacerDFileAnalysis.ml 563 15 427 45 2021-02-12 2022-03-01 infer/src/concurrency/IssueAuxData.ml 10 5 1480 1037 2018-03-27 2019-06-13 infer/src/concurrency/ConcurrencyUtils.ml 28 2 725 708 2020-04-20 2020-05-07 infer/src/concurrency/starvationDomain.mli 205 61 1480 158 2018-03-27 2021-11-08 infer/src/concurrency/ConcurrencyUtils.mli 9 2 725 708 2020-04-20 2020-05-07 infer/src/concurrency/starvationDomain.ml 861 79 1480 158 2018-03-27 2021-11-08 infer/src/concurrency/StarvationModels.ml 367 48 1319 158 2018-09-04 2021-11-08 infer/src/concurrency/StarvationModels.mli 57 26 1319 158 2018-09-04 2021-11-08 infer/src/concurrency/RacerDFileAnalysis.mli 8 1 427 427 2021-02-12 2021-02-12 infer/src/concurrency/starvation.mli 34 9 1480 248 2018-03-27 2021-08-10 infer/src/concurrency/RacerDProcAnalysis.mli 8 1 427 427 2021-02-12 2021-02-12 infer/src/concurrency/starvation.ml 785 125 1480 158 2018-03-27 2021-11-08 infer/src/opensource/FbGKInteraction.mli 20 10 669 35 2020-06-15 2022-03-11 infer/src/opensource/FbThreadSafety.mli 8 12 2003 324 2016-10-20 2021-05-26 infer/src/opensource/FbGKInteraction.ml 21 9 669 35 2020-06-15 2022-03-11 infer/src/opensource/FbThreadSafety.ml 8 11 2003 324 2016-10-20 2021-05-26 infer/src/opensource/dune.in 19 2 736 242 2020-04-09 2021-08-16 infer/src/opensource/FbCostModels.mli 9 3 919 736 2019-10-09 2020-04-09 infer/src/opensource/Scribe.mli 8 3 1068 736 2019-05-13 2020-04-09 infer/src/opensource/FbCostModels.ml 9 3 919 736 2019-10-09 2020-04-09 infer/src/opensource/Scribe.ml 8 3 1068 736 2019-05-13 2020-04-09 infer/src/deadcode/dune.in 16 23 1362 42 2018-07-23 2022-03-04 infer/src/topl/ToplAstOps.ml 70 4 779 36 2020-02-26 2022-03-10 infer/src/topl/ToplLexer.mll 81 8 1119 386 2019-03-23 2021-03-25 infer/src/topl/Topl.mli 11 15 1119 387 2019-03-23 2021-03-24 infer/src/topl/ToplParser.mly 94 8 1119 386 2019-03-23 2021-03-25 infer/src/topl/ToplAutomaton.ml 142 16 1043 36 2019-06-07 2022-03-10 infer/src/topl/ToplAstOps.mli 8 1 779 779 2020-02-26 2020-02-26 infer/src/topl/Topl.ml 23 34 1119 36 2019-03-23 2022-03-10 infer/src/topl/ToplAutomaton.mli 35 13 1043 36 2019-06-07 2022-03-10 infer/src/topl/ToplAst.ml 34 9 1119 386 2019-03-23 2021-03-25 infer/src/scripts/checkCopyright.mli 6 2 1415 1037 2018-05-31 2019-06-13 infer/src/scripts/checkCopyright.ml 343 41 2440 226 2015-08-10 2021-09-01 infer/src/c_stubs/Fnv64Hash.ml 7 1 877 877 2019-11-20 2019-11-20 infer/src/c_stubs/fnv64_hash.c 22 2 877 408 2019-11-20 2021-03-03 infer/src/nullsafe/ThirdPartyAnnotationInfoLoader.ml 22 2 890 878 2019-11-07 2019-11-19 infer/src/nullsafe/typeState.mli 24 5 1226 770 2018-12-06 2020-03-06 infer/src/nullsafe/AggregatedSummaries.ml 126 5 760 242 2020-03-16 2021-08-16 infer/src/nullsafe/AnnotatedType.mli 10 1 931 931 2019-09-27 2019-09-27 infer/src/nullsafe/ClassLevelAnalysis.mli 17 3 760 711 2020-03-16 2020-05-04 infer/src/nullsafe/models.mli 38 2 609 367 2020-08-14 2021-04-13 infer/src/nullsafe/InheritanceRule.ml 104 16 907 242 2019-10-21 2021-08-16 infer/src/nullsafe/NullsafeMode.ml 214 11 806 242 2020-01-30 2021-08-16 infer/src/nullsafe/OverAnnotatedRule.ml 40 7 907 609 2019-10-21 2020-08-14 infer/src/nullsafe/unit/AllNullsafeTests.ml 8 2 704 604 2020-05-11 2020-08-19 infer/src/nullsafe/unit/ThirdPartyAnnotationInfoTests.ml 253 4 704 51 2020-05-11 2022-02-23 infer/src/nullsafe/unit/AllNullsafeTests.mli 8 1 704 704 2020-05-11 2020-05-11 infer/src/nullsafe/unit/AggregatedSummariesTest.ml 186 4 704 242 2020-05-11 2021-08-16 infer/src/nullsafe/unit/ThirdPartyMethodTests.ml 110 4 704 242 2020-05-11 2021-08-16 infer/src/nullsafe/InferredNullability.mli 33 11 934 532 2019-09-24 2020-10-30 infer/src/nullsafe/ThirdPartyMethod.ml 148 6 897 617 2019-10-31 2020-08-06 infer/src/nullsafe/Nullability.mli 64 8 919 532 2019-10-09 2020-10-30 infer/src/nullsafe/InheritanceRule.mli 41 10 907 515 2019-10-21 2020-11-16 infer/src/nullsafe/NullsafeIssue.mli 28 4 575 501 2020-09-17 2020-11-30 infer/src/nullsafe/typeOrigin.mli 51 14 1226 532 2018-12-06 2020-10-30 infer/src/nullsafe/AnnotationGraph.mli 16 1 527 527 2020-11-04 2020-11-04 infer/src/nullsafe/FileLevelAnalysis.mli 10 2 760 711 2020-03-16 2020-05-04 infer/src/nullsafe/NullsafeSummary.mli 13 2 760 753 2020-03-16 2020-03-23 infer/src/nullsafe/Initializers.ml 124 14 931 121 2019-09-27 2021-12-15 infer/src/nullsafe/AssignmentRule.mli 48 17 907 501 2019-10-21 2020-11-30 infer/src/nullsafe/NullsafeIssue.ml 139 6 575 192 2020-09-17 2021-10-05 infer/src/nullsafe/eradicate.ml 240 39 1226 212 2018-12-06 2021-09-15 infer/src/nullsafe/ProvisionalViolation.mli 13 1 527 527 2020-11-04 2020-11-04 infer/src/nullsafe/NullsafeInit.ml 44 2 890 878 2019-11-07 2019-11-19 infer/src/nullsafe/modelTables.mli 34 9 1226 242 2018-12-06 2021-08-16 infer/src/nullsafe/ThirdPartyMethod.mli 30 7 897 575 2019-10-31 2020-09-17 infer/src/nullsafe/ErrorRenderingUtils.ml 261 18 878 505 2019-11-19 2020-11-26 infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.mli 15 3 890 865 2019-11-07 2019-12-02 infer/src/nullsafe/NullsafeInit.mli 9 1 890 890 2019-11-07 2019-11-07 infer/src/nullsafe/typeState.ml 64 9 1226 532 2018-12-06 2020-10-30 infer/src/nullsafe/ProvisionalAnnotation.ml 19 2 532 528 2020-10-30 2020-11-03 infer/src/nullsafe/AnnotationGraph.ml 190 3 527 515 2020-11-04 2020-11-16 infer/src/nullsafe/AnnotatedNullability.mli 82 15 931 525 2019-09-27 2020-11-06 infer/src/nullsafe/ClassLevelAnalysis.ml 291 23 760 122 2020-03-16 2021-12-14 infer/src/nullsafe/EradicateReporting.ml 36 4 688 575 2020-05-27 2020-09-17 infer/src/nullsafe/InferredNullability.ml 59 12 934 532 2019-09-24 2020-10-30 infer/src/nullsafe/NullsafeMode.mli 50 9 806 611 2020-01-30 2020-08-12 infer/src/nullsafe/ThirdPartyAnnotationInfo.ml 101 12 890 242 2019-11-07 2021-08-16 infer/src/nullsafe/AnnotatedType.ml 10 1 931 931 2019-09-27 2019-09-27 infer/src/nullsafe/typeErr.mli 67 23 1226 575 2018-12-06 2020-09-17 infer/src/nullsafe/AssignmentRule.ml 275 31 907 242 2019-10-21 2021-08-16 infer/src/nullsafe/typeErr.ml 318 44 1226 242 2018-12-06 2021-08-16 infer/src/nullsafe/NullsafeSummary.ml 10 2 760 753 2020-03-16 2020-03-23 infer/src/nullsafe/OverAnnotatedRule.mli 27 5 907 609 2019-10-21 2020-08-14 infer/src/nullsafe/FileLevelAnalysis.ml 51 5 760 248 2020-03-16 2021-08-10 infer/src/nullsafe/AnnotatedSignature.mli 40 17 1226 575 2018-12-06 2020-09-17 infer/src/nullsafe/AnnotatedField.ml 102 18 931 242 2019-09-27 2021-08-16 infer/src/nullsafe/typeCheck.ml 1362 60 1226 121 2018-12-06 2021-12-15 infer/src/nullsafe/EradicateReporting.mli 13 3 688 575 2020-05-27 2020-09-17 infer/src/nullsafe/ProvisionalViolation.ml 22 1 527 527 2020-11-04 2020-11-04 infer/src/nullsafe/typeCheck.mli 32 6 1226 710 2018-12-06 2020-05-05 infer/src/nullsafe/AggregatedSummaries.mli 26 4 760 703 2020-03-16 2020-05-12 infer/src/nullsafe/models.ml 117 34 1226 242 2018-12-06 2021-08-16 infer/src/nullsafe/immutableChecker.ml 44 12 1226 522 2018-12-06 2020-11-09 infer/src/nullsafe/eradicate.mli 14 7 1226 711 2018-12-06 2020-05-04 infer/src/nullsafe/AnnotatedNullability.ml 162 15 931 525 2019-09-27 2020-11-06 infer/src/nullsafe/ThirdPartyAnnotationInfo.mli 45 9 890 611 2019-11-07 2020-08-12 infer/src/nullsafe/IDEnv.mli 15 1 710 710 2020-05-05 2020-05-05 infer/src/nullsafe/DereferenceRule.mli 45 13 907 532 2019-10-21 2020-10-30 infer/src/nullsafe/immutableChecker.mli 8 3 1226 711 2018-12-06 2020-05-04 infer/src/nullsafe/ProvisionalAnnotation.mli 17 2 532 528 2020-10-30 2020-11-03 infer/src/nullsafe/AnnotatedField.mli 11 4 931 528 2019-09-27 2020-11-03 infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.ml 39 2 890 878 2019-11-07 2019-11-19 infer/src/nullsafe/AnnotatedSignature.ml 217 30 1226 74 2018-12-06 2022-01-31 infer/src/nullsafe/ThirdPartyAnnotationInfoLoader.mli 12 2 890 865 2019-11-07 2019-12-02 infer/src/nullsafe/ErrorRenderingUtils.mli 45 8 878 575 2019-11-19 2020-09-17 infer/src/nullsafe/IDEnv.ml 48 2 710 624 2020-05-05 2020-07-30 infer/src/nullsafe/Initializers.mli 29 5 931 716 2019-09-27 2020-04-29 infer/src/nullsafe/eradicateChecks.ml 511 56 1226 242 2018-12-06 2021-08-16 infer/src/nullsafe/modelTables.ml 834 35 1226 336 2018-12-06 2021-05-14 infer/src/nullsafe/Nullability.ml 87 11 919 505 2019-10-09 2020-11-26 infer/src/nullsafe/DereferenceRule.ml 136 18 907 522 2019-10-21 2020-11-09 infer/src/nullsafe/typeOrigin.ml 212 26 1226 242 2018-12-06 2021-08-16 infer/src/istd/PrettyPrintable.ml 222 24 1480 43 2018-03-27 2022-03-03 infer/src/istd/PolyVariantEqual.ml 9 6 1481 792 2018-03-26 2020-02-13 infer/src/istd/LRUHashtbl.mli 26 3 772 498 2020-03-04 2020-12-03 infer/src/istd/RevList.ml 24 1 485 485 2020-12-16 2020-12-16 infer/src/istd/PartialOrder.ml 53 4 1404 1037 2018-06-11 2019-06-13 infer/src/istd/ImperativeUnionFind.ml 113 8 1404 626 2018-06-11 2020-07-28 infer/src/istd/IResult.ml 12 2 788 787 2020-02-17 2020-02-18 infer/src/istd/UnionFind.mli 44 6 610 351 2020-08-13 2021-04-29 infer/src/istd/PhysEqual.mli 20 5 1219 533 2018-12-13 2020-10-29 infer/src/istd/ISys.ml 9 1 351 351 2021-04-29 2021-04-29 infer/src/istd/IList.ml 205 30 1696 17 2017-08-23 2022-03-29 infer/src/istd/LRUHashtbl.ml 87 4 772 498 2020-03-04 2020-12-03 infer/src/istd/IOption.mli 33 10 1415 533 2018-05-31 2020-10-29 infer/src/istd/UnionFind.ml 166 6 610 351 2020-08-13 2021-04-29 infer/src/istd/PhysEqual.ml 24 3 1219 1029 2018-12-13 2019-06-21 infer/src/istd/ICompare.ml 8 1 372 372 2021-04-08 2021-04-08 infer/src/istd/RecencyMap.mli 40 6 714 207 2020-05-01 2021-09-20 infer/src/istd/HashNormalizer.ml 35 2 533 78 2020-10-29 2022-01-27 infer/src/istd/ImperativeUnionFind.mli 29 5 1404 865 2018-06-11 2019-12-02 infer/src/istd/PartialOrder.mli 16 3 1404 1037 2018-06-11 2019-06-13 infer/src/istd/IContainer.mli 46 20 1416 518 2018-05-30 2020-11-13 infer/src/istd/SpecialChars.mli 14 3 1243 1037 2018-11-19 2019-06-13 infer/src/istd/SpecialChars.ml 30 3 1243 1037 2018-11-19 2019-06-13 infer/src/istd/RevList.mli 26 2 485 416 2020-12-16 2021-02-23 infer/src/istd/GOption.ml 13 4 1173 815 2019-01-28 2020-01-21 infer/src/istd/ARList.ml 196 3 1408 1005 2018-06-07 2019-07-15 infer/src/istd/IResult.mli 13 3 788 120 2020-02-17 2021-12-16 infer/src/istd/Pp.mli 85 20 1480 606 2018-03-27 2020-08-17 infer/src/istd/GOption.mli 13 3 1173 815 2019-01-28 2020-01-21 infer/src/istd/PolyVariantEqual.mli 12 4 1481 792 2018-03-26 2020-02-13 infer/src/istd/HashNormalizer.mli 23 2 533 78 2020-10-29 2022-01-27 infer/src/istd/IntSet.ml 8 3 1481 1037 2018-03-26 2019-06-13 infer/src/istd/ISequence.mli 10 3 1480 1037 2018-03-27 2019-06-13 infer/src/istd/Escape.ml 110 11 1480 746 2018-03-27 2020-03-30 infer/src/istd/IStd.ml 27 21 1696 792 2017-08-23 2020-02-13 infer/src/istd/ISys.mli 10 1 351 351 2021-04-29 2021-04-29 infer/src/istd/IList.mli 58 25 1696 17 2017-08-23 2022-03-29 infer/src/istd/ICompare.mli 8 1 372 372 2021-04-08 2021-04-08 infer/src/istd/IOption.ml 26 9 1415 533 2018-05-31 2020-10-29 infer/src/istd/ARList.mli 39 4 1408 884 2018-06-07 2019-11-13 infer/src/istd/IntSet.mli 7 3 1481 1037 2018-03-26 2019-06-13 infer/src/istd/ISequence.ml 10 3 1480 1037 2018-03-27 2019-06-13 infer/src/istd/RecencyMap.ml 186 8 714 207 2020-05-01 2021-09-20 infer/src/istd/IContainer.ml 63 18 1416 242 2018-05-30 2021-08-16 infer/src/istd/IExn.mli 13 3 1481 1037 2018-03-26 2019-06-13 infer/src/istd/IExn.ml 14 3 1481 1037 2018-03-26 2019-06-13 infer/src/istd/PrettyPrintable.mli 132 23 1480 43 2018-03-27 2022-03-03 infer/src/istd/Escape.mli 23 8 1480 746 2018-03-27 2020-03-30 infer/src/istd/Pp.ml 173 24 1480 226 2018-03-27 2021-09-01 infer/src/biabduction/Rearrange.ml 1213 47 1480 72 2018-03-27 2022-02-02 infer/src/biabduction/Exceptions.ml 160 11 676 72 2020-06-08 2022-02-02 infer/src/biabduction/Paths.mli 81 9 1480 848 2018-03-27 2019-12-19 infer/src/biabduction/Buckets.mli 16 4 1480 1037 2018-03-27 2019-06-13 infer/src/biabduction/Builtin.mli 26 7 1480 716 2018-03-27 2020-04-29 infer/src/biabduction/Propgraph.mli 27 6 1480 865 2018-03-27 2019-12-02 infer/src/biabduction/Prover.mli 70 10 1480 665 2018-03-27 2020-06-19 infer/src/biabduction/RetainCyclesType.mli 21 11 1480 699 2018-03-27 2020-05-16 infer/src/biabduction/interproc.ml 985 58 1480 121 2018-03-27 2021-12-15 infer/src/biabduction/errdesc.mli 73 9 716 72 2020-04-29 2022-02-02 infer/src/biabduction/BiabductionSummary.ml 228 14 1436 226 2018-05-10 2021-09-01 infer/src/biabduction/PropUtil.ml 174 9 1480 121 2018-03-27 2021-12-15 infer/src/biabduction/Timeout.mli 14 4 1480 311 2018-03-27 2021-06-08 infer/src/biabduction/errdesc.ml 1020 13 716 72 2020-04-29 2022-02-02 infer/src/biabduction/SymOp.mli 38 1 311 311 2021-06-08 2021-06-08 infer/src/biabduction/Buckets.ml 150 14 1480 121 2018-03-27 2021-12-15 infer/src/biabduction/Match.ml 817 19 1480 157 2018-03-27 2021-11-09 infer/src/biabduction/Abs.mli 38 7 1480 716 2018-03-27 2020-04-29 infer/src/biabduction/Dom.ml 2038 25 1480 311 2018-03-27 2021-06-08 infer/src/biabduction/State.ml 208 27 1480 242 2018-03-27 2021-08-16 infer/src/biabduction/PropUtil.mli 15 4 1480 865 2018-03-27 2019-12-02 infer/src/biabduction/Propset.mli 53 4 1480 865 2018-03-27 2019-12-02 infer/src/biabduction/BiabductionSummary.mli 61 12 1436 699 2018-05-10 2020-05-16 infer/src/biabduction/RetainCycles.mli 8 5 1480 716 2018-03-27 2020-04-29 infer/src/biabduction/Propgraph.ml 229 11 1480 242 2018-03-27 2021-08-16 infer/src/biabduction/BiabductionConfig.mli 22 3 1312 865 2018-09-11 2019-12-02 infer/src/biabduction/Rearrange.mli 26 10 1480 72 2018-03-27 2022-02-02 infer/src/biabduction/Prover.ml 2389 40 1480 242 2018-03-27 2021-08-16 infer/src/biabduction/BiabductionConfig.ml 25 4 1312 311 2018-09-11 2021-06-08 infer/src/biabduction/Attribute.mli 90 10 1480 669 2018-03-27 2020-06-15 infer/src/biabduction/Predicates.mli 267 5 849 387 2019-12-18 2021-03-24 infer/src/biabduction/Builtin.ml 50 10 1480 699 2018-03-27 2020-05-16 infer/src/biabduction/interproc.mli 12 4 1480 716 2018-03-27 2020-04-29 infer/src/biabduction/Prop.mli 231 11 1480 849 2018-03-27 2019-12-18 infer/src/biabduction/Paths.ml 606 23 1480 171 2018-03-27 2021-10-26 infer/src/biabduction/BuiltinDefn.ml 836 43 1480 60 2018-03-27 2022-02-14 infer/src/biabduction/State.mli 57 15 1480 716 2018-03-27 2020-04-29 infer/src/biabduction/Attribute.ml 340 18 1480 120 2018-03-27 2021-12-16 infer/src/biabduction/Predicates.ml 1037 10 849 171 2019-12-18 2021-10-26 infer/src/biabduction/Match.mli 71 7 1480 849 2018-03-27 2019-12-18 infer/src/biabduction/RetainCycles.ml 233 25 1480 74 2018-03-27 2022-01-31 infer/src/biabduction/BiabductionReporting.ml 33 4 716 676 2020-04-29 2020-06-08 infer/src/biabduction/BiabductionReporting.mli 19 3 716 676 2020-04-29 2020-06-08 infer/src/biabduction/JoinState.ml 13 5 1480 226 2018-03-27 2021-09-01 infer/src/biabduction/SymOp.ml 90 2 311 242 2021-06-08 2021-08-16 infer/src/biabduction/RetainCyclesType.ml 168 17 1480 674 2018-03-27 2020-06-10 infer/src/biabduction/Dom.mli 23 9 1480 716 2018-03-27 2020-04-29 infer/src/biabduction/Propset.ml 63 5 1480 865 2018-03-27 2019-12-02 infer/src/biabduction/SymExec.ml 1683 93 1480 70 2018-03-27 2022-02-04 infer/src/biabduction/Exceptions.mli 48 8 676 72 2020-06-08 2022-02-02 infer/src/biabduction/JoinState.mli 12 3 1480 1037 2018-03-27 2019-06-13 infer/src/biabduction/Absarray.mli 19 5 1480 865 2018-03-27 2019-12-02 infer/src/biabduction/Absarray.ml 647 22 1480 242 2018-03-27 2021-08-16 infer/src/biabduction/Abs.ml 1269 28 1480 242 2018-03-27 2021-08-16 infer/src/biabduction/Tabulation.mli 32 15 1480 666 2018-03-27 2020-06-18 infer/src/biabduction/Timeout.ml 103 13 1480 242 2018-03-27 2021-08-16 infer/src/biabduction/DotBiabduction.ml 973 7 877 226 2019-11-20 2021-09-01 infer/src/biabduction/DotBiabduction.mli 10 1 877 877 2019-11-20 2019-11-20 infer/src/biabduction/BuiltinDefn.mli 12 6 1480 699 2018-03-27 2020-05-16 infer/src/biabduction/Tabulation.ml 1279 48 1480 72 2018-03-27 2022-02-02 infer/src/biabduction/SymExec.mli 39 16 1480 716 2018-03-27 2020-04-29 infer/src/biabduction/Prop.ml 2356 31 1480 120 2018-03-27 2021-12-16 infer/src/base/Process.ml 86 26 2012 674 2016-10-11 2020-06-10 infer/src/base/ClangProc.ml 12 1 911 911 2019-10-17 2019-10-17 infer/src/base/ScubaLogging.ml 69 5 736 169 2020-04-09 2021-10-28 infer/src/base/CommandDoc.mli 13 7 1800 1037 2017-05-11 2019-06-13 infer/src/base/CommandDoc.ml 351 35 1800 17 2017-05-11 2022-03-29 infer/src/base/ProcessPool.ml 415 49 1778 205 2017-06-02 2021-09-22 infer/src/base/Language.ml 15 11 1542 226 2018-01-24 2021-09-01 infer/src/base/ScubaLogging.mli 29 4 736 169 2020-04-09 2021-10-28 infer/src/base/Stats.ml 277 3 71 42 2022-02-03 2022-03-04 infer/src/base/IssueType.mli 227 139 1704 31 2017-08-15 2022-03-15 infer/src/base/Epilogues.ml 37 16 1778 683 2017-06-02 2020-06-01 infer/src/base/FileDiff.ml 71 7 1457 226 2018-04-19 2021-09-01 infer/src/base/ResultsDatabase.mli 29 13 1626 731 2017-11-01 2020-04-14 infer/src/base/Utils.ml 424 97 2019 311 2016-10-04 2021-06-08 infer/src/base/costKind.mli 15 8 1033 207 2019-06-17 2021-09-20 infer/src/base/LogEntry.mli 21 1 736 736 2020-04-09 2020-04-09 infer/src/base/DBWriter.ml 402 26 956 53 2019-09-02 2022-02-21 infer/src/base/Version.ml.in 36 14 2019 350 2016-10-04 2021-04-30 infer/src/base/Location.ml 46 14 1480 128 2018-03-27 2021-12-08 infer/src/base/SourceFile.ml 335 60 1954 210 2016-12-08 2021-09-17 infer/src/base/CostIssuesTestField.mli 9 3 683 584 2020-06-01 2020-09-08 infer/src/base/Scuba.mli 29 1 736 736 2020-04-09 2020-04-09 infer/src/base/ProcessPoolState.ml 14 7 1555 683 2018-01-11 2020-06-01 infer/src/base/Checker.ml 458 30 766 101 2020-03-10 2022-01-04 infer/src/base/DBWriter.mli 40 9 956 130 2019-09-02 2021-12-06 infer/src/base/Serialization.ml 71 35 2019 588 2016-10-04 2020-09-04 infer/src/base/Serialization.mli 28 17 2019 588 2016-10-04 2020-09-04 infer/src/base/MarkupFormatter.mli 26 10 1852 865 2017-03-20 2019-12-02 infer/src/base/SqliteUtils.ml 94 22 1659 242 2017-09-29 2021-08-16 infer/src/base/CommandLineOption.mli 220 59 2019 17 2016-10-04 2022-03-29 infer/src/base/Die.mli 26 12 1683 699 2017-09-05 2020-05-16 infer/src/base/Epilogues.mli 16 7 1778 865 2017-06-02 2019-12-02 infer/src/base/TaskBar.mli 23 5 1395 1018 2018-06-20 2019-07-02 infer/src/base/PerfEvent.mli 36 3 1304 1037 2018-09-19 2019-06-13 infer/src/base/ResultsDatabase.ml 170 39 1626 78 2017-11-01 2022-01-27 infer/src/base/LineReader.mli 16 1 710 710 2020-05-05 2020-05-05 infer/src/base/Config.mli 415 418 2019 15 2016-10-04 2022-03-31 infer/src/base/Checker.mli 79 16 766 137 2020-03-10 2021-11-29 infer/src/base/MarkupFormatter.ml 67 8 1852 1037 2017-03-20 2019-06-13 infer/src/base/ForkUtils.ml 16 2 956 766 2019-09-02 2020-03-10 infer/src/base/ResultsDir.ml 127 34 1659 242 2017-09-29 2021-08-16 infer/src/base/PerfEvent.ml 226 10 1304 351 2018-09-19 2021-04-29 infer/src/base/CostIssuesTestField.ml 14 3 683 584 2020-06-01 2020-09-08 infer/src/base/ResultsDirEntryName.mli 54 8 731 162 2020-04-14 2021-11-04 infer/src/base/Version.mli 21 15 2019 350 2016-10-04 2021-04-30 infer/src/base/DB.mli 48 39 2019 294 2016-10-04 2021-06-25 infer/src/base/Config.ml 2878 522 2019 15 2016-10-04 2022-03-31 infer/src/base/RestartSchedulerException.mli 12 1 315 315 2021-06-04 2021-06-04 infer/src/base/BuckMode.mli 14 5 847 42 2019-12-20 2022-03-04 infer/src/base/LineReader.ml 33 3 710 318 2020-05-05 2021-06-01 infer/src/base/Stats.mli 33 3 71 42 2022-02-03 2022-03-04 infer/src/base/Scuba.ml 50 1 736 736 2020-04-09 2020-04-09 infer/src/base/CostIssues.ml 44 7 1033 207 2019-06-17 2021-09-20 infer/src/base/Exception.ml 46 1 311 311 2021-06-08 2021-06-08 infer/src/base/Location.mli 29 10 1480 128 2018-03-27 2021-12-08 infer/src/base/IssueType.ml 787 174 1704 31 2017-08-15 2022-03-15 infer/src/base/DB.ml 121 57 2019 294 2016-10-04 2021-06-25 infer/src/base/ProcessPoolState.mli 15 8 1555 683 2018-01-11 2020-06-01 infer/src/base/Language.mli 13 10 1542 336 2018-01-24 2021-05-14 infer/src/base/SourceFile.mli 50 29 1954 240 2016-12-08 2021-08-18 infer/src/base/Logging.ml 372 74 2019 32 2016-10-04 2022-03-14 infer/src/base/TaskBar.ml 163 13 1395 699 2018-06-20 2020-05-16 infer/src/base/CommandLineOption.ml 1045 97 2019 17 2016-10-04 2022-03-29 infer/src/base/costKind.ml 45 12 1033 137 2019-06-17 2021-11-29 infer/src/base/RestartSchedulerException.ml 11 1 315 315 2021-06-04 2021-06-04 infer/src/base/ClangProc.mli 12 1 911 911 2019-10-17 2019-10-17 infer/src/base/ForkUtils.mli 9 1 652 652 2020-07-02 2020-07-02 infer/src/base/BuckMode.ml 28 5 847 42 2019-12-20 2022-03-04 infer/src/base/ResultsDirEntryName.ml 223 8 731 162 2020-04-14 2021-11-04 infer/src/base/ResultsDir.mli 30 10 1659 731 2017-09-29 2020-04-14 infer/src/base/CostIssues.mli 21 7 1033 207 2019-06-17 2021-09-20 infer/src/base/ExecutionDuration.ml 58 1 71 71 2022-02-03 2022-02-03 infer/src/base/ExecutionDuration.mli 21 1 71 71 2022-02-03 2022-02-03 infer/src/base/Utils.mli 118 73 2019 311 2016-10-04 2021-06-08 infer/src/base/ProcessPool.mli 56 25 1778 205 2017-06-02 2021-09-22 infer/src/base/SqliteUtils.mli 64 20 1659 588 2017-09-29 2020-09-04 infer/src/base/Process.mli 27 14 2012 746 2016-10-11 2020-03-30 infer/src/base/FileDiff.mli 23 5 1457 865 2018-04-19 2019-12-02 infer/src/base/Exception.mli 22 1 311 311 2021-06-08 2021-06-08 infer/src/base/IssuesTestField.ml 40 2 765 737 2020-03-11 2020-04-08 infer/src/base/LogEntry.ml 31 1 736 736 2020-04-09 2020-04-09 infer/src/base/IssuesTestField.mli 25 2 765 737 2020-03-11 2020-04-08 infer/src/base/Logging.mli 100 33 2019 37 2016-10-04 2022-03-09 infer/src/base/Die.ml 54 9 1683 1037 2017-09-05 2019-06-13 infer/src/inferunit.ml 48 5 704 463 2020-05-11 2021-01-07 infer/src/infer.mli 8 3 1480 1037 2018-03-27 2019-06-13 infer/src/quandary/JavaTrace.ml 585 109 2061 121 2016-08-23 2021-12-15 infer/src/quandary/JavaTaintAnalysis.ml 82 42 2018 823 2016-10-05 2020-01-13 infer/src/quandary/ClangTaintAnalysis.mli 8 5 1876 708 2017-02-24 2020-05-07 infer/src/quandary/ClangTaintAnalysis.ml 92 28 1921 485 2017-01-10 2020-12-16 infer/src/quandary/JavaTaintAnalysis.mli 8 5 1876 708 2017-02-24 2020-05-07 infer/src/quandary/QuandarySummary.ml 21 15 2041 1037 2016-09-12 2019-06-13 infer/src/quandary/TaintAnalysis.ml 812 166 2066 242 2016-08-18 2021-08-16 infer/src/quandary/JavaTrace.mli 8 5 2061 708 2016-08-23 2020-05-07 infer/src/quandary/ClangTrace.ml 491 80 1921 121 2017-01-10 2021-12-15 infer/src/quandary/TaintSpec.ml 31 23 2011 708 2016-10-12 2020-05-07 infer/src/quandary/ClangTrace.mli 8 4 1921 708 2017-01-10 2020-05-07 infer/src/quandary/QuandaryConfig.mli 21 13 1905 1012 2017-01-26 2019-07-08 infer/src/quandary/QuandaryConfig.ml 76 17 1905 1037 2017-01-26 2019-06-13 infer/src/quandary/QuandarySummary.mli 16 10 2041 1037 2016-09-12 2019-06-13 facebook-clang-plugins/libtooling/SimplePluginASTAction.cpp 143 2 582 399 2020-09-10 2021-03-12 facebook-clang-plugins/libtooling/FileUtils.h 12 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/libtooling/FileUtils.cpp 70 3 582 350 2020-09-10 2021-04-30 facebook-clang-plugins/libtooling/SimplePluginASTAction.h 179 5 582 225 2020-09-10 2021-09-02 facebook-clang-plugins/libtooling/AttrParameterVectorStream.h 16 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/libtooling/NamePrinter.h 149 2 582 399 2020-09-10 2021-03-12 facebook-clang-plugins/libtooling/ASTExporter.cpp 10 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/libtooling/AttrParameterVectorStream.cpp 22 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/libtooling/ASTExporter.h 3686 13 582 15 2020-09-10 2022-03-31 facebook-clang-plugins/libtooling/atdlib/normalize_names_in_atd.py 39 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/libtooling/atdlib/extract_atd_from_cpp.py 20 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/libtooling/atdlib/ATDWriter.h 507 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/process.ml 130 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/clang_ast_types.ml 14 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/clang_ast_yojson_validator.ml 7 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/yojson_utils.ml 101 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/utils.ml 149 2 582 51 2020-09-10 2022-02-23 facebook-clang-plugins/clang-ocaml/clang_ast_proj.mli.p 30 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/clang_ast_visit.ml 31 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/clang_ast_proj.ml.p 180 5 582 219 2020-09-10 2021-09-08 facebook-clang-plugins/clang-ocaml/yojson_utils.mli 19 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/clang_ast_main.ml 87 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/clang_ast_named_decl_printer.ml 30 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/utils.mli 34 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/process.mli 30 1 582 582 2020-09-10 2020-09-10 facebook-clang-plugins/clang-ocaml/clang_ast_converter.ml 7 1 582 582 2020-09-10 2020-09-10