From 121f310098254d1a228568214d590f25c3a3b2b4 Mon Sep 17 00:00:00 2001
From: David Pichardie
Date: Fri, 12 Jul 2024 05:37:59 -0700
Subject: [PATCH] [quandary removal] fix website
Summary: running make doc-publish
Reviewed By: jvillard
Differential Revision: D59275965
fbshipit-source-id: 17c613f6a83058bf2831ce1eff94fb2d3f579c7e
---
website/checkers.json | 12 +-
website/docs/all-categories.md | 2 +
website/docs/all-checkers.md | 7 +-
website/docs/all-issue-types.md | 141 +-
website/docs/checker-datalog.md | 23 -
website/docs/checker-pulse.md | 1 +
website/docs/checker-self-in-block.md | 1 +
website/static/man/next/infer-analyze.1.html | 854 +++++----
website/static/man/next/infer-capture.1.html | 371 ++--
website/static/man/next/infer-compile.1.html | 77 +-
website/static/man/next/infer-debug.1.html | 140 +-
website/static/man/next/infer-explore.1.html | 54 +-
website/static/man/next/infer-help.1.html | 62 +-
website/static/man/next/infer-report.1.html | 237 ++-
.../static/man/next/infer-reportdiff.1.html | 103 +-
website/static/man/next/infer-run.1.html | 197 ++-
website/static/man/next/infer.1.html | 1566 ++++++++---------
.../infer/Absint/AccessPath/Abs/index.html | 2 +-
.../next/infer/Absint/AccessPath/index.html | 2 +-
.../infer/Absint/AndroidFramework/index.html | 2 +-
.../next/infer/Absint/Annotations/index.html | 2 +-
.../next/infer/Absint/FormalMap/index.html | 2 +-
.../odoc/next/infer/Absint/HilExp/index.html | 4 +-
.../next/infer/Absint/Passthrough/index.html | 2 +-
.../infer/Absint/Sink/Make/Set/index.html | 2 -
.../Sink/Make/argument-1-Kind/index.html | 7 -
.../next/infer/Absint/Sink/Make/index.html | 2 -
.../odoc/next/infer/Absint/Sink/index.html | 2 +-
.../infer/Absint/Source/Make/Set/index.html | 2 -
.../Source/Make/argument-1-Kind/index.html | 10 -
.../next/infer/Absint/Source/Make/index.html | 10 -
.../odoc/next/infer/Absint/Source/index.html | 4 +-
website/static/odoc/next/infer/BO/index.html | 2 +-
.../Backend/CallbackOfChecker/index.html | 7 +-
.../LineageTaint/TaintConfig/index.html | 4 +-
.../Backend/Payloads/Fields/Direct/index.html | 63 +-
.../infer/Backend/Payloads/Fields/index.html | 88 +-
.../next/infer/Backend/Payloads/index.html | 4 +-
.../infer/Biabduction/BuiltinDefn/index.html | 2 +-
.../next/infer/Biabduction/Errdesc/index.html | 8 +-
.../infer/Checkers/Lineage/Out/index.html | 2 +-
.../next/infer/Checkers/Lineage/index.html | 2 +-
.../Checkers/LineageShape/Summary/index.html | 8 +-
.../infer/Datalog/DatalogAnalysis/index.html | 2 -
.../odoc/next/infer/Datalog/Fact/index.html | 29 -
.../next/infer/Datalog/Factgen/index.html | 2 -
.../next/infer/Datalog/Reflect/index.html | 4 -
.../static/odoc/next/infer/Datalog/index.html | 2 -
.../odoc/next/infer/IBase/Checker/index.html | 2 +-
.../odoc/next/infer/IBase/Config/index.html | 2 +-
.../next/infer/IBase/IssueType/index.html | 2 +-
.../infer/IBase/PayloadId/Variants/index.html | 21 +-
.../next/infer/IBase/PayloadId/index.html | 2 +-
.../IBase/ResultsDirEntryName/index.html | 2 +-
.../static/odoc/next/infer/IBase/index.html | 2 +-
.../IR/BUILTINS/module-type-S/index.html | 2 +-
.../odoc/next/infer/IR/BuiltinDecl/index.html | 2 +-
.../odoc/next/infer/IR/Ident/index.html | 2 +-
.../next/infer/IR/Procname/Java/index.html | 2 +-
.../infer/IR/Procname/ObjC_Cpp/index.html | 2 +-
.../odoc/next/infer/IR/Procname/index.html | 2 +-
.../next/infer/IR/QualifiedCppName/index.html | 2 +-
.../static/odoc/next/infer/IR/Tenv/index.html | 2 +-
.../static/odoc/next/infer/IR/Var/index.html | 2 +-
.../infer/Integration/DatalogFacts/index.html | 2 -
.../next/infer/Integration/Driver/index.html | 5 +-
.../odoc/next/infer/Integration/index.html | 2 +-
.../AddressAttributes/index.html | 12 +-
.../CanonValue/Attributes/index.html | 9 +-
.../PulseAbductiveDomain/Summary/index.html | 6 +
.../Pulselib/PulseAccessResult/index.html | 6 +
.../PulseAttribute/Attributes/index.html | 2 +-
.../infer/Pulselib/PulseAttribute/index.html | 4 +-
.../PulseBaseAddressAttributes/index.html | 12 +-
.../module-type-S/index.html | 9 +-
.../Make/Attributes/index.html | 9 +-
.../module-type-S/Attributes/index.html | 9 +-
.../infer/Pulselib/PulseDiagnostic/index.html | 2 +-
.../infer/Pulselib/PulseFormula/index.html | 2 +-
.../Pulselib/PulseModelsDSL/Syntax/index.html | 2 +-
.../Quandary/ClangTaintAnalysis/index.html | 4 -
.../Quandary/ClangTrace/Sanitizer/index.html | 2 -
.../Quandary/ClangTrace/Sink/Kind/index.html | 2 -
.../Quandary/ClangTrace/Sink/Set/index.html | 2 -
.../infer/Quandary/ClangTrace/Sink/index.html | 7 -
.../ClangTrace/Source/Kind/index.html | 2 -
.../Quandary/ClangTrace/Source/Set/index.html | 2 -
.../Quandary/ClangTrace/Source/index.html | 10 -
.../Sources/Footprint/AccessMap/index.html | 12 -
.../Sources/Footprint/TraceDomain/index.html | 2 -
.../ClangTrace/Sources/Footprint/index.html | 10 -
.../Sources/FootprintConfig/index.html | 2 -
.../ClangTrace/Sources/Known/index.html | 2 -
.../ClangTrace/Sources/Sanitizers/index.html | 2 -
.../Quandary/ClangTrace/Sources/index.html | 2 -
.../next/infer/Quandary/ClangTrace/index.html | 19 -
.../Quandary/JavaTaintAnalysis/index.html | 4 -
.../Quandary/JavaTrace/Sanitizer/index.html | 2 -
.../Quandary/JavaTrace/Sink/Kind/index.html | 2 -
.../Quandary/JavaTrace/Sink/Set/index.html | 2 -
.../infer/Quandary/JavaTrace/Sink/index.html | 7 -
.../Quandary/JavaTrace/Source/Kind/index.html | 2 -
.../Quandary/JavaTrace/Source/Set/index.html | 2 -
.../Quandary/JavaTrace/Source/index.html | 10 -
.../Sources/Footprint/AccessMap/index.html | 12 -
.../Sources/Footprint/TraceDomain/index.html | 2 -
.../JavaTrace/Sources/Footprint/index.html | 10 -
.../Sources/FootprintConfig/index.html | 2 -
.../JavaTrace/Sources/Known/index.html | 2 -
.../JavaTrace/Sources/Sanitizers/index.html | 2 -
.../Quandary/JavaTrace/Sources/index.html | 2 -
.../next/infer/Quandary/JavaTrace/index.html | 19 -
.../QuandaryConfig/Sanitizer/index.html | 2 -
.../Quandary/QuandaryConfig/Sink/index.html | 2 -
.../Quandary/QuandaryConfig/Source/index.html | 2 -
.../infer/Quandary/QuandaryConfig/index.html | 2 -
.../QuandarySummary/AccessTree/index.html | 2 -
.../Clang/AccessMap/index.html | 12 -
.../Clang/TraceDomain/index.html | 2 -
.../Quandary/QuandarySummary/Clang/index.html | 10 -
.../QuandarySummary/Java/AccessMap/index.html | 12 -
.../Java/TraceDomain/index.html | 2 -
.../Quandary/QuandarySummary/Java/index.html | 10 -
.../infer/Quandary/QuandarySummary/index.html | 2 -
.../CFG/Node/IdMap/index.html | 12 -
.../CFG/Node/IdSet/index.html | 2 -
.../TransferFunctions/CFG/Node/index.html | 2 -
.../TransferFunctions/CFG/index.html | 10 -
.../TransferFunctions/Domain/index.html | 3 -
.../Interpreter/TransferFunctions/index.html | 9 -
.../Make/Analyzer/Interpreter/index.html | 31 -
.../TaintAnalysis/Make/Analyzer/index.html | 6 -
.../TaintAnalysis/Make/HilConfig/index.html | 2 -
.../argument-1-CFG/Node/IdMap/index.html | 12 -
.../argument-1-CFG/Node/IdSet/index.html | 2 -
.../argument-1-CFG/Node/index.html | 5 -
.../argument-1-CFG/index.html | 10 -
.../Make/TransferFunctions/index.html | 82 -
.../AccessTree/AccessMap/index.html | 12 -
.../AccessTree/TraceDomain/index.html | 2 -
.../AccessTree/index.html | 10 -
.../Trace/Sanitizer/index.html | 2 -
.../Trace/Sink/Kind/index.html | 2 -
.../Trace/Sink/Set/index.html | 2 -
.../Trace/Sink/index.html | 7 -
.../Trace/Source/Kind/index.html | 2 -
.../Trace/Source/Set/index.html | 2 -
.../Trace/Source/index.html | 10 -
.../Sources/Footprint/AccessMap/index.html | 12 -
.../Sources/Footprint/TraceDomain/index.html | 2 -
.../Trace/Sources/Footprint/index.html | 10 -
.../Trace/Sources/FootprintConfig/index.html | 2 -
.../Trace/Sources/Known/index.html | 2 -
.../Trace/Sources/Sanitizers/index.html | 2 -
.../Trace/Sources/index.html | 2 -
.../Trace/index.html | 19 -
.../argument-1-TaintSpecification/index.html | 13 -
.../Quandary/TaintAnalysis/Make/index.html | 7 -
.../infer/Quandary/TaintAnalysis/index.html | 2 -
.../next/infer/Quandary/TaintSpec/index.html | 2 -
.../AccessTree/AccessMap/index.html | 12 -
.../AccessTree/TraceDomain/index.html | 2 -
.../module-type-S/AccessTree/index.html | 10 -
.../module-type-S/Trace/Sanitizer/index.html | 2 -
.../module-type-S/Trace/Sink/Kind/index.html | 2 -
.../module-type-S/Trace/Sink/Set/index.html | 2 -
.../module-type-S/Trace/Sink/index.html | 7 -
.../Trace/Source/Kind/index.html | 2 -
.../module-type-S/Trace/Source/Set/index.html | 2 -
.../module-type-S/Trace/Source/index.html | 10 -
.../Sources/Footprint/AccessMap/index.html | 12 -
.../Sources/Footprint/TraceDomain/index.html | 2 -
.../Trace/Sources/Footprint/index.html | 10 -
.../Trace/Sources/FootprintConfig/index.html | 2 -
.../Trace/Sources/Known/index.html | 2 -
.../Trace/Sources/Sanitizers/index.html | 2 -
.../module-type-S/Trace/Sources/index.html | 2 -
.../TaintSpec/module-type-S/Trace/index.html | 19 -
.../TaintSpec/module-type-S/index.html | 13 -
.../odoc/next/infer/Quandary/index.html | 2 -
.../AnalyzerTester/StructuredSil/index.html | 12 +-
.../CFG/Node/IdMap/index.html | 12 -
.../CFG/Node/IdSet/index.html | 2 -
.../TransferFunctions/CFG/Node/index.html | 2 -
.../TransferFunctions/CFG/index.html | 10 -
.../TransferFunctions/Domain/index.html | 3 -
.../Interpreter/TransferFunctions/index.html | 9 -
.../Analyzer/Interpreter/index.html | 31 -
.../MockTaintAnalysis/Analyzer/index.html | 6 -
.../MockTaintAnalysis/HilConfig/index.html | 2 -
.../TaintDomain/AccessMap/index.html | 12 -
.../TaintDomain/TraceDomain/index.html | 2 -
.../MockTaintAnalysis/TaintDomain/index.html | 10 -
.../TraceDomain/Sanitizer/index.html | 2 -
.../TraceDomain/Sink/Kind/index.html | 2 -
.../TraceDomain/Sink/Set/index.html | 2 -
.../TraceDomain/Sink/index.html | 7 -
.../TraceDomain/Sinks/index.html | 2 -
.../TraceDomain/Source/Kind/index.html | 2 -
.../TraceDomain/Source/Set/index.html | 2 -
.../TraceDomain/Source/index.html | 10 -
.../Sources/Footprint/AccessMap/index.html | 12 -
.../Sources/Footprint/TraceDomain/index.html | 2 -
.../TraceDomain/Sources/Footprint/index.html | 10 -
.../Sources/FootprintConfig/index.html | 2 -
.../TraceDomain/Sources/Known/index.html | 2 -
.../TraceDomain/Sources/Sanitizers/index.html | 2 -
.../TraceDomain/Sources/index.html | 2 -
.../MockTaintAnalysis/TraceDomain/index.html | 19 -
.../CFG/Node/IdMap/index.html | 12 -
.../CFG/Node/IdSet/index.html | 2 -
.../TransferFunctions/CFG/Node/index.html | 2 -
.../TransferFunctions/CFG/index.html | 10 -
.../argument-1-CFG/Node/IdMap/index.html | 12 -
.../argument-1-CFG/Node/IdSet/index.html | 2 -
.../argument-1-CFG/Node/index.html | 5 -
.../argument-1-CFG/index.html | 10 -
.../TransferFunctions/index.html | 82 -
.../TaintTests/MockTaintAnalysis/index.html | 7 -
.../TaintTests/MockTrace/Sanitizer/index.html | 2 -
.../TaintTests/MockTrace/Sink/Kind/index.html | 2 -
.../TaintTests/MockTrace/Sink/Set/index.html | 2 -
.../TaintTests/MockTrace/Sink/index.html | 7 -
.../MockTrace/Source/Kind/index.html | 2 -
.../MockTrace/Source/Set/index.html | 2 -
.../TaintTests/MockTrace/Source/index.html | 10 -
.../Sources/Footprint/AccessMap/index.html | 12 -
.../Sources/Footprint/TraceDomain/index.html | 2 -
.../MockTrace/Sources/Footprint/index.html | 10 -
.../Sources/FootprintConfig/index.html | 2 -
.../MockTrace/Sources/Known/index.html | 2 -
.../MockTrace/Sources/Sanitizers/index.html | 2 -
.../TaintTests/MockTrace/Sources/index.html | 2 -
.../UnitTests/TaintTests/MockTrace/index.html | 19 -
.../TestInterpreter/AI_RPO/M/index.html | 15 -
.../AI_RPO/T/CFG/Node/IdMap/index.html | 14 -
.../AI_RPO/T/CFG/Node/IdSet/index.html | 3 -
.../AI_RPO/T/CFG/Node/index.html | 3 -
.../TestInterpreter/AI_RPO/T/CFG/index.html | 12 -
.../AI_RPO/T/Domain/index.html | 3 -
.../TestInterpreter/AI_RPO/T/index.html | 9 -
.../TestInterpreter/AI_RPO/index.html | 15 -
.../TestInterpreter/AI_WTO/M/index.html | 15 -
.../AI_WTO/T/CFG/Node/IdMap/index.html | 14 -
.../AI_WTO/T/CFG/Node/IdSet/index.html | 3 -
.../AI_WTO/T/CFG/Node/index.html | 3 -
.../TestInterpreter/AI_WTO/T/CFG/index.html | 12 -
.../AI_WTO/T/Domain/index.html | 3 -
.../TestInterpreter/AI_WTO/T/index.html | 9 -
.../TestInterpreter/AI_WTO/index.html | 15 -
.../TaintTests/TestInterpreter/index.html | 27 -
.../infer/UnitTests/TaintTests/index.html | 2 -
.../UnitTests/TraceTests/MockSink/index.html | 2 -
.../TraceTests/MockSource/Kind/index.html | 10 -
.../TraceTests/MockSource/Set/index.html | 2 -
.../TraceTests/MockSource/index.html | 10 -
.../TraceTests/MockTrace/Sanitizer/index.html | 2 -
.../TraceTests/MockTrace/Sink/Kind/index.html | 2 -
.../TraceTests/MockTrace/Sink/Set/index.html | 2 -
.../TraceTests/MockTrace/Sink/index.html | 7 -
.../MockTrace/Source/Kind/index.html | 2 -
.../MockTrace/Source/Set/index.html | 2 -
.../TraceTests/MockTrace/Source/index.html | 10 -
.../Sources/Footprint/AccessMap/index.html | 12 -
.../Sources/Footprint/TraceDomain/index.html | 2 -
.../MockTrace/Sources/Footprint/index.html | 10 -
.../Sources/FootprintConfig/index.html | 2 -
.../MockTrace/Sources/Known/index.html | 2 -
.../MockTrace/Sources/Sanitizers/index.html | 2 -
.../TraceTests/MockTrace/Sources/index.html | 2 -
.../UnitTests/TraceTests/MockTrace/index.html | 19 -
.../TraceTests/MockTraceElem/Kind/index.html | 2 -
.../TraceTests/MockTraceElem/Set/index.html | 2 -
.../TraceTests/MockTraceElem/index.html | 2 -
.../infer/UnitTests/TraceTests/index.html | 2 -
.../odoc/next/infer/UnitTests/index.html | 2 +-
website/static/odoc/next/infer/index.html | 2 +-
277 files changed, 1962 insertions(+), 3675 deletions(-)
delete mode 100644 website/docs/checker-datalog.md
delete mode 100644 website/static/odoc/next/infer/Absint/Sink/Make/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Absint/Sink/Make/argument-1-Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Absint/Sink/Make/index.html
delete mode 100644 website/static/odoc/next/infer/Absint/Source/Make/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Absint/Source/Make/argument-1-Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Absint/Source/Make/index.html
delete mode 100644 website/static/odoc/next/infer/Datalog/DatalogAnalysis/index.html
delete mode 100644 website/static/odoc/next/infer/Datalog/Fact/index.html
delete mode 100644 website/static/odoc/next/infer/Datalog/Factgen/index.html
delete mode 100644 website/static/odoc/next/infer/Datalog/Reflect/index.html
delete mode 100644 website/static/odoc/next/infer/Datalog/index.html
delete mode 100644 website/static/odoc/next/infer/Integration/DatalogFacts/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTaintAnalysis/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sanitizer/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sink/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sink/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sink/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Source/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Source/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Source/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sources/Footprint/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sources/Footprint/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sources/Footprint/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sources/FootprintConfig/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sources/Known/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sources/Sanitizers/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/Sources/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/ClangTrace/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTaintAnalysis/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sanitizer/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sink/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sink/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sink/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Source/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Source/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Source/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sources/Footprint/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sources/Footprint/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sources/Footprint/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sources/FootprintConfig/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sources/Known/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sources/Sanitizers/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/Sources/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/JavaTrace/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandaryConfig/Sanitizer/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandaryConfig/Sink/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandaryConfig/Source/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandaryConfig/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandarySummary/AccessTree/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandarySummary/Clang/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandarySummary/Clang/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandarySummary/Clang/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandarySummary/Java/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandarySummary/Java/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandarySummary/Java/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/QuandarySummary/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/Analyzer/Interpreter/TransferFunctions/CFG/Node/IdMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/Analyzer/Interpreter/TransferFunctions/CFG/Node/IdSet/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/Analyzer/Interpreter/TransferFunctions/CFG/Node/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/Analyzer/Interpreter/TransferFunctions/CFG/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/Analyzer/Interpreter/TransferFunctions/Domain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/Analyzer/Interpreter/TransferFunctions/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/Analyzer/Interpreter/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/Analyzer/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/HilConfig/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/TransferFunctions/argument-1-CFG/Node/IdMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/TransferFunctions/argument-1-CFG/Node/IdSet/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/TransferFunctions/argument-1-CFG/Node/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/TransferFunctions/argument-1-CFG/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/TransferFunctions/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/AccessTree/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/AccessTree/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/AccessTree/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sanitizer/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sink/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sink/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sink/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Source/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Source/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Source/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sources/Footprint/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sources/Footprint/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sources/Footprint/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sources/FootprintConfig/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sources/Known/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sources/Sanitizers/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/Sources/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/Trace/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/argument-1-TaintSpecification/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/Make/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintAnalysis/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/AccessTree/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/AccessTree/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/AccessTree/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sanitizer/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sink/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sink/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sink/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Source/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Source/Set/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Source/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sources/Footprint/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sources/Footprint/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sources/Footprint/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sources/FootprintConfig/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sources/Known/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sources/Sanitizers/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/Sources/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/Trace/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/TaintSpec/module-type-S/index.html
delete mode 100644 website/static/odoc/next/infer/Quandary/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/Analyzer/Interpreter/TransferFunctions/CFG/Node/IdMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/Analyzer/Interpreter/TransferFunctions/CFG/Node/IdSet/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/Analyzer/Interpreter/TransferFunctions/CFG/Node/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/Analyzer/Interpreter/TransferFunctions/CFG/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/Analyzer/Interpreter/TransferFunctions/Domain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/Analyzer/Interpreter/TransferFunctions/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/Analyzer/Interpreter/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/Analyzer/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/HilConfig/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TaintDomain/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TaintDomain/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TaintDomain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sanitizer/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sink/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sink/Set/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sink/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sinks/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Source/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Source/Set/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Source/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sources/Footprint/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sources/Footprint/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sources/Footprint/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sources/FootprintConfig/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sources/Known/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sources/Sanitizers/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/Sources/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/CFG/Node/IdMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/CFG/Node/IdSet/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/CFG/Node/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/CFG/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/argument-1-CFG/Node/IdMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/argument-1-CFG/Node/IdSet/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/argument-1-CFG/Node/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/argument-1-CFG/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/TransferFunctions/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTaintAnalysis/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sanitizer/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sink/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sink/Set/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sink/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Source/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Source/Set/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Source/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sources/Footprint/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sources/Footprint/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sources/Footprint/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sources/FootprintConfig/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sources/Known/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sources/Sanitizers/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/Sources/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/MockTrace/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_RPO/M/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_RPO/T/CFG/Node/IdMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_RPO/T/CFG/Node/IdSet/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_RPO/T/CFG/Node/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_RPO/T/CFG/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_RPO/T/Domain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_RPO/T/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_RPO/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_WTO/M/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_WTO/T/CFG/Node/IdMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_WTO/T/CFG/Node/IdSet/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_WTO/T/CFG/Node/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_WTO/T/CFG/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_WTO/T/Domain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_WTO/T/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/AI_WTO/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/TestInterpreter/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TaintTests/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockSink/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockSource/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockSource/Set/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockSource/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sanitizer/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sink/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sink/Set/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sink/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Source/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Source/Set/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Source/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sources/Footprint/AccessMap/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sources/Footprint/TraceDomain/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sources/Footprint/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sources/FootprintConfig/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sources/Known/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sources/Sanitizers/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/Sources/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTrace/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTraceElem/Kind/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTraceElem/Set/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/MockTraceElem/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/TraceTests/index.html
diff --git a/website/checkers.json b/website/checkers.json
index cb654eec154..2e8cb854c8f 100644
--- a/website/checkers.json
+++ b/website/checkers.json
@@ -4,13 +4,13 @@
"all-checkers", "all-categories", "all-issue-types",
"checker-annotation-reachability", "checker-biabduction",
"checker-bufferoverrun", "checker-config-impact-analysis",
- "checker-cost", "checker-datalog", "checker-fragment-retains-view",
- "checker-impurity", "checker-inefficient-keyset-iterator",
- "checker-lineage", "checker-litho-required-props", "checker-liveness",
+ "checker-cost", "checker-fragment-retains-view", "checker-impurity",
+ "checker-inefficient-keyset-iterator", "checker-lineage",
+ "checker-litho-required-props", "checker-liveness",
"checker-loop-hoisting", "checker-parameter-not-null-checked",
"checker-printf-args", "checker-pulse", "checker-purity",
- "checker-quandary", "checker-racerd", "checker-resource-leak-lab",
- "checker-sil-validation", "checker-siof", "checker-scope-leakage",
- "checker-self-in-block", "checker-starvation", "checker-topl"
+ "checker-racerd", "checker-resource-leak-lab", "checker-sil-validation",
+ "checker-siof", "checker-scope-leakage", "checker-self-in-block",
+ "checker-starvation", "checker-topl"
]
}
\ No newline at end of file
diff --git a/website/docs/all-categories.md b/website/docs/all-categories.md
index ff9ce2c2aaf..dd302b6b043 100644
--- a/website/docs/all-categories.md
+++ b/website/docs/all-categories.md
@@ -96,9 +96,11 @@ Issue types in this category:
- [MIXED_SELF_WEAKSELF](/docs/next/all-issue-types#mixed_self_weakself)
- [PULSE_RESOURCE_LEAK](/docs/next/all-issue-types#pulse_resource_leak)
- [PULSE_UNAWAITED_AWAITABLE](/docs/next/all-issue-types#pulse_unawaited_awaitable)
+- [PULSE_UNFINISHED_BUILDER](/docs/next/all-issue-types#pulse_unfinished_builder)
- [RESOURCE_LEAK](/docs/next/all-issue-types#resource_leak)
- [RETAIN_CYCLE](/docs/next/all-issue-types#retain_cycle)
- [RETAIN_CYCLE_NO_WEAK_INFO](/docs/next/all-issue-types#retain_cycle_no_weak_info)
+- [SELF_IN_BLOCK_PASSED_TO_INIT](/docs/next/all-issue-types#self_in_block_passed_to_init)
## Runtime exception
diff --git a/website/docs/all-checkers.md b/website/docs/all-checkers.md
index ea58e3e3d23..526d5c9597b 100644
--- a/website/docs/all-checkers.md
+++ b/website/docs/all-checkers.md
@@ -37,12 +37,6 @@ Computes the asymptotic complexity of functions with respect to execution cost o
[Visit here for more information.](/docs/next/checker-cost)
-## Datalog-based points-to analysis
-
-Experimental datalog-based points-to analysis.
-
-[Visit here for more information.](/docs/next/checker-datalog)
-
## Fragment Retains View
Detects when Android fragments are not explicitly nullified before becoming unreachable.
@@ -160,3 +154,4 @@ Detect various kinds of situations when no progress is being made because of con
Detect errors based on user-provided state machines describing temporal properties over multiple objects.
[Visit here for more information.](/docs/next/checker-topl)
+
diff --git a/website/docs/all-issue-types.md b/website/docs/all-issue-types.md
index b7df698bc6c..558edb88fd1 100644
--- a/website/docs/all-issue-types.md
+++ b/website/docs/all-issue-types.md
@@ -535,16 +535,6 @@ For more information see the [`NULLPTR_DEREFERENCE`](#nullptr_dereference) issue
*Reported as "Constant Address Dereference Latent" by [pulse](/docs/next/checker-pulse).*
A latent [CONSTANT_ADDRESS_DEREFERENCE](#constant_address_dereference). See the [documentation on Pulse latent issues](/docs/next/checker-pulse#latent-issues).
-## CREATE_INTENT_FROM_URI
-
-*Reported as "Create Intent From Uri" by [quandary](/docs/next/checker-quandary).*
-
-Create an intent/start a component using a (possibly user-controlled) URI. may or may not be an issue depending on where the URI comes from.
-## CROSS_SITE_SCRIPTING
-
-*Reported as "Cross Site Scripting" by [quandary](/docs/next/checker-quandary).*
-
-Untrusted data flows into HTML; XSS risk.
## CXX_REF_CAPTURED_IN_BLOCK
*Category: [Memory error](/docs/next/all-categories#memory-error). Reported as "C++ Reference Captured in Block" by [self-in-block](/docs/next/checker-self-in-block).*
@@ -574,11 +564,6 @@ dereferences it later.
*Reported as "Dangling Pointer Dereference" by [biabduction](/docs/next/checker-biabduction).*
-## DATALOG_FACT
-
-*Reported as "Datalog Fact" by [datalog](/docs/next/checker-datalog).*
-
-Datalog fact used as input for a datalog solver.
## DATA_FLOW_TO_SINK
*Category: [Sensitive data flow](/docs/next/all-categories#sensitive-data-flow). Reported as "Data Flow to Sink" by [pulse](/docs/next/checker-pulse).*
@@ -770,11 +755,6 @@ void symbolic_expensive_hoist(int size) {
}
```
-## EXPOSED_INSECURE_INTENT_HANDLING
-
-*Reported as "Exposed Insecure Intent Handling" by [quandary](/docs/next/checker-quandary).*
-
-Undocumented.
## GUARDEDBY_VIOLATION
*Category: [Concurrency](/docs/next/all-categories#concurrency). Reported as "GuardedBy Violation" by [racerd](/docs/next/checker-racerd).*
@@ -925,11 +905,6 @@ void call_top_cost_FP() {
```
-## INSECURE_INTENT_HANDLING
-
-*Reported as "Insecure Intent Handling" by [quandary](/docs/next/checker-quandary).*
-
-Undocumented.
## INTEGER_OVERFLOW_L1
*Reported as "Integer Overflow L1" by [bufferoverrun](/docs/next/checker-bufferoverrun).*
@@ -1015,11 +990,6 @@ void invariant_hoist(int size) {
*Category: [Perf regression](/docs/next/all-categories#perf-regression). Reported as "Ipc On Ui Thread" by [starvation](/docs/next/checker-starvation).*
A blocking `Binder` IPC call occurs on the UI thread.
-## JAVASCRIPT_INJECTION
-
-*Reported as "Javascript Injection" by [quandary](/docs/next/checker-quandary).*
-
-Untrusted data flows into JavaScript.
## LAB_RESOURCE_LEAK
*Reported as "Lab Resource Leak" by [resource-leak-lab](/docs/next/checker-resource-leak-lab).*
@@ -1072,11 +1042,6 @@ container (an array, a vector, etc).
Infer considers a method as private if it's not exported in the header-file
interface.
-## LOGGING_PRIVATE_DATA
-
-*Reported as "Logging Private Data" by [quandary](/docs/next/checker-quandary).*
-
-Undocumented.
## MEMORY_LEAK_C
*Category: [Resource leak](/docs/next/all-categories#resource-leak). Reported as "Memory Leak" by [pulse](/docs/next/checker-pulse).*
@@ -2023,6 +1988,11 @@ class A {
Failure to `await` an `Awaitable` can lead to non-deterministic amount of the asynchronous call actually being executed, and can also indicate a logical confusion between `T` and `Awaitable` that may not be caught by the type-checker.
+## PULSE_UNFINISHED_BUILDER
+
+*Category: [Resource leak](/docs/next/all-categories#resource-leak). Reported as "Unfinished Builder" by [pulse](/docs/next/checker-pulse).*
+
+See [RESOURCE_LEAK](#resource_leak)
## PULSE_UNINITIALIZED_CONST
*Category: [Runtime exception](/docs/next/all-categories#runtime-exception). Reported as "Uninitialized Const" by [pulse](/docs/next/checker-pulse).*
@@ -2275,11 +2245,6 @@ void set_impure(int x, int y) {
}
```
-## QUANDARY_TAINT_ERROR
-
-*Reported as "Taint Error" by [quandary](/docs/next/checker-quandary).*
-
-Generic taint error when nothing else fits.
## REGEX_OP_ON_UI_THREAD
*Category: [Perf regression](/docs/next/all-categories#perf-regression). Reported as "Regex Op On Ui Thread" by [starvation](/docs/next/checker-starvation).*
@@ -2677,31 +2642,40 @@ listed for the given class returns an object that is known to have scope SA. (Th
as a form of lightweight modeling.) A scope class is the name of the class that represents a
given scope.
-## SENSITIVE_DATA_FLOW
-
-*Category: [Sensitive data flow](/docs/next/all-categories#sensitive-data-flow). Reported as "Sensitive Data Flow" by [pulse](/docs/next/checker-pulse).*
+## SELF_IN_BLOCK_PASSED_TO_INIT
-A flow of sensitive data was detected from a source.
-## SHELL_INJECTION
+*Category: [Resource leak](/docs/next/all-categories#resource-leak). Reported as "Self In Block Passed To Init" by [self-in-block](/docs/next/checker-self-in-block).*
-*Reported as "Shell Injection" by [quandary](/docs/next/checker-quandary).*
+This check flags when `self` is captured in a block that is passed to an initialiser method. That
+could cause retain cycles if the initialiser code retains the block.
-Environment variable or file data flowing to shell.
-## SHELL_INJECTION_RISK
+Example:
-*Reported as "Shell Injection Risk" by [quandary](/docs/next/checker-quandary).*
+```objectivec
+ [obj initWithHandler:^() {
+ [self foo];
+ ...
+ }];
+```
-Code injection if the caller of the endpoint doesn't sanitize on its end.
-## SQL_INJECTION
+Instead it's better to use the `weakSelf`/`strongSelf` pattern.
-*Reported as "Sql Injection" by [quandary](/docs/next/checker-quandary).*
+```objectivec
+ __weak __typeof(self) weakSelf = self;
+ [obj initWithHandler:^() {
+ __strong __typeof(weakSelf) strongSelf = weakSelf;
+ if (strongSelf) {
+ [strongSelf foo];
+ }
+ ...
+ }];
+```
-Untrusted and unescaped data flows to SQL.
-## SQL_INJECTION_RISK
+## SENSITIVE_DATA_FLOW
-*Reported as "Sql Injection Risk" by [quandary](/docs/next/checker-quandary).*
+*Category: [Sensitive data flow](/docs/next/all-categories#sensitive-data-flow). Reported as "Sensitive Data Flow" by [pulse](/docs/next/checker-pulse).*
-Untrusted and unescaped data flows to SQL.
+A flow of sensitive data was detected from a source.
## STACK_VARIABLE_ADDRESS_ESCAPE
*Category: [Memory error](/docs/next/all-categories#memory-error). Reported as "Stack Variable Address Escape" by [pulse](/docs/next/checker-pulse).*
@@ -2961,61 +2935,6 @@ See [Topl](/docs/next/checker-topl#what-is-it) for an example
*Category: [Sensitive data flow](/docs/next/all-categories#sensitive-data-flow). Reported as "Topl Error Latent" by [topl](/docs/next/checker-topl).*
A latent [TOPL_ERROR](#topl_error). See the [documentation on Pulse latent issues](/docs/next/checker-pulse#latent-issues).
-## UNTRUSTED_BUFFER_ACCESS
-
-*Reported as "Untrusted Buffer Access" by [quandary](/docs/next/checker-quandary).*
-
-Untrusted data of any kind flowing to buffer.
-## UNTRUSTED_DESERIALIZATION
-
-*Reported as "Untrusted Deserialization" by [quandary](/docs/next/checker-quandary).*
-
-User-controlled deserialization.
-## UNTRUSTED_DESERIALIZATION_RISK
-
-*Reported as "Untrusted Deserialization Risk" by [quandary](/docs/next/checker-quandary).*
-
-User-controlled deserialization
-## UNTRUSTED_ENVIRONMENT_CHANGE_RISK
-
-*Reported as "Untrusted Environment Change Risk" by [quandary](/docs/next/checker-quandary).*
-
-User-controlled environment mutation.
-## UNTRUSTED_FILE
-
-*Reported as "Untrusted File" by [quandary](/docs/next/checker-quandary).*
-
-User-controlled file creation; may be vulnerable to path traversal and more.
-## UNTRUSTED_FILE_RISK
-
-*Reported as "Untrusted File Risk" by [quandary](/docs/next/checker-quandary).*
-
-User-controlled file creation; may be vulnerable to path traversal and more.
-## UNTRUSTED_HEAP_ALLOCATION
-
-*Reported as "Untrusted Heap Allocation" by [quandary](/docs/next/checker-quandary).*
-
-Untrusted data of any kind flowing to heap allocation. this can cause crashes or DOS.
-## UNTRUSTED_INTENT_CREATION
-
-*Reported as "Untrusted Intent Creation" by [quandary](/docs/next/checker-quandary).*
-
-Creating an Intent from user-controlled data.
-## UNTRUSTED_URL_RISK
-
-*Reported as "Untrusted Url Risk" by [quandary](/docs/next/checker-quandary).*
-
-Untrusted flag, environment variable, or file data flowing to URL.
-## UNTRUSTED_VARIABLE_LENGTH_ARRAY
-
-*Reported as "Untrusted Variable Length Array" by [quandary](/docs/next/checker-quandary).*
-
-Untrusted data of any kind flowing to stack buffer allocation. Trying to allocate a stack buffer that's too large will cause a stack overflow.
-## USER_CONTROLLED_SQL_RISK
-
-*Reported as "User Controlled Sql Risk" by [quandary](/docs/next/checker-quandary).*
-
-Untrusted data flows to SQL (no injection risk).
## USE_AFTER_DELETE
*Category: [Memory error](/docs/next/all-categories#memory-error). Reported as "Use After Delete" by [pulse](/docs/next/checker-pulse).*
diff --git a/website/docs/checker-datalog.md b/website/docs/checker-datalog.md
deleted file mode 100644
index 9d27bf3142c..00000000000
--- a/website/docs/checker-datalog.md
+++ /dev/null
@@ -1,23 +0,0 @@
----
-title: "Datalog-based points-to analysis"
-description: "Experimental datalog-based points-to analysis."
----
-
-Experimental datalog-based points-to analysis.
-
-Activate with `--datalog`.
-
-Supported languages:
-- C/C++/ObjC: No
-- C#/.Net: No
-- Erlang: No
-- Hack: No
-- Java: Experimental
-- Python: No
-
-
-
-## List of Issue Types
-
-The following issue types are reported by this checker:
-- [DATALOG_FACT](/docs/next/all-issue-types#datalog_fact)
diff --git a/website/docs/checker-pulse.md b/website/docs/checker-pulse.md
index a9a9ce78320..46179723352 100644
--- a/website/docs/checker-pulse.md
+++ b/website/docs/checker-pulse.md
@@ -189,6 +189,7 @@ The following issue types are reported by this checker:
- [PULSE_RESOURCE_LEAK](/docs/next/all-issue-types#pulse_resource_leak)
- [PULSE_TRANSITIVE_ACCESS](/docs/next/all-issue-types#pulse_transitive_access)
- [PULSE_UNAWAITED_AWAITABLE](/docs/next/all-issue-types#pulse_unawaited_awaitable)
+- [PULSE_UNFINISHED_BUILDER](/docs/next/all-issue-types#pulse_unfinished_builder)
- [PULSE_UNINITIALIZED_CONST](/docs/next/all-issue-types#pulse_uninitialized_const)
- [PULSE_UNINITIALIZED_VALUE](/docs/next/all-issue-types#pulse_uninitialized_value)
- [PULSE_UNNECESSARY_COPY](/docs/next/all-issue-types#pulse_unnecessary_copy)
diff --git a/website/docs/checker-self-in-block.md b/website/docs/checker-self-in-block.md
index f85ee9d1044..8d57b1665cb 100644
--- a/website/docs/checker-self-in-block.md
+++ b/website/docs/checker-self-in-block.md
@@ -24,5 +24,6 @@ The following issue types are reported by this checker:
- [CXX_REF_CAPTURED_IN_BLOCK](/docs/next/all-issue-types#cxx_ref_captured_in_block)
- [MIXED_SELF_WEAKSELF](/docs/next/all-issue-types#mixed_self_weakself)
- [MULTIPLE_WEAKSELF](/docs/next/all-issue-types#multiple_weakself)
+- [SELF_IN_BLOCK_PASSED_TO_INIT](/docs/next/all-issue-types#self_in_block_passed_to_init)
- [STRONG_SELF_NOT_CHECKED](/docs/next/all-issue-types#strong_self_not_checked)
- [WEAK_SELF_IN_NO_ESCAPE_BLOCK](/docs/next/all-issue-types#weak_self_in_no_escape_block)
diff --git a/website/static/man/next/infer-analyze.1.html b/website/static/man/next/infer-analyze.1.html
index 2b1e3756e0b..0ef0102049c 100644
--- a/website/static/man/next/infer-analyze.1.html
+++ b/website/static/man/next/infer-analyze.1.html
@@ -1,4 +1,4 @@
-
+
@@ -30,7 +30,6 @@ infer-analyze
JAVA OPTIONS
LINEAGE OPTIONS
PULSE CHECKER OPTIONS
-QUANDARY CHECKER OPTIONS
RACERD CHECKER OPTIONS
SIOF CHECKER OPTIONS
ENVIRONMENT
@@ -45,7 +44,7 @@ NAME
-infer-analyze -
+
infer-analyze -
analyze the files captured by infer
SYNOPSIS
@@ -53,7 +52,7 @@ SYNOPSIS
-
infer
+
infer
analyze [options]
infer [options]
@@ -62,7 +61,7 @@ DESCRIPTION
-Analyze the
+
Analyze the
files captured in the project results directory and
report.
@@ -72,9 +71,9 @@ OPTIONS
-
--annotation-reachability
+--annotation-reachability
-Activates:
+
Activates:
annotation-reachability checker: Given pairs of
source and sink annotations, e.g. ‘@A‘ and
‘@B‘, this checker will warn whenever some
@@ -88,116 +87,105 @@
OPTIONS
(Conversely: --no-annotation-reachability)
---annotation-reachability-only
+--annotation-reachability-only
-Activates: Enable
+
Activates: Enable
annotation-reachability and disable all other
checkers (Conversely:
--no-annotation-reachability-only)
---biabduction
+--biabduction
-Activates: biabduction
+
Activates: biabduction
checker: This analysis deals with a range of issues, many
linked to memory safety.
-DEPRECATED: This has been
-replaced by Pulse and will be removed
+
DEPRECATED: This has
+been replaced by Pulse and will be removed
in the next release.
(Conversely: --no-biabduction)
--biabduction-only
-Activates: Enable
+
Activates: Enable
biabduction and disable all other checkers
(Conversely: --no-biabduction-only)
---biabduction-write-dotty
+--biabduction-write-dotty
-Activates: Produce dotty files
+
Activates: Produce dotty files
for specs and retain cycles reports in infer-out/captured.
(Conversely: --no-biabduction-write-dotty)
---bufferoverrun
+--bufferoverrun
-Activates: bufferoverrun
+
Activates: bufferoverrun
checker: InferBO is a detector for out-of-bounds array
accesses. (Conversely: --no-bufferoverrun)
---bufferoverrun-only
-Activates: Enable
+
--bufferoverrun-only
+
+Activates: Enable
bufferoverrun and disable all other checkers
(Conversely: --no-bufferoverrun-only)
---changed-files-index
+
--changed-files-index
file
-Specify the file containing the
+
Specify the file containing the
list of source files from which reactive analysis should
start. Source files should be specified relative to project
root or be absolute
---config-impact-analysis
+--config-impact-analysis
-Activates:
+
Activates:
config-impact-analysis checker: [EXPERIMENTAL]
Collects function that are called without config checks.
(Conversely: --no-config-impact-analysis)
---config-impact-analysis-only
+--config-impact-analysis-only
-Activates: Enable
+
Activates: Enable
config-impact-analysis and disable all other checkers
(Conversely: --no-config-impact-analysis-only)
---continue-analysis
+--continue-analysis
-Activates: Continue the
+
Activates: Continue the
analysis after more targets are captured by
--continue. The other analysis options should be
given the same before. Not compatible with
--reanalyze and --incremental-analysis.
(Conversely: --no-continue-analysis)
---cost
+--cost
-Activates: cost checker:
+
Activates: cost checker:
Computes the asymptotic complexity of functions with respect
to execution cost or other user defined resources. Can be
used to detect changes in the complexity with ‘infer
reportdiff‘. (Conversely: --no-cost)
---cost-only
+--cost-only
-Activates: Enable cost
+
Activates: Enable cost
and disable all other checkers (Conversely:
--no-cost-only)
---no-cost-suppress-func-ptr
+--no-cost-suppress-func-ptr
-Deactivates: Suppress printing
+
Deactivates: Suppress printing
function pointers in cost reports (Conversely:
--cost-suppress-func-ptr)
---datalog
-
-Activates: datalog
-checker: Experimental datalog-based points-to analysis.
-(Conversely: --no-datalog)
-
---datalog-only
-
-Activates: Enable
-datalog and disable all other checkers (Conversely:
---no-datalog-only)
-
---debug,-g
+--debug,-g
-Activates: Debug mode (also
+
Activates: Debug mode (also
sets --debug-level 2, --developer-mode,
--print-buckets, --print-types,
--reports-include-ml-loc,
@@ -205,45 +193,45 @@
OPTIONS
--write-html) (Conversely: --no-debug |
-G)
-
--debug-level
+
--debug-level
level
-Debug level (sets
+
Debug level (sets
--bo-debug level,
--debug-level-analysis level,
--debug-level-capture level):
-- 0: only basic debugging
+
- 0: only basic debugging
enabled
- 1: verbose debugging enabled
- 2: very verbose debugging enabled
--debug-level-analysis int
-Debug level for the analysis.
+
Debug level for the analysis.
See --debug-level for accepted values.
---debug-level-capture
+
--debug-level-capture
int
-Debug level for the capture.
+
Debug level for the capture.
See --debug-level for accepted values.
---debug-level-report
+
--debug-level-report
int
-Debug level for the report. See
+
Debug level for the report. See
--debug-level for accepted values.
---no-deduplicate
+--no-deduplicate
-Deactivates: Apply
+
Deactivates: Apply
issue-specific deduplication during analysis and/or
reporting. (Conversely: --deduplicate)
---no-default-checkers
+--no-default-checkers
-Deactivates: Default checkers:
+
Deactivates: Default checkers:
--fragment-retains-view,
--inefficient-keyset-iterator, --liveness,
--parameter-not-null-checked, --pulse,
@@ -252,9 +240,9 @@
OPTIONS
--default-checkers)
-
--detach-analysis-dependency
+--detach-analysis-dependency
-Activates: Detach analysis
+
Activates: Detach analysis
dependencies of checkers during the analysis, so that each
checker triggers themselves only when analyzing a callee.
This can save unnecessary analyses on the situation that NOT
@@ -263,89 +251,90 @@
OPTIONS
--no-detach-analysis-dependency)
-
--dict-missing-key-var-block-list
+
--dict-missing-key-var-block-list
+string
-Skip analyzing the variables in
+
Skip analyzing the variables in
the dict-missing-key checker.
---files-to-analyze-index
+
+
--files-to-analyze-index
file
-File containing a list of
+
File containing a list of
source files where analysis should start from. When used,
the set of files given to this argument must be a subset of
that passed to --changed-files-index (which must be
specified).
---no-fragment-retains-view
+--no-fragment-retains-view
-Deactivates:
+
Deactivates:
fragment-retains-view checker: Detects when Android
fragments are not explicitly nullified before becoming
unreachable.
-DEPRECATED: Unmaintained
+
DEPRECATED: Unmaintained
due to poor precision.
(Conversely: --fragment-retains-view)
--fragment-retains-view-only
-Activates: Enable
+
Activates: Enable
fragment-retains-view and disable all other checkers
(Conversely: --no-fragment-retains-view-only)
---help
+--help
-Show this manual
+Show this manual
---help-format { auto |
-groff | pager | plain }
+--help-format { auto
+| groff | pager | plain }
-Show this help in the specified
+
Show this help in the specified
format. auto sets the format to plain if the
environment variable TERM is "dumb" or
undefined, and to pager otherwise.
---help-full
+--help-full
-Show this manual with all
+
Show this manual with all
internal options in the INTERNAL OPTIONS section
---impurity
+--impurity
-Activates: impurity
+
Activates: impurity
checker: Detects functions with potential side-effects. Same
as "purity", but implemented on top of Pulse.
-ACTIVATES: pulse
+
ACTIVATES: pulse
(Conversely: --no-impurity)
--impurity-only
-Activates: Enable
+
Activates: Enable
impurity and disable all other checkers (Conversely:
--no-impurity-only)
---impurity-report-immutable-modifications
+--impurity-report-immutable-modifications
-Activates: Report modifications
+
Activates: Report modifications
to immutable fields in the Impurity checker (Conversely:
--no-impurity-report-immutable-modifications)
---incremental-analysis
+--incremental-analysis
-Activates: Use incremental
+
Activates: Use incremental
analysis for changed files. Not compatible with
--reanalyze and --continue-analysis. Also sets
--mark-unchanged-procs. (Conversely:
--no-incremental-analysis)
---no-inefficient-keyset-iterator
+--no-inefficient-keyset-iterator
-Deactivates:
+
Deactivates:
inefficient-keyset-iterator checker: Check for
inefficient uses of iterators that iterate on keys then
lookup their values, instead of iterating on key-value pairs
@@ -353,300 +342,286 @@
OPTIONS
--inefficient-keyset-iterator)
-
--inefficient-keyset-iterator-only
+--inefficient-keyset-iterator-only
-Activates: Enable
+
Activates: Enable
inefficient-keyset-iterator and disable all other
checkers (Conversely:
--no-inefficient-keyset-iterator-only)
---invalidate-only
+--invalidate-only
-Activates: Remove any summaries
+
Activates: Remove any summaries
from the results database that transitively depend on a
changed procedure, then exit without doing any actual
analysis. (Conversely: --no-invalidate-only)
---jobs,-j
+
--jobs,-j
int
-Run the specified number of
+
Run the specified number of
analysis jobs simultaneously. Defaults to the minimum value
of the max_jobs argument and the number of CPUs.
---keep-going
+--keep-going
-Activates: Keep going when the
+
Activates: Keep going when the
analysis or capture encounter a failure (Conversely:
--no-keep-going)
---lineage
+--lineage
-Activates: lineage
+
Activates: lineage
checker: Computes a dataflow graph (Conversely:
--no-lineage)
---lineage-only
+--lineage-only
-Activates: Enable
+
Activates: Enable
lineage and disable all other checkers (Conversely:
--no-lineage-only)
---litho-required-props
+--litho-required-props
-Activates:
+
Activates:
litho-required-props checker: Checks that all
non-optional ‘@Prop‘s have been specified when
constructing Litho components. (Conversely:
--no-litho-required-props)
---litho-required-props-only
+--litho-required-props-only
-Activates: Enable
+
Activates: Enable
litho-required-props and disable all other checkers
(Conversely: --no-litho-required-props-only)
---no-liveness
+--no-liveness
-Deactivates: liveness
+
Deactivates: liveness
checker: Detection of dead stores and unused variables.
(Conversely: --liveness)
---liveness-ignored-constant
+
--liveness-ignored-constant
+string
-List of integer constants to be
+
List of integer constants to be
ignored by liveness analysis
---liveness-only
+--liveness-only
-Activates: Enable
+
Activates: Enable
liveness and disable all other checkers (Conversely:
--no-liveness-only)
---log-missing-deps
+--log-missing-deps
-Activates: Log analysis
+
Activates: Log analysis
dependencies that cannot be found. (Conversely:
--no-log-missing-deps)
---loop-hoisting
+--loop-hoisting
-Activates: loop-hoisting
+
Activates: loop-hoisting
checker: Detect opportunities to hoist function calls that
are invariant outside of loop bodies for efficiency.
(Conversely: --no-loop-hoisting)
---loop-hoisting-only
-Activates: Enable
+
--loop-hoisting-only
+
+Activates: Enable
loop-hoisting and disable all other checkers
(Conversely: --no-loop-hoisting-only)
---max-jobs int
+--max-jobs
+int
-Maximum number of analysis jobs
+
Maximum number of analysis jobs
running simultaneously. Experiments show current best value
is 40 jobs.
---memtrace-analysis-profiling
+--memtrace-analysis-profiling
-Activates: Generate OCaml
+
Activates: Generate OCaml
analysis allocation traces in
‘infer-out/memtrace‘. (Conversely:
--no-memtrace-analysis-profiling)
---memtrace-sampling-rate
+
+
--memtrace-sampling-rate
float
-Sampling rate for Memtrace
+
Sampling rate for Memtrace
allocation profiling. Default is 1e-6.
---modeled-expensive
+
--modeled-expensive
json
-Matcher or list of matchers for
+
Matcher or list of matchers for
methods that should be considered expensive by the
performance critical checker.
---never-returning-null
+
--never-returning-null
json
-[Java only, all analyses]
+
[Java only, all analyses]
Matcher or list of matchers for functions that never return
null.
---no-parameter-not-null-checked
+--no-parameter-not-null-checked
-Deactivates:
+
Deactivates:
parameter-not-null-checked checker: An
Objective-C-specific analysis to detect when a block
parameter is used before being checked for null first.
(Conversely: --parameter-not-null-checked)
---parameter-not-null-checked-only
+--parameter-not-null-checked-only
-Activates: Enable
+
Activates: Enable
parameter-not-null-checked and disable all other
checkers (Conversely:
--no-parameter-not-null-checked-only)
---print-active-checkers
+--print-active-checkers
-Activates: Print the active
+
Activates: Print the active
checkers before starting the analysis (Conversely:
--no-print-active-checkers)
---print-logs
+--print-logs
-Activates: Also log messages to
+
Activates: Also log messages to
stdout and stderr (Conversely: --no-print-logs)
---printf-args
+--printf-args
-Activates: printf-args
+
Activates: printf-args
checker: Detect mismatches between the Java
‘printf‘ format strings and the argument types
For example, this checker will warn about the type error in
‘printf("Hello %d",
"world")‘
-DEPRECATED: Unmaintained.
-
+
DEPRECATED:
+Unmaintained.
(Conversely: --no-printf-args)
--printf-args-only
-Activates: Enable
+
Activates: Enable
printf-args and disable all other checkers
(Conversely: --no-printf-args-only)
---progress-bar-style {
-auto | plain | multiline }
+--progress-bar-style
+{ auto | plain | multiline }
-Style of the progress bar.
+
Style of the progress bar.
auto selects multiline if connected to a tty,
otherwise plain.
---project-root,-C
+
+
--project-root,-C
dir
-Specify the root directory of
+
Specify the root directory of
the project
---no-pulse
+--no-pulse
-Deactivates: pulse
+
Deactivates: pulse
checker: General-purpose memory and value analysis engine.
(Conversely: --pulse)
---pulse-only
+--pulse-only
-Activates: Enable pulse
+
Activates: Enable pulse
and disable all other checkers (Conversely:
--no-pulse-only)
---purity
+--purity
-Activates: purity
+
Activates: purity
checker: Detects pure (side-effect-free) functions. A
different implementation of "impurity".
(Conversely: --no-purity)
---purity-only
+--purity-only
-Activates: Enable purity
+
Activates: Enable purity
and disable all other checkers (Conversely:
--no-purity-only)
---qualified-cpp-name-block-list
+
--qualified-cpp-name-block-list
+string
-Skip analyzing the procedures
+
Skip analyzing the procedures
under the qualified cpp type name.
---quandary
-
-Activates: quandary
-checker: The Quandary taint analysis detects flows of values
-between sources and sinks, except if the value went through
-a "sanitizer". In addition to some defaults, users
-can specify their own sources, sinks, and sanitizers
-functions.
-
-DEPRECATED: Taint
-analysis is now supported by the Pulse checker
-and Quandary will be removed in the next release.
-(Conversely: --no-quandary)
---quandary-only
-
-Activates: Enable
-quandary and disable all other checkers (Conversely:
---no-quandary-only)
-
---quiet,-q
+--quiet,-q
-Activates: Do not print
+
Activates: Do not print
anything on standard output. (Conversely: --no-quiet
| -Q)
---no-racerd
+--no-racerd
-Deactivates: racerd
+
Deactivates: racerd
checker: Thread safety analysis. (Conversely:
--racerd)
---racerd-only
+--racerd-only
-Activates: Enable racerd
+
Activates: Enable racerd
and disable all other checkers (Conversely:
--no-racerd-only)
---reactive,-r
-Activates: Reactive mode: the
+
--reactive,-r
+
+Activates: Reactive mode: the
analysis starts from the files captured since the
infer command started (Conversely:
--no-reactive | -R)
---reactive-capture
+--reactive-capture
-Activates: Reactive capture:
+
Activates: Reactive capture:
capture and analysis are interleaved. Currently this flag
will only make the analysis generate a list of type names
that were not found in the global tenv. The feature is only
available for the Hack frontend for now. (Conversely:
--no-reactive-capture)
---no-report
+--no-report
-Deactivates: Run the reporting
+
Deactivates: Run the reporting
phase once the analysis has completed (Conversely:
--report)
---report-force-relative-path
+--report-force-relative-path
-Activates: Force converting an
+
Activates: Force converting an
absolute path to a relative path to the root directory
(Conversely: --no-report-force-relative-path)
---results-dir,-o
+
--results-dir,-o
dir
-Write results and internal
+
Write results and internal
files in the specified directory
---scope-leakage
+--scope-leakage
-Activates: scope-leakage
+
Activates: scope-leakage
checker: The Java/Kotlin checker takes into account a set of
"scope" annotations and a must-not-hold relation
over the scopes. The checker raises an alarm if there exists
@@ -654,142 +629,145 @@
OPTIONS
respective scopes SA and SB, such that must-not-hold(SA,
SB). (Conversely: --no-scope-leakage)
-
--scope-leakage-only
-Activates: Enable
+
--scope-leakage-only
+
+Activates: Enable
scope-leakage and disable all other checkers
(Conversely: --no-scope-leakage-only)
---no-self-in-block
+--no-self-in-block
-Deactivates:
+
Deactivates:
self-in-block checker: An Objective-C-specific
analysis to detect when a block captures ‘self‘.
(Conversely: --self-in-block)
---self-in-block-only
-Activates: Enable
+
--self-in-block-only
+
+Activates: Enable
self-in-block and disable all other checkers
(Conversely: --no-self-in-block-only)
---shrink-analysis-db
-Activates: After analysis,
+
--shrink-analysis-db
+
+Activates: After analysis,
delete analysis summaries (but not report summaries) and
vacuum analysis database. (Conversely:
--no-shrink-analysis-db)
---sil-validation
+--sil-validation
-Activates:
+
Activates:
sil-validation checker: This checker validates that
all SIL instructions in all procedure bodies conform to a
(front-end specific) subset of SIL. (Conversely:
--no-sil-validation)
---sil-validation-only
+--sil-validation-only
-Activates: Enable
+
Activates: Enable
sil-validation and disable all other checkers
(Conversely: --no-sil-validation-only)
---no-siof
+--no-siof
-Deactivates: siof
+
Deactivates: siof
checker: Catches Static Initialization Order Fiascos in C++,
that can lead to subtle, compiler-version-dependent errors.
(Conversely: --siof)
---siof-only
+--siof-only
-Activates: Enable siof
+
Activates: Enable siof
and disable all other checkers (Conversely:
--no-siof-only)
---sqlite-cache-size
+
--sqlite-cache-size
int
-SQLite cache size in pages (if
+
SQLite cache size in pages (if
positive) or kB (if negative), follows formal of
corresponding SQLite PRAGMA.
---sqlite-lock-timeout
+
--sqlite-lock-timeout
int
-Timeout for SQLite results
+
Timeout for SQLite results
database operations, in milliseconds.
---sqlite-max-blob-size
+
--sqlite-max-blob-size
int
-Maximum blob/string size for
+
Maximum blob/string size for
data written in SQLite.
---sqlite-mmap-size
+
--sqlite-mmap-size
int
-Size of memory map for mmaped
+
Size of memory map for mmaped
SQLite databases, zero value disables memory mapping.
---sqlite-page-size
+
--sqlite-page-size
int
-SQLite page size in bytes, must
+
SQLite page size in bytes, must
be a power of two between 512 and 65536.
---no-starvation
+--no-starvation
-Deactivates: starvation
+
Deactivates: starvation
checker: Detect various kinds of situations when no progress
is being made because of concurrency errors. (Conversely:
--starvation)
---starvation-only
+--starvation-only
-Activates: Enable
+
Activates: Enable
starvation and disable all other checkers
(Conversely: --no-starvation-only)
---timeout
+
--timeout
float
-Time after which any checker
+
Time after which any checker
(except biabduction) should give up analysing the current
function or method, in seconds
---top-longest-proc-duration-size
+
--top-longest-proc-duration-size
int
-Number of procedures for which
+
Number of procedures for which
we track longest analysis duration info.
---topl
+--topl
-Activates: topl checker:
+
Activates: topl checker:
Detect errors based on user-provided state machines
describing temporal properties over multiple objects.
-ACTIVATES: pulse
+
ACTIVATES: pulse
(Conversely: --no-topl)
--topl-only
-Activates: Enable topl
+
Activates: Enable topl
and disable all other checkers (Conversely:
--no-topl-only)
---write-html
+--write-html
-Activates: Produce html debug
+
Activates: Produce html debug
output for the analyses in infer-out/captured. This shows
the abstract state of all analyses at each program point in
the source code. Each captured source file has its own html
page. This HTML file contains the source file, and at each
line of
-the file there are links to the
+
the file there are links to the
nodes of the control flow graph
of Infer's translation of that line of code into its
intermediate
@@ -800,7 +778,7 @@
OPTIONS
node. (Conversely: --no-write-html)
--xcode-isysroot-suffix string
-
Specify the suffix of Xcode
+
Specify the suffix of Xcode
isysroot directory, to avoid absolute paths in tests
ANALYSIS SCHEDULER OPTIONS
@@ -809,17 +787,17 @@ ANALYSIS SCHEDULER OPTIONS
-
--analysis-schedule-file
+
--analysis-schedule-file
path
-The file where an analysis
+
The file where an analysis
schedule is stored. The default is
infer-out/analysis_dependency_graph
---replay-analysis-schedule
+--replay-analysis-schedule
-Activates: Replay the analysis
+
Activates: Replay the analysis
schedule stored in --replay-analysis-schedule-file,
which should analyze the procedures in the same order as the
previous analysis. This should drastically limit
@@ -829,9 +807,9 @@
ANALYSIS SCHEDULER OPTIONS
(Conversely: --no-replay-analysis-schedule)
-
--replay-ondemand-should-error
+--replay-ondemand-should-error
-Activates: [debug] Whether
+
Activates: [debug] Whether
triggering the analysis of a procedure via ondemand should
log an error when replaying an analysis schedule with
--replay-analysis-schedule. Enable when replaying the
@@ -839,13 +817,13 @@
ANALYSIS SCHEDULER OPTIONS
dependencies that were recorded are insufficient.
(Conversely: --no-replay-ondemand-should-error)
-
--scheduler { file |
+
--scheduler { file |
restart | callgraph }
-Specify the scheduler used for
+
Specify the scheduler used for
the analysis phase:
-- file: schedules one job per
+
- file: schedules one job per
file
- callgraph: schedules one job per procedure, following the
@@ -858,7 +836,7 @@
ANALYSIS SCHEDULER OPTIONS
thus performs generally better on high parallelism
--store-analysis-schedule
-
Activates: Store the analysis
+
Activates: Store the analysis
schedule for later replay, honoring
--replay-analysis-schedule-file if present. This can
be useful to store a schedule done with one version of infer
@@ -875,57 +853,58 @@
BUFFER OVERRUN OPTIONS
-
--no-bo-assume-void
+--no-bo-assume-void
-Deactivates: Assume void type
+
Deactivates: Assume void type
as a type of record fields not in type environment.
(Conversely: --bo-assume-void)
---no-bo-bottom-as-default
+--no-bo-bottom-as-default
-Deactivates: Use bottom as a
+
Deactivates: Use bottom as a
default value instead of unknown. (Conversely:
--bo-bottom-as-default)
---bo-context-sensitive-allocsites
+--bo-context-sensitive-allocsites
-Activates: Assume that
+
Activates: Assume that
different calls to the same function creating an allocsite
results in different allocsites imported to the caller.
(Conversely:
--no-bo-context-sensitive-allocsites)
---bo-debug int
+--bo-debug
+int
-Debug level for buffer-overrun
+
Debug level for buffer-overrun
checker (0-4)
---bo-exit-frontend-gener-vars
+--bo-exit-frontend-gener-vars
-Activates: Put frontend
+
Activates: Put frontend
generated variables out of scope when they are listed in
exit scope instruction. (Conversely:
--no-bo-exit-frontend-gener-vars)
---bo-field-depth-limit
+
--bo-field-depth-limit
int
-Limit of field depth of
+
Limit of field depth of
abstract location in buffer-overrun checker
---bo-max-cfg-size
+
--bo-max-cfg-size
int
-Larger CFGs than the max size
+
Larger CFGs than the max size
are skipped in buffer overrun analysis.
---bo-sound-unknown-sets-join
+--bo-sound-unknown-sets-join
-Activates: Join with an unknown
+
Activates: Join with an unknown
set always result in an unknown set. When disabled, unknown
set behaves as bot. (Conversely:
--no-bo-sound-unknown-sets-join)
@@ -936,57 +915,57 @@ CLANG OPTIONS
-
--biabduction-unsafe-malloc
+--biabduction-unsafe-malloc
-Activates: Assume that
+
Activates: Assume that
malloc(3) never returns null. (Conversely:
--no-biabduction-unsafe-malloc)
---clang-compound-literal-init-limit
+
--clang-compound-literal-init-limit
int
-Limit after which
+
Limit after which
initialization of compound types (structs and arrays) is not
done element by element but using a builtin function that
each analysis has to model.
---cxx-scope-guards
+
--cxx-scope-guards
json
-Specify scope guard classes
+
Specify scope guard classes
that can be read only by destructors without being reported
as dead stores.
---dynamic-dispatch-json-file-path
+
--dynamic-dispatch-json-file-path
path
-Dynamic dispatch file path to
+
Dynamic dispatch file path to
get the JSON used for method name substitution
---inline-func-pointer-for-testing
+
--inline-func-pointer-for-testing
string
-Enables substituting global
+
Enables substituting global
function pointers used for testing with the real function
calls in the clang frontend. Pass the prefix used to build
the global function pointers used for testing.
---liveness-block-list-var-regex
+
--liveness-block-list-var-regex
string
-Specify a regular expression
+
Specify a regular expression
for variable names that are ignored when reporting dead
stores.
---liveness-dangerous-classes
+
--liveness-dangerous-classes
json
-Specify classes where the
+
Specify classes where the
destructor should be ignored when computing liveness. In
other words, assignement to variables of these types (or
common wrappers around these types such as
@@ -994,20 +973,20 @@
CLANG OPTIONS
when the variables are not read explicitly by the
program.
-
--lock-model
+
--lock-model
json
-Specify custom lock models for
+
Specify custom lock models for
starvation analysis.
-Example for pthreads (already
+
Example for pthreads (already
included in infer):
[{"lock":["pthread_mutex_lock"],"unlock":["pthread_mutex_unlock"]}]
--pulse-unsafe-malloc
-Activates: Assume that
+
Activates: Assume that
malloc(3) never returns null. (Conversely:
--no-pulse-unsafe-malloc)
@@ -1017,16 +996,16 @@ ERLANG OPTIONS
-
--erlang-list-unfold-depth
+
--erlang-list-unfold-depth
int
-Unfold Erlang lists up to depth
+
Unfold Erlang lists up to depth
int
---no-erlang-reliability
+--no-erlang-reliability
-Deactivates: Analyze crashing
+
Deactivates: Analyze crashing
executions. This flag affects both capture and analysis. At
capture time, it encodes Erlang specs; at (Pulse) analysis
time, it models Erlang exceptions (builtin or OTP ones).
@@ -1038,32 +1017,32 @@
JAVA OPTIONS
-
--no-annotation-reachability-apply-superclass-annotations
+--no-annotation-reachability-apply-superclass-annotations
-Deactivates: Applies
+
Deactivates: Applies
annotations from superclasses and interfaces also on methods
that are not overridden from the superclass or interface.
(Conversely:
--annotation-reachability-apply-superclass-annotations)
---annotation-reachability-custom-models
+
--annotation-reachability-custom-models
json
-Specify a map from annotations
+
Specify a map from annotations
to lists of regexps to treat matching methods as if they had
the annotation.
-Example format:
+
Example format:
{"Annotation":
["com\\.Myclass\\.foo.*"]}
--annotation-reachability-custom-pairs json
-Specify custom sources/sinks,
+
Specify custom sources/sinks,
and optionally sanitizers for the annotation reachability
checker
-Example format: for custom
+
Example format: for custom
annotations
com.my.annotation.{Source1,Source2,Sink1,Sanitizer1}
{ "sources" : ["Source1",
@@ -1072,49 +1051,50 @@
JAVA OPTIONS
"sanitizers": ["Sanitizer1"] }
--annotation-reachability-expensive
-
Activates: check if methods
+
Activates: check if methods
annotated with @PerformanceCritical can call expensive
methods (annotated @Expensive or modeled, with annotation
reachability checker) (Conversely:
--no-annotation-reachability-expensive)
---annotation-reachability-minimize-sources
+--annotation-reachability-minimize-sources
-Activates: do not report paths
+
Activates: do not report paths
where a suffix is also a source to sink path. For example if
there is a source1() -> source2() -> sink() path then
only source2() -> sink() will be reported. (Conversely:
--no-annotation-reachability-minimize-sources)
---annotation-reachability-no-allocation
+--annotation-reachability-no-allocation
-Activates: check if methods
+
Activates: check if methods
annotated with @NoAllocation can allocate (with annotation
reachability checker) (Conversely:
--no-annotation-reachability-no-allocation)
---annotation-reachability-report-source-and-sink
+--annotation-reachability-report-source-and-sink
-Activates: Reports methods that
+
Activates: Reports methods that
are marked as both a source and a sink at the same time.
(Conversely:
--no-annotation-reachability-report-source-and-sink)
---external-java-packages
+
+
--external-java-packages
+prefix
-Specify a list of Java package
+
Specify a list of Java package
prefixes for external Java packages. If set, the analysis
will not report non-actionable warnings on those
packages.
---java-version
+
--java-version
int
-The version of Java being used.
+
The version of Java being used.
Set it to your Java version if mvn is failing.
LINEAGE OPTIONS
@@ -1123,93 +1103,93 @@ LINEAGE OPTIONS
-
--no-lineage-dedup
+--no-lineage-dedup
-Deactivates: In JSON output,
+
Deactivates: In JSON output,
attempt to print each entity at most once. This is the
default. The only reason you may want to turn this off is to
make hash collisions more visible; that is, cases in which
distinct entities get assigned the same ID. (Conversely:
--lineage-dedup)
---lineage-field-depth
+
--lineage-field-depth
int
-[EXPERIMENTAL] Maximal field
+
[EXPERIMENTAL] Maximal field
depth sensitivity for lineage analysis. 0 will make the
analysis field insensitive.
---lineage-field-max-cfg-size
+
--lineage-field-max-cfg-size
int
-If set, field sensitivity is
+
If set, field sensitivity is
disabled on larger CFGs.
---lineage-field-width
+
--lineage-field-width
int
-[EXPERIMENTAL] Maximal width of
+
[EXPERIMENTAL] Maximal width of
structures for field sensitive lineage analysis. Structure
that have a higher number of fields will be smashed into a
single element. 0 will make the analysis field
insensitive.
---lineage-include-builtins
+--lineage-include-builtins
-Activates: Include call/return
+
Activates: Include call/return
edges to/from procedures that model primitive Erlang
operations, such as constructing a list. (Conversely:
--no-lineage-include-builtins)
---lineage-json-report
+--lineage-json-report
-Activates: Enable lineage
+
Activates: Enable lineage
report in JSON format. (Conversely:
--no-lineage-json-report)
---lineage-keep-temporaries
+--lineage-keep-temporaries
-Activates: Normally, lineage
+
Activates: Normally, lineage
summaries do not mention temporary variables introduced
while compiling the high-level code to Infer's IR
(intermediate representation). If this option is enabled,
then the lineage graph produced corresponds to Infer's IR.
(Conversely: --no-lineage-keep-temporaries)
---lineage-max-cfg-size
+
--lineage-max-cfg-size
int
-If set, larger CFGs are
+
If set, larger CFGs are
skipped.
---no-lineage-prevent-cycles
+--no-lineage-prevent-cycles
-Deactivates: [EXPERIMENTAL] If
+
Deactivates: [EXPERIMENTAL] If
given, Lineage will not stop traversing the fields of a
variable when it notices recursive types (that is, a
sub-field having the same type as one of its
"ancestors"). (Conversely:
--lineage-prevent-cycles)
---lineage-seed
+
--lineage-seed
int
-Set the random seed used for
+
Set the random seed used for
hashing. (Various entities that get reported need unique
identifiers. To generate these unique identifiers, in a
distributed way without communication, we use hashing. If
you are unlucky and get collisions, you can try a different
seed.
---lineage-variant-width
+
--lineage-variant-width
int
-Maximal width of variant types
+
Maximal width of variant types
for lineage analysis. A variant type is the type of a
variable whose value is within a statically known atom set.
The width of the type is the cardinal of that atom set.
@@ -1220,40 +1200,40 @@ PULSE CHECKER OPTIONS
-
--log-pulse-coverage
+--log-pulse-coverage
-Activates: Log precisely where
+
Activates: Log precisely where
coverage stops, at the end of file stats/stats.txt.
(Conversely: --no-log-pulse-coverage)
---log-pulse-disjunct-increase-after-model-call
+--log-pulse-disjunct-increase-after-model-call
-Activates: Log which model did
+
Activates: Log which model did
increase the current number of Pulse disjuncts. (Conversely:
--no-log-pulse-disjunct-increase-after-model-call)
---pulse-cut-to-one-path-procedures-pattern
+
--pulse-cut-to-one-path-procedures-pattern
string
-Regex of methods for which
+
Regex of methods for which
pulse will only explore one path. Can be used on
pathologically large procedures to prevent too-big states
from being produced.
---pulse-inline-global-init-func-pointer
+--pulse-inline-global-init-func-pointer
-Activates: Inline the
+
Activates: Inline the
initializer of global variables that are of type function
pointer in Pulse. (Conversely:
--no-pulse-inline-global-init-func-pointer)
---pulse-log-summary-count
+--pulse-log-summary-count
-Activates: Log the number of
+
Activates: Log the number of
summaries (grouped by summary kind) for each analyzed
procedure in Pulse. Results are put in JSON files under a
'pulse' subdirectory, one corresponding to each analysis
@@ -1261,57 +1241,57 @@
PULSE CHECKER OPTIONS
be needed. (Conversely:
--no-pulse-log-summary-count)
-
--pulse-max-cfg-size
+
--pulse-max-cfg-size
int
-Larger CFGs than the max size
+
Larger CFGs than the max size
are skipped in Pulse.
---pulse-max-disjuncts
+
--pulse-max-disjuncts
int
-Stop exploring new paths after
+
Stop exploring new paths after
int disjunctions in the domain
---pulse-max-heap
+
--pulse-max-heap
int
-Give up analysing a procedure
+
Give up analysing a procedure
if the number of words in the heap exceeds this limit.
Intended use: avoid OutOfMemory crashes.
---pulse-model-abort
+
--pulse-model-abort
+string
-Methods that should be modelled
+
Methods that should be modelled
as abort in Pulse
---pulse-model-alloc-pattern
+
--pulse-model-alloc-pattern
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as allocs in Pulse
---pulse-model-cheap-copy-type
+
--pulse-model-cheap-copy-type
regex
-Regex of methods that should be
+
Regex of methods that should be
cheap to copy in Pulse
---pulse-model-cheap-copy-type-list
+
--pulse-model-cheap-copy-type-list
+regex
-Regex of methods that should be
+
Regex of methods that should be
cheap to copy in Pulse
---pulse-model-free-pattern
+
--pulse-model-free-pattern
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as wrappers to free(3) in Pulse. The pointer
to be freed should be the first argument of the function.
This should only be needed if the code of the wrapper is not
@@ -1320,91 +1300,91 @@
PULSE CHECKER OPTIONS
pointers).
-
--pulse-model-malloc-pattern
+
--pulse-model-malloc-pattern
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as wrappers to malloc(3) in Pulse. The size
to allocate should be the first argument of the function.
See --pulse-model-free-pattern for more
information.
---pulse-model-realloc-pattern
+
--pulse-model-realloc-pattern
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as wrappers to realloc(3) in Pulse. The
pointer to be reallocated should be the first argument of
the function and the new size the second argument. See
--pulse-model-free-pattern for more information.
---pulse-model-release-pattern
+
--pulse-model-release-pattern
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as release in Pulse
---pulse-model-return-first-arg
+
--pulse-model-return-first-arg
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as returning the first argument in Pulse in terms
of the source language semantics. Languages supported: Java,
C, Objective-C
---pulse-model-return-nonnull
+
--pulse-model-return-nonnull
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as returning non-null in Pulse
---pulse-model-return-this
+
--pulse-model-return-this
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as returning the ‘this‘ or
‘self‘ argument of an instance method in Pulse.
Languages supported: Java, Objective-C
---pulse-model-returns-copy-pattern
+
--pulse-model-returns-copy-pattern
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as creating copies in Pulse
---pulse-model-skip-pattern
+
--pulse-model-skip-pattern
string
-Regex of methods that should be
+
Regex of methods that should be
modelled as "skip" in Pulse
---pulse-model-skip-pattern-list
+
--pulse-model-skip-pattern-list
+string
-Regex of methods that should be
+
Regex of methods that should be
modelled as "skip" in Pulse
---pulse-model-transfer-ownership
+
--pulse-model-transfer-ownership
+string
-Methods that should be modelled
+
Methods that should be modelled
as transfering memory ownership in Pulse. Accepted formats
are method or namespace::method
---pulse-models-for-erlang
+
--pulse-models-for-erlang
+path
-Provide custom models for
+
Provide custom models for
Erlang in JSON files or SQLite3. Files must end with
‘.json‘ or ‘.db‘ respectively. If a
path to a directory is given then the subdirectories will be
@@ -1412,7 +1392,7 @@
PULSE CHECKER OPTIONS
format is preferable when providing a large number of models
because they will be internally indexed by mfa.
-
The format for JSON is
+
The format for JSON is
[SelectorBehavior, ...] where
SelectorBehavior := {"selector": Selector,
"behavior": Behavior}
@@ -1453,60 +1433,60 @@
PULSE CHECKER OPTIONS
(see above)
--no-pulse-nullsafe-report-npe
-
Deactivates: Report null
+
Deactivates: Report null
dereference issues on files marked @Nullsafe. (Conversely:
--pulse-nullsafe-report-npe)
---pulse-nullsafe-report-npe-as-separate-issue
+--pulse-nullsafe-report-npe-as-separate-issue
-Activates: Report null
+
Activates: Report null
dereference issues on files marked @Nullsafe as a separate
NULLPTR_DEREFERENCE_IN_NULLSAFE_CLASS issue type.
(Conversely:
--no-pulse-nullsafe-report-npe-as-separate-issue)
---pulse-recency-limit
+
--pulse-recency-limit
int
-Maximum number of array
+
Maximum number of array
elements and structure fields to keep track of for a given
address.
---pulse-skip-procedures
+
--pulse-skip-procedures
regex
-Regex of procedures that should
+
Regex of procedures that should
not be analyzed by Pulse.
---pulse-specialization-iteration-limit
+
--pulse-specialization-iteration-limit
int
-Maximum number of iterative
+
Maximum number of iterative
summary specialization at each call site.
---pulse-specialization-limit
+
--pulse-specialization-limit
int
-Maximum number of summary
+
Maximum number of summary
specialization by procedure.
---no-pulse-taint-check-history
+--no-pulse-taint-check-history
-Deactivates: Check values
+
Deactivates: Check values
histories for taint events before reporting a taint issue.
This is a temporary flag while the taint analysis
transitions from being mainly attribute-based to being
history-based. (Conversely:
--pulse-taint-check-history)
---pulse-taint-config
+
--pulse-taint-config
+path
-Path to a taint analysis
+
Path to a taint analysis
configuration file or a directory containing such files.
This file can define --pulse-taint-sources,
--pulse-taint-sanitizers,
@@ -1514,7 +1494,7 @@
PULSE CHECKER OPTIONS
--pulse-taint-sinks, --pulse-taint-policies,
and --pulse-taint-data-flow-kinds.
-
If a path to a directory is
+
If a path to a directory is
given then the configuration files
must have the ‘.json‘ extension. Any other file
will be ignored.
@@ -1523,20 +1503,21 @@
PULSE CHECKER OPTIONS
convention.
--pulse-taint-data-flow-kinds json
-
Specify which taint kinds
+
Specify which taint kinds
should be used for data flow reporting only. If a source has
such a kind, only data flows to sinks which originate at the
source will be reported. If a sink has such a kind, only
sensitive data flows to the sink will be reported.
---pulse-taint-policies
+
--pulse-taint-policies
json
-A description of which taint
+
A description of which taint
flows should be reported, following this JSON format:
-{ "short_description":
-"<a short description of the issue>",
+
{
+"short_description": "<a short description
+of the issue>",
"taint_flows": [{ "source_kinds":
[<kinds>],
"sink_kinds": [<kinds>],
@@ -1562,47 +1543,48 @@
PULSE CHECKER OPTIONS
}
--pulse-taint-propagators json
-
Quick way to specify simple
+
Quick way to specify simple
propagators as a JSON objects. See
--pulse-taint-sources for the fields format
documentation.
---pulse-taint-sanitizers
+
+
--pulse-taint-sanitizers
json
-Quick way to specify simple
+
Quick way to specify simple
sanitizers as a JSON objects. See
--pulse-taint-sources for the fields format
documentation.
---pulse-taint-short-traces
+--pulse-taint-short-traces
-Activates: Cut off taint traces
+
Activates: Cut off taint traces
as soon as a tainted value flows into a sink. This matters
when the sink itself calls other sinks of the same kind and
as long as the value flows from call to call, without this
flag the trace would include the whole chain of calls.
(Conversely: --no-pulse-taint-short-traces)
---pulse-taint-sinks
+
--pulse-taint-sinks
json
-Quick way to specify simple
+
Quick way to specify simple
sinks as a JSON objects. See --pulse-taint-sources
for the fields format documentation.
---pulse-taint-skip-sources
+--pulse-taint-skip-sources
-Activates: Skip the analysis of
+
Activates: Skip the analysis of
methods declared as sources in the taint. (Conversely:
--no-pulse-taint-skip-sources)
---pulse-taint-sources
+
--pulse-taint-sources
json
-Together with
+
Together with
--pulse-taint-sanitizers, --pulse-taint-sinks,
--pulse-taint-policies, and
--pulse-taint-data-flow-kinds, specify taint
@@ -1611,8 +1593,8 @@
PULSE CHECKER OPTIONS
one of the following combinations of fields to identify
relevant procedures:
-
- "field_regex": match
-a field name using an OCaml regex
+
- "field_regex":
+match a field name using an OCaml regex
- "procedure": match a substring of the procedure
name
- "procedure_regex": as above, but match using an
@@ -1719,67 +1701,37 @@
PULSE CHECKER OPTIONS
source shouldn't be flagged.
--pulse-widen-threshold int
-
Stop exploring new paths after
+
Stop exploring new paths after
int loop iterations
-QUANDARY CHECKER OPTIONS
-
-
-
-
-
---quandary-endpoints
-json
-
-Specify endpoint classes for
-Quandary
-
---quandary-sanitizers
-json
-
-Specify custom sanitizers for
-Quandary
-
---quandary-sinks
-json
-
-Specify custom sinks for
-Quandary
-
---quandary-sources
-json
-
-Specify custom sources for
-Quandary
-
RACERD CHECKER OPTIONS
---racerd-always-report-java
+--racerd-always-report-java
-Activates: Every Java class
+
Activates: Every Java class
analysed is treated as if it were annotated as @ThreadSafe.
(Conversely: --no-racerd-always-report-java)
---racerd-guardedby
+--racerd-guardedby
-Activates: Check @GuardedBy
+
Activates: Check @GuardedBy
annotations with RacerD (Conversely:
--no-racerd-guardedby)
---racerd-ignore-classes
+
--racerd-ignore-classes
+string
-Any method in a class specified
+
Any method in a class specified
here will be ignored by RacerD.
---threadsafe-aliases
+
--threadsafe-aliases
json
-Specify custom annotations that
+
Specify custom annotations that
should be considered aliases of @ThreadSafe
SIOF CHECKER OPTIONS
@@ -1788,19 +1740,19 @@ SIOF CHECKER OPTIONS
-
--siof-check-iostreams
+--siof-check-iostreams
-Activates: Do not assume that
+
Activates: Do not assume that
iostreams (cout, cerr, ...) are always initialized. The
default is to assume they are always initialized to avoid
false positives. However, if your program compiles against a
recent libstdc++ then it is safe to turn this option on.
(Conversely: --no-siof-check-iostreams)
---siof-safe-methods
+
--siof-safe-methods
+string
-Methods that are SIOF-safe;
+
Methods that are SIOF-safe;
"foo::bar" will match "foo::bar()",
"foo<int>::bar()", etc. (can be specified
multiple times)
@@ -1811,10 +1763,10 @@ ENVIRONMENT
-
INFER_ARGS,
+
INFER_ARGS,
INFERCONFIG, INFER_STRICT_MODE
-See the ENVIRONMENT section in
+
See the ENVIRONMENT section in
the manual of infer(1).
FILES
@@ -1823,9 +1775,9 @@ FILES
-
.inferconfig
+.inferconfig
-See the FILES section in the
+
See the FILES section in the
manual of infer(1).
SEE ALSO
@@ -1834,7 +1786,7 @@ SEE ALSO
-
infer-report(1),
+
infer-report(1),
infer-run(1)
diff --git a/website/static/man/next/infer-capture.1.html b/website/static/man/next/infer-capture.1.html
index dd43fea0c01..98aa2f0f06d 100644
--- a/website/static/man/next/infer-capture.1.html
+++ b/website/static/man/next/infer-capture.1.html
@@ -1,4 +1,4 @@
-
+
@@ -39,7 +39,7 @@ NAME
-infer-capture -
+
infer-capture -
capture source files for later analysis
SYNOPSIS
@@ -47,9 +47,9 @@ SYNOPSIS
-
infer capture
---buck-java [options] -- buck ...
-
+
infer
+capture --buck-java [options] -- buck
+...
infer capture --buck-clang [options] --
buck ...
infer capture --buck-compilation-database [no-]deps
@@ -80,7 +80,7 @@ DESCRIPTION
-
Capture the
+
Capture the
build command, compilation database, or cfg/tenv json files
specified on the command line: infer intercepts calls to the
compiler to read source files, translate them into infer's
@@ -93,29 +93,29 @@
OPTIONS
-
--capture-block-list
+
--capture-block-list
json
-Matcher or list of matchers for
+
Matcher or list of matchers for
names of files that should not be captured, hence not
analyzed either. Clang, Java, and Hack only.
---cfg-json
+
--cfg-json
file
-Path to CFG json file
+Path to CFG json file
---continue
+--continue
-Activates: Continue the capture
+
Activates: Continue the capture
for the reactive analysis, increasing the changed
files/procedures. (If a procedure was changed beforehand,
keep the changed marking.) (Conversely:
--no-continue)
---debug,-g
+--debug,-g
-Activates: Debug mode (also
+
Activates: Debug mode (also
sets --debug-level 2, --developer-mode,
--print-buckets, --print-types,
--reports-include-ml-loc,
@@ -123,47 +123,47 @@
OPTIONS
--write-html) (Conversely: --no-debug |
-G)
-
--debug-level
+
--debug-level
level
-Debug level (sets
+
Debug level (sets
--bo-debug level,
--debug-level-analysis level,
--debug-level-capture level):
-- 0: only basic debugging
+
- 0: only basic debugging
enabled
- 1: verbose debugging enabled
- 2: very verbose debugging enabled
--debug-level-analysis int
-Debug level for the analysis.
+
Debug level for the analysis.
See --debug-level for accepted values.
---debug-level-capture
+
--debug-level-capture
int
-Debug level for the capture.
+
Debug level for the capture.
See --debug-level for accepted values.
---debug-level-report
+
--debug-level-report
int
-Debug level for the report. See
+
Debug level for the report. See
--debug-level for accepted values.
---force-delete-results-dir
+--force-delete-results-dir
-Activates: Do not refuse to
+
Activates: Do not refuse to
delete the results directory if it doesn't look like an
infer results directory. (Conversely:
--no-force-delete-results-dir)
---force-integration
+
--force-integration
command
-Proceed as if the first
+
Proceed as if the first
argument after -- was command. Possible
values: ant, buck1, buck, buck2,
gradle, gradlew, java, javac,
@@ -173,40 +173,41 @@
OPTIONS
mvn, mvnw, ndk-build, python3,
rebar3, erlc, xcodebuild.
-
--help
+--help
-Show this manual
+Show this manual
---help-format { auto |
-groff | pager | plain }
+--help-format { auto
+| groff | pager | plain }
-Show this help in the specified
+
Show this help in the specified
format. auto sets the format to plain if the
environment variable TERM is "dumb" or
undefined, and to pager otherwise.
---help-full
+--help-full
-Show this manual with all
+
Show this manual with all
internal options in the INTERNAL OPTIONS section
---keep-going
+--keep-going
-Activates: Keep going when the
+
Activates: Keep going when the
analysis or capture encounter a failure (Conversely:
--no-keep-going)
---load-average,-l
+
+
--load-average,-l
float
-Do not start new parallel jobs
+
Do not start new parallel jobs
if the load average is greater than that specified (Buck and
make only)
---mark-unchanged-procs
+--mark-unchanged-procs
-Activates: Check structural
+
Activates: Check structural
identity of newly-captured procedures with
previously-captured versions, marking the new procedure as
unchanged if the two are equivalent. Also prevents removing
@@ -214,93 +215,94 @@
OPTIONS
reused during future incremental analyses (Conversely:
--no-mark-unchanged-procs)
-
--merge-capture
+
--merge-capture
+string
-Specifies an Infer results
+
Specifies an Infer results
directory. The files and procedures captured in it will be
merged together into the results directory specified with
-o. Relative paths are interpreted as relative to
project-root/buck-out.
---never-returning-null
+
--never-returning-null
json
-[Java only, all analyses]
+
[Java only, all analyses]
Matcher or list of matchers for functions that never return
null.
---print-logs
+--print-logs
-Activates: Also log messages to
+
Activates: Also log messages to
stdout and stderr (Conversely: --no-print-logs)
---progress-bar-style {
-auto | plain | multiline }
+--progress-bar-style
+{ auto | plain | multiline }
-Style of the progress bar.
+
Style of the progress bar.
auto selects multiline if connected to a tty,
otherwise plain.
---project-root,-C
+
+
--project-root,-C
dir
-Specify the root directory of
+
Specify the root directory of
the project
---results-dir,-o
+
--results-dir,-o
dir
-Write results and internal
+
Write results and internal
files in the specified directory
---skip-analysis-in-path
+
--skip-analysis-in-path
+regex
-Ignore files whose path matches
+
Ignore files whose path matches
a given regex (can be specified multiple times, but you must
make sure each regex is properly bracketed)
---sqlite-cache-size
+
--sqlite-cache-size
int
-SQLite cache size in pages (if
+
SQLite cache size in pages (if
positive) or kB (if negative), follows formal of
corresponding SQLite PRAGMA.
---sqlite-lock-timeout
+
--sqlite-lock-timeout
int
-Timeout for SQLite results
+
Timeout for SQLite results
database operations, in milliseconds.
---sqlite-max-blob-size
+
--sqlite-max-blob-size
int
-Maximum blob/string size for
+
Maximum blob/string size for
data written in SQLite.
---sqlite-mmap-size
+
--sqlite-mmap-size
int
-Size of memory map for mmaped
+
Size of memory map for mmaped
SQLite databases, zero value disables memory mapping.
---sqlite-page-size
+
--sqlite-page-size
int
-SQLite page size in bytes, must
+
SQLite page size in bytes, must
be a power of two between 512 and 65536.
---tenv-json
+
--tenv-json
file
-Path to TEnv json file
+Path to TEnv json file
---workspace
+
--workspace
path
-Specifies the root of the
+
Specifies the root of the
workspace, which is a directory containing
--project-root. This can be needed if the capture
phase is expected to require several different
@@ -310,13 +312,13 @@
OPTIONS
- |
+ |
-- |
- |
-
+ | |
+
Stop argument processing, use remaining arguments as a
@@ -329,186 +331,187 @@ BUCK OPTIONS
---append-buck-flavors
+ --append-buck-flavors
+string
-Additional Buck flavors to
+ Additional Buck flavors to
append to targets discovered by the
--buck-compilation-database option.
---buck-block-list
+ --buck-block-list
+regex
-Skip capture of files matched
+ Skip capture of files matched
by the specified regular expression. Only the clang,
non-compilation-database
-Buck integration is supported,
+ Buck integration is supported,
not Java.
--buck-clang
-Activates: Buck integration for
+ Activates: Buck integration for
clang-based targets (C/C++/Objective-C/Objective-C++).
(Conversely: --no-buck-clang)
---buck-clang-use-toolchain-config
+--buck-clang-use-toolchain-config
-Activates: Suppress setting
+ Activates: Suppress setting
buck config values for the infer binary and other values in
the buck-clang-flavor integration and instead rely on buck
toolchain configuration options. (Conversely:
--no-buck-clang-use-toolchain-config)
---buck-compilation-database
+ --buck-compilation-database
{ no-deps | deps }
-Buck integration using the
+ Buck integration using the
compilation database, with or without dependencies. Only
includes clang targets, as per Buck's
#compilation-database flavor.
---buck-compilation-database-depth
+ --buck-compilation-database-depth
int
-Depth of dependencies used by
+ Depth of dependencies used by
the --buck-compilation-database deps option. By
default, all recursive dependencies are captured.
---buck-dependency-depth
+ --buck-dependency-depth
int
-Capture dependencies only if
+ Capture dependencies only if
they are at most the depth provided, or all transitive
dependencies if depth is not provided (the default). In
particular, depth zero means capture exactly the targets
provided and nothing else.
---buck-erlang
+--buck-erlang
-Activates: Buck integration for
+ Activates: Buck integration for
Erlang. (Conversely: --no-buck-erlang)
---buck-java
+--buck-java
-Activates: Buck integration for
+ Activates: Buck integration for
Java. (Conversely: --no-buck-java)
---buck-java-heap-size-gb
+
+ --buck-java-heap-size-gb
int
-Explicitly set the size of the
+ Explicitly set the size of the
Java heap of Buck processes, in gigabytes.
---buck-java-suppress-config
+--buck-java-suppress-config
-Activates: Suppress setting
+ Activates: Suppress setting
buck config values for the infer binary and its version in
the buck-java integration. (Conversely:
--no-buck-java-suppress-config)
---buck-merge-all-deps
+--buck-merge-all-deps
-Activates: Find and merge all
+ Activates: Find and merge all
infer dependencies produced by buck. Use this flag if infer
doesn't find any files to analyze after a successful
capture. Only valid for --buck-clang. (Conversely:
--no-buck-merge-all-deps)
---buck-targets-block-list
+ --buck-targets-block-list
+regex
-Skip capture of buck targets
+ Skip capture of buck targets
matched by the specified regular expression.
---buck2-bxl-capture-file-block-list
+ --buck2-bxl-capture-file-block-list
+regex
-Skip capture of files matched
+ Skip capture of files matched
by the specified regular expression. Only the clang, Buck2
integration is supported, not Java.
---buck2-bxl-target
+ --buck2-bxl-target
string
-Buck2 BXL script (as a buck
+ Buck2 BXL script (as a buck
target) to run when capturing with buck2/clang
integration.
---buck2-inferconfig-target
+ --buck2-inferconfig-target
string
-Buck2 target representing the
+ Buck2 target representing the
inferconfig file; used in BXL capture.
---buck2-infertoolchain-target
+ --buck2-infertoolchain-target
string
-Buck2 target representing the
+ Buck2 target representing the
infer toolchain; used in BXL capture.
---buck2-isolation-dir
+ --buck2-isolation-dir
string
-Run buck bxl capture with the
+ Run buck bxl capture with the
given isolation directory as parameter.
---no-buck2-query-deps
+--no-buck2-query-deps
-Deactivates: Query deps of
+ Deactivates: Query deps of
given targets and run capture on the result (alternatively
run capture on given targets) (Conversely:
--buck2-query-deps)
---buck2-root
+ --buck2-root
dir
-Specify the parent directory of
+ Specify the parent directory of
buck-out (used only for buck2).
---Xbuck
+ --Xbuck
+string
-Pass values as command-line
+ Pass values as command-line
arguments to invocations of ‘buck build‘.
Only valid for --buck-clang.
---Xbuck-no-inline
+ --Xbuck-no-inline
+string
-Pass values as command-line
+ Pass values as command-line
arguments to invocations of ‘buck build‘,
don't inline any args starting with '@'. Only valid for
--buck-clang.
---Xbuck2
+ --Xbuck2
+string
-Pass values as command-line
+ Pass values as command-line
arguments to invocations of ‘buck2
build‘. Only valid for --buck-clang.
---Xbuck2-no-inline
+ --Xbuck2-no-inline
+string
-Pass values as command-line
+ Pass values as command-line
arguments to invocations of ‘buck2
build‘, don't inline any args starting with '@'.
Only valid for --buck-clang.
---xcode-developer-dir
+ --xcode-developer-dir
XCODE_DEVELOPER_DIR
-Specify the path to Xcode
+ Specify the path to Xcode
developer directory, to use for Buck clang targets
CLANG OPTIONS
@@ -517,121 +520,121 @@ CLANG OPTIONS
---clang-biniou-file
+ --clang-biniou-file
file
-Specify a file containing the
+ Specify a file containing the
AST of the program, in biniou format. Please note you still
need to provide a compilation command.
---clang-block-listed-flags
+ --clang-block-listed-flags
+string
-Clang flags to filter out
+Clang flags to filter out
---clang-block-listed-flags-with-arg
+ --clang-block-listed-flags-with-arg
+string
-Clang flags (taking args) to
+ Clang flags (taking args) to
filter out
---clang-compound-literal-init-limit
+ --clang-compound-literal-init-limit
int
-Limit after which
+ Limit after which
initialization of compound types (structs and arrays) is not
done element by element but using a builtin function that
each analysis has to model.
---clang-yojson-file
+ --clang-yojson-file
file
-Specify a file containing the
+ Specify a file containing the
AST of the program, in yojson format. Please note you still
need to provide a compilation command.
---compilation-database
+ --compilation-database
+path
-File that contain compilation
+ File that contain compilation
commands (can be specified multiple times)
---compilation-database-escaped
+ --compilation-database-escaped
+path
-File that contain compilation
+ File that contain compilation
commands where all entries are escaped for the shell, eg
coming from Xcode (can be specified multiple times)
---no-cxx
+--no-cxx
-Deactivates: Analyze C++
+ Deactivates: Analyze C++
methods (Conversely: --cxx)
---dump-duplicate-symbols
+--dump-duplicate-symbols
-Activates: Dump all symbols
+ Activates: Dump all symbols
with the same name that are defined in more than one file.
(Conversely: --no-dump-duplicate-symbols)
---frontend-tests
+--frontend-tests
-Activates: Save
+ Activates: Save
filename.ext.test.dot with the cfg in dotty format for
frontend tests (also sets --print-types) (Conversely:
--no-frontend-tests)
---headers
+--headers
-Activates: Analyze code in
+ Activates: Analyze code in
header files (Conversely: --no-headers)
---objc-synthesize-dealloc
+--objc-synthesize-dealloc
-Activates: If enabled, the
+ Activates: If enabled, the
capture tries to synthesize code in the dealloc methods of
Objective-C classes corresponding to what the compiler does.
(Conversely: --no-objc-synthesize-dealloc)
---skip-non-capture-clang-commands
+--skip-non-capture-clang-commands
-Activates: Skip clang commands
+ Activates: Skip clang commands
that Infer doesn't use to capture data (Conversely:
--no-skip-non-capture-clang-commands)
---skip-translation-headers
+ --skip-translation-headers
+path_regex
-Ignore declarations in headers
+ Ignore declarations in headers
whose path matches the given OCaml regex from the start of
the string during capture.
---struct-as-cpp-class
+--struct-as-cpp-class
-Activates: Translate C structs
+ Activates: Translate C structs
as C++ classes. This can be useful when analyzing C/C++ code
to make sure struct global variables shared between C and
C++ source files are treated as same variables
-(Conversely:
+ (Conversely:
--no-struct-as-cpp-class)
--Xclang +string
-Pass values as command-line
+ Pass values as command-line
arguments to invocations of clang
---xcpretty
+--xcpretty
-Activates: Infer will use
+ Activates: Infer will use
xcpretty together with xcodebuild to analyze an iOS app.
xcpretty just needs to be in the path, infer command is
still just ‘infer -- <xcodebuild
@@ -644,44 +647,44 @@ ERLANG OPTIONS
- --erlang-ast-dir
+ --erlang-ast-dir
dir
-Also load AST from all .json
+ Also load AST from all .json
files in the given path. These .json files usually come from
a previous run with --debug.
---erlang-check-return
+--erlang-check-return
-Activates: Check whether the
+ Activates: Check whether the
values returned by functions correspond to what the
function's spec promises. This check is introduced at
capture time. (Conversely:
--no-erlang-check-return)
---no-erlang-reliability
+--no-erlang-reliability
-Deactivates: Analyze crashing
+ Deactivates: Analyze crashing
executions. This flag affects both capture and analysis. At
capture time, it encodes Erlang specs; at (Pulse) analysis
time, it models Erlang exceptions (builtin or OTP ones).
(Conversely: --erlang-reliability)
---erlang-skip-compile
+--erlang-skip-compile
-Activates: Skip running
+ Activates: Skip running
compiler (erlc/rebar3), to save time. The build command is
basically ignored in this case. To be used together with
--erlang-ast-dir. (Conversely:
--no-erlang-skip-compile)
---erlang-with-otp-specs
+--erlang-with-otp-specs
-Activates: [EXPERIMENTAL] Use
+ Activates: [EXPERIMENTAL] Use
type specs from OTP (available in the system) to generate
more precise Pulse summaries for unknown library functions.
(Conversely: --no-erlang-with-otp-specs)
@@ -692,46 +695,46 @@ JAVA OPTIONS
---bootclasspath
+ --bootclasspath
string
-Specify the Java
+ Specify the Java
bootclasspath
---dependencies
+--dependencies
-Activates: Translate all the
+ Activates: Translate all the
dependencies during the capture. The classes in the given
jar file will be translated. No sources needed. (Conversely:
--no-dependencies)
---generated-classes
+ --generated-classes
path
-Specify where to load the
+ Specify where to load the
generated class files
---java-jar-compiler
+ --java-jar-compiler
path
-Specify the Java compiler jar
+ Specify the Java compiler jar
used to generate the bytecode
---java-version
+ --java-version
int
-The version of Java being used.
+ The version of Java being used.
Set it to your Java version if mvn is failing.
---no-kotlin-capture
+--no-kotlin-capture
-Deactivates: Enable Kotlin
+ Deactivates: Enable Kotlin
capture. (Conversely: --kotlin-capture)
---no-mask-sawja-exceptions
+--no-mask-sawja-exceptions
-Deactivates: Mask exceptions
+ Deactivates: Mask exceptions
thrown by Sawja/Javalib during Java capture (Conversely:
--mask-sawja-exceptions)
@@ -741,10 +744,10 @@ ENVIRONMENT
-INFER_ARGS,
+ INFER_ARGS,
INFERCONFIG, INFER_STRICT_MODE
-See the ENVIRONMENT section in
+ See the ENVIRONMENT section in
the manual of infer(1).
FILES
@@ -753,9 +756,9 @@ FILES
-.inferconfig
+.inferconfig
-See the FILES section in the
+ See the FILES section in the
manual of infer(1).
SEE ALSO
@@ -764,7 +767,7 @@ SEE ALSO
-infer-analyze(1),
+ infer-analyze(1),
infer-compile(1), infer-run(1)
diff --git a/website/static/man/next/infer-compile.1.html b/website/static/man/next/infer-compile.1.html
index b1b92594c9a..8c37323908a 100644
--- a/website/static/man/next/infer-compile.1.html
+++ b/website/static/man/next/infer-compile.1.html
@@ -1,4 +1,4 @@
-
+
@@ -36,7 +36,7 @@ NAME
-infer-compile -
+ infer-compile -
compile project from within the infer environment
SYNOPSIS
@@ -44,15 +44,15 @@ SYNOPSIS
-infer compile
--- [compile command]
+infer
+compile -- [compile command]
DESCRIPTION
-Intercepts
+ Intercepts
compilation commands similarly to infer-capture, but
simply execute these compilation commands and do not perform
any translation of the source files. This can be useful to
@@ -64,9 +64,9 @@ OPTIONS
---debug,-g
+--debug,-g
-Activates: Debug mode (also
+ Activates: Debug mode (also
sets --debug-level 2, --developer-mode,
--print-buckets, --print-types,
--reports-include-ml-loc,
@@ -74,58 +74,58 @@ OPTIONS
--write-html) (Conversely: --no-debug |
-G)
---debug-level
+ --debug-level
level
-Debug level (sets
+ Debug level (sets
--bo-debug level,
--debug-level-analysis level,
--debug-level-capture level):
-- 0: only basic debugging
+ - 0: only basic debugging
enabled
- 1: verbose debugging enabled
- 2: very verbose debugging enabled
--debug-level-analysis int
-Debug level for the analysis.
+ Debug level for the analysis.
See --debug-level for accepted values.
---debug-level-capture
+ --debug-level-capture
int
-Debug level for the capture.
+ Debug level for the capture.
See --debug-level for accepted values.
---debug-level-report
+ --debug-level-report
int
-Debug level for the report. See
+ Debug level for the report. See
--debug-level for accepted values.
---force-delete-results-dir
+--force-delete-results-dir
-Activates: Do not refuse to
+ Activates: Do not refuse to
delete the results directory if it doesn't look like an
infer results directory. (Conversely:
--no-force-delete-results-dir)
---help
+--help
-Show this manual
+Show this manual
---help-format { auto |
-groff | pager | plain }
+--help-format { auto
+| groff | pager | plain }
-Show this help in the specified
+ Show this help in the specified
format. auto sets the format to plain if the
environment variable TERM is "dumb" or
undefined, and to pager otherwise.
---help-full
+--help-full
-Show this manual with all
+ Show this manual with all
internal options in the INTERNAL OPTIONS section
ENVIRONMENT
@@ -134,10 +134,10 @@ ENVIRONMENT
-INFER_ARGS,
+ INFER_ARGS,
INFERCONFIG, INFER_STRICT_MODE
-See the ENVIRONMENT section in
+ See the ENVIRONMENT section in
the manual of infer(1).
FILES
@@ -146,9 +146,9 @@ FILES
-.inferconfig
+.inferconfig
-See the FILES section in the
+ See the FILES section in the
manual of infer(1).
EXAMPLES
@@ -156,32 +156,33 @@ EXAMPLES
-cmake(1)
+
+ cmake(1)
hardcodes the absolute paths to the compiler inside the
Makefiles it generates, which defeats the later capture of
compilation commands by infer. Thus, to capture a CMake
project, one should configure the project from within the
infer build environment, for instance:
-mkdir build
+ mkdir build
&& cd build
infer compile -- cmake ..
infer capture -- make
-The same
+ The same
solution can be used for projects whose
"./configure" script hardcodes the paths to the
compilers, for instance:
-infer compile --
-./configure
+ infer compile
+-- ./configure
infer capture -- make
-Another solution
-for CMake projects is to use CMake's compilation databases,
-for instance:
+Another
+solution for CMake projects is to use CMake's compilation
+databases, for instance:
-mkdir build
+ mkdir build
&& cd build
cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 ..
infer capture --compilation-database
@@ -193,7 +194,7 @@ SEE ALSO
-infer-capture(1)
+infer-capture(1)
|