From 669b32ad5621813ce63e91f8284f808aace7d110 Mon Sep 17 00:00:00 2001
From: Sungkeun Cho
Date: Wed, 21 Aug 2024 06:06:41 -0700
Subject: [PATCH] [web] Update the webpage
Summary: ^^
Reviewed By: hajduakos
Differential Revision: D61542376
fbshipit-source-id: b3e3b430cc349d681a59674d542b3a60849c6eae
---
website/checkers.json | 8 +-
website/docs/all-categories.md | 4 +
website/docs/all-checkers.md | 10 --
website/docs/all-issue-types.md | 30 +++---
website/docs/checker-fragment-retains-view.md | 2 -
website/docs/checker-impurity.md | 2 +-
website/docs/checker-lineage.md | 6 ++
website/docs/checker-printf-args.md | 25 -----
website/docs/checker-pulse.md | 2 +
website/static/man/next/infer-analyze.1.html | 43 ++++-----
website/static/man/next/infer-capture.1.html | 7 ++
website/static/man/next/infer-report.1.html | 37 ++++++--
website/static/man/next/infer.1.html | 95 ++++++++++++-------
.../Clang_profiler_samples_j/index.html | 11 ---
.../Clang_profiler_samples_t/index.html | 2 -
.../Java_method_decl_j/index.html | 8 --
.../Java_method_decl_t/index.html | 2 -
.../Java_profiler_samples_j/index.html | 20 ----
.../Java_profiler_samples_t/index.html | 2 -
.../infer/ATDGenerated/Jsonbug_j/index.html | 2 +-
.../infer/ATDGenerated/Jsonbug_t/index.html | 2 +-
.../ATDGenerated/Pulse_config_j/index.html | 2 +-
.../ATDGenerated/Pulse_config_t/index.html | 2 +-
.../odoc/next/infer/ATDGenerated/index.html | 2 +-
.../AbstractDomain/FiniteSet/index.html | 2 +-
.../argument-1-PPSet/index.html | 2 +-
.../FiniteSetOfPPSet/index.html | 2 +-
.../AbstractDomain/InvertedSet/index.html | 2 +-
.../module-type-FiniteSetS/index.html | 2 +-
.../module-type-InvertedSetS/index.html | 2 +-
.../argument-1-T/CFG/Node/IdSet/index.html | 2 +-
.../argument-1-T/CFG/Node/IdSet/index.html | 2 +-
.../argument-1-T/CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../argument-1-T/CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../next/infer/Absint/CallSite/Set/index.html | 2 +-
.../odoc/next/infer/Absint/Errlog/index.html | 2 +-
.../MakeTraceElem/FiniteSet/index.html | 2 +-
.../FiniteSet/index.html | 2 +-
.../module-type-FiniteSet/index.html | 2 +-
.../FiniteSet/index.html | 2 +-
.../next/infer/Absint/IssueLog/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../infer/Absint/Passthrough/Set/index.html | 2 +-
.../next/infer/Absint/PatternMatch/index.html | 6 +-
.../argument-1-Base/Node/IdSet/index.html | 2 +-
.../ProcCfg/DefaultNode/IdSet/index.html | 2 +-
.../Absint/ProcCfg/InstrNode/IdSet/index.html | 2 +-
.../argument-1-Base/Node/IdSet/index.html | 2 +-
.../Node/IdSet/index.html | 2 +-
.../ProcCfg/module-type-Node/IdSet/index.html | 2 +-
.../module-type-NodeCommonS/IdSet/index.html | 2 +-
.../module-type-S/Node/IdSet/index.html | 2 +-
.../argument-1-CFG/Node/IdSet/index.html | 2 +-
.../module-type-S/CFG/Node/IdSet/index.html | 2 +-
.../Absint/Sink/module-type-S/Set/index.html | 2 +-
.../SinkTrace/Make/Sources/Known/index.html | 2 +-
.../Make/Sources/Sanitizers/index.html | 2 +-
.../argument-1-TaintTraceElem/Set/index.html | 2 +-
.../Absint/SinkTrace/MakeSink/Set/index.html | 2 +-
.../argument-1-TaintTraceElem/Set/index.html | 2 +-
.../module-type-S/Sink/Set/index.html | 2 +-
.../module-type-S/Source/Set/index.html | 2 +-
.../module-type-S/Sources/Known/index.html | 2 +-
.../Sources/Sanitizers/index.html | 2 +-
.../infer/Absint/Source/Dummy/Set/index.html | 2 +-
.../Source/module-type-S/Set/index.html | 2 +-
.../TaintTrace/Make/Sources/Known/index.html | 2 +-
.../Make/Sources/Sanitizers/index.html | 2 +-
.../Make/argument-1-Spec/Sink/Set/index.html | 2 +-
.../argument-1-Spec/Source/Set/index.html | 2 +-
.../module-type-S/Sink/Set/index.html | 2 +-
.../module-type-S/Source/Set/index.html | 2 +-
.../module-type-S/Sources/Known/index.html | 2 +-
.../Sources/Sanitizers/index.html | 2 +-
.../module-type-Spec/Sink/Set/index.html | 2 +-
.../module-type-Spec/Source/Set/index.html | 2 +-
.../module-type-S/Set/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../module-type-HIL/CFG/Node/IdSet/index.html | 2 +-
.../module-type-S/CFG/Node/IdSet/index.html | 2 +-
.../module-type-SIL/CFG/Node/IdSet/index.html | 2 +-
.../next/infer/BO/AbsLoc/LocSet/index.html | 2 +-
.../ItvThresholds/index.html | 2 +-
.../BO/BufferOverrunSemantics/index.html | 4 +-
.../odoc/next/infer/BO/FuncPtr/Set/index.html | 2 +-
.../next/infer/BO/Symb/SymbolSet/index.html | 2 +-
.../infer/Backend/LineageTaint/index.html | 7 +-
.../next/infer/CStubs/Fnv64Hash/index.html | 2 -
.../static/odoc/next/infer/CStubs/index.html | 2 -
.../CFG/Node/IdSet/index.html | 2 +-
.../Checkers/AddressTaken/Domain/index.html | 2 +-
.../argument-1-CFG/Node/IdSet/index.html | 2 +-
.../CallSites/index.html | 2 +-
.../Checkers/Control/GuardNodes/index.html | 2 +-
.../infer/Checkers/ImpurityDomain/index.html | 2 +-
.../infer/Checkers/Lineage/Edge/index.html | 2 +-
.../infer/Checkers/Lineage/PPNode/index.html | 2 +-
.../Checkers/Lineage/Unified/Dot/index.html | 2 +-
.../Lineage/Unified/UVertex/index.html | 2 +-
.../argument-1-CFG/Node/IdSet/index.html | 2 +-
.../LoopInvariant/InvariantVars/index.html | 2 +-
.../LoopInvariant/LoopNodes/index.html | 2 +-
.../Checkers/LoopInvariant/VarSet/index.html | 2 +-
.../LoopInvariant/VarsInLoop/index.html | 2 +-
.../next/infer/Checkers/PrintfArgs/index.html | 2 -
.../Checkers/ReachingDefs/Defs/index.html | 2 +-
.../Checkers/SiofDomain/VarNames/index.html | 2 +-
.../SiofTrace/GlobalVarSet/index.html | 2 +-
.../Checkers/SiofTrace/Sink/Set/index.html | 2 +-
.../Checkers/SiofTrace/Source/Set/index.html | 2 +-
.../SiofTrace/Sources/Known/index.html | 2 +-
.../SiofTrace/Sources/Sanitizers/index.html | 2 +-
.../odoc/next/infer/Checkers/index.html | 2 +-
.../ClangFrontend/AstToRangeMap/index.html | 6 --
.../infer/ClangFrontend/CAst_utils/index.html | 4 +-
.../CContext/CXXTemporarySet/index.html | 2 +-
.../infer/ClangFrontend/CLocation/index.html | 5 +-
.../ClangFrontend/CMethod_trans/index.html | 7 +-
.../ClangFrontend/CModule_type/index.html | 2 +-
.../infer/ClangFrontend/CVar_decl/index.html | 4 +-
.../infer/ClangFrontend/ProcessAST/index.html | 5 -
.../odoc/next/infer/ClangFrontend/index.html | 2 +-
.../RacerDDomain/AccessDomain/index.html | 2 +-
.../AccessSnapshot/FiniteSet/index.html | 2 +-
.../StarvationDomain/Acquisitions/index.html | 2 +-
.../StarvationDomain/CriticalPairs/index.html | 2 +-
.../LazilyInitialized/index.html | 2 +-
.../StarvationDomain/NullLocs/index.html | 2 +-
.../NullLocsCriticalPairs/index.html | 2 +-
.../ScheduledWorkDomain/index.html | 2 +-
.../LatentConfigs/index.html | 2 +-
.../UncheckedCallees/index.html | 2 +-
.../odoc/next/infer/Costlib/Cost/index.html | 3 +-
.../Costlib/CostInstantiate/Call/index.html | 3 +-
.../next/infer/IBase/Checker/Set/index.html | 2 +-
.../odoc/next/infer/IBase/Checker/index.html | 2 +-
.../next/infer/IBase/ClangProc/index.html | 2 -
.../odoc/next/infer/IBase/Config/index.html | 4 +-
.../next/infer/IBase/IssueType/index.html | 2 +-
.../infer/IBase/IssuesTestField/index.html | 2 +-
.../odoc/next/infer/IBase/Location/index.html | 2 +-
.../odoc/next/infer/IBase/Logging/index.html | 2 +-
.../infer/IBase/ProcessPoolState/index.html | 2 +-
.../IBase/ResultsDirEntryName/index.html | 2 +-
.../odoc/next/infer/IBase/Stats/index.html | 2 +-
.../odoc/next/infer/IBase/TaskBar/index.html | 4 +-
.../odoc/next/infer/IBase/Utils/index.html | 2 +-
.../static/odoc/next/infer/IBase/index.html | 2 +-
.../odoc/next/infer/IR/Annot/Item/index.html | 2 +-
.../odoc/next/infer/IR/Annot/index.html | 2 +-
.../odoc/next/infer/IR/CallFlags/index.html | 2 +-
.../odoc/next/infer/IR/CapturedVar/index.html | 2 +-
.../static/odoc/next/infer/IR/Exp/index.html | 2 +-
.../next/infer/IR/Fieldname/Set/index.html | 2 +-
.../next/infer/IR/HackClassName/index.html | 2 +-
.../odoc/next/infer/IR/Mangled/Set/index.html | 2 +-
.../next/infer/IR/Procname/Hack/index.html | 2 +-
.../next/infer/IR/Procname/Set/index.html | 2 +-
.../odoc/next/infer/IR/Procname/index.html | 2 +-
.../odoc/next/infer/IR/Pvar/Set/index.html | 2 +-
.../static/odoc/next/infer/IR/Pvar/index.html | 2 +-
.../IR/Specialization/HeapPath/Set/index.html | 2 +-
.../IR/Specialization/Pulse/Set/index.html | 2 +-
.../next/infer/IR/Typ/Name/Set/index.html | 2 +-
.../static/odoc/next/infer/IR/Typ/index.html | 2 +-
.../odoc/next/infer/IR/Var/Set/index.html | 2 +-
.../next/infer/IStdlib/IContainer/index.html | 1 +
.../odoc/next/infer/IStdlib/IList/index.html | 10 +-
.../IStdlib/IOption/Let_syntax/index.html | 2 +-
.../next/infer/IStdlib/IOption/index.html | 2 +-
.../PrettyPrintable/MakePPSet/index.html | 2 +-
.../module-type-PPSet/index.html | 2 +-
.../infer/IStdlib/UnionFind/Make/index.html | 2 +-
.../next/infer/IStdlib/UnionFind/index.html | 4 +-
.../JsonReports/JsonIssuePrinter/index.html | 2 +
.../infer/Integration/JsonReports/index.html | 4 +-
.../infer/Integration/MergeCapture/index.html | 2 +-
.../Integration/Suppressions/Span/index.html | 2 +
.../infer/Integration/Suppressions/index.html | 2 +
.../odoc/next/infer/Integration/index.html | 2 +-
.../AddressAttributes/index.html | 7 +-
.../CanonValue/Attributes/index.html | 5 +-
.../CanonValue/Set/index.html | 2 +-
.../CanonValue/Stack/index.html | 15 +--
.../CanonValue/index.html | 8 +-
.../PulseAbductiveDomain/Stack/index.html | 4 +-
.../Pulselib/PulseAbductiveDomain/index.html | 8 +-
.../PulseAbstractValue/Set/index.html | 2 +-
.../infer/Pulselib/PulseAccess/index.html | 2 +-
.../infer/Pulselib/PulseArithmetic/index.html | 2 +
.../PulseAttribute/Attributes/index.html | 4 +-
.../PulseAttribute/CopyOrigin/index.html | 2 +-
.../TaintSanitizedSet/index.html | 2 +-
.../PulseAttribute/TaintedSet/index.html | 2 +-
.../infer/Pulselib/PulseAttribute/index.html | 4 +-
.../PulseBaseAddressAttributes/index.html | 5 +-
.../module-type-S/index.html | 5 +-
.../infer/Pulselib/PulseBaseStack/index.html | 15 +--
.../infer/Pulselib/PulseCallEvent/index.html | 2 +-
.../Make/Attributes/index.html | 5 +-
.../PulseCanonValue/Make/Set/index.html | 2 +-
.../PulseCanonValue/Make/Stack/index.html | 15 +--
.../Pulselib/PulseCanonValue/Make/index.html | 8 +-
.../module-type-S/Attributes/index.html | 5 +-
.../module-type-S/Set/index.html | 2 +-
.../module-type-S/Stack/index.html | 15 +--
.../PulseCanonValue/module-type-S/index.html | 8 +-
.../infer/Pulselib/PulseDiagnostic/index.html | 2 +-
.../infer/Pulselib/PulseFormula/index.html | 3 +-
.../infer/Pulselib/PulseInterproc/index.html | 2 +-
.../Pulselib/PulseInvalidation/index.html | 2 +-
.../infer/Pulselib/PulseModels/index.html | 4 +-
.../PulseModelsDSL/Syntax/Basic/index.html | 1 -
.../Pulselib/PulseModelsDSL/Syntax/index.html | 18 ++--
.../infer/Pulselib/PulseModelsDSL/index.html | 2 +-
.../Pulselib/PulseModelsImport/index.html | 11 ++-
.../PulseMutualRecursion/Set/index.html | 2 +-
.../infer/Pulselib/PulseOperations/index.html | 9 +-
.../PulseTaintConfig/Kind/Set/index.html | 2 +-
.../PulseTaintConfig/SinkPolicy/index.html | 2 +-
.../infer/Pulselib/PulseTrace/Set/index.html | 2 +-
.../next/infer/Pulselib/PulseTrace/index.html | 2 +-
.../MissedCaptures/index.html | 2 +-
.../Pulselib/PulseValueOrigin/index.html | 4 +-
.../odoc/next/infer/TestDeterminators.html | 2 -
.../index.html | 2 -
.../JProcname/JNI/index.html | 2 -
.../TestDeterminators/JProcname/index.html | 7 --
.../JavaProfilerSamples/index.html | 14 ---
.../TestDeterminator/index.html | 13 ---
.../next/infer/TestDeterminators/index.html | 2 -
.../AI_RPO/T/CFG/Node/IdSet/index.html | 2 +-
.../AI_WTO/T/CFG/Node/IdSet/index.html | 2 +-
.../AI_RPO/T/CFG/Node/IdSet/index.html | 2 +-
.../AI_WTO/T/CFG/Node/IdSet/index.html | 2 +-
.../argument-1-CFG/Node/IdSet/index.html | 2 +-
.../MockTraceDomain/index.html | 2 +-
.../AI_RPO/T/CFG/Node/IdSet/index.html | 2 +-
.../AI_WTO/T/CFG/Node/IdSet/index.html | 2 +-
.../Make/AI_RPO/T/CFG/Node/IdSet/index.html | 2 +-
.../Make/AI_WTO/T/CFG/Node/IdSet/index.html | 2 +-
.../argument-1-T/CFG/Node/IdSet/index.html | 2 +-
.../AI_RPO/T/CFG/Node/IdSet/index.html | 2 +-
.../AI_WTO/T/CFG/Node/IdSet/index.html | 2 +-
.../argument-1-T/CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../AI_RPO/T/CFG/Node/IdSet/index.html | 2 +-
.../AI_WTO/T/CFG/Node/IdSet/index.html | 2 +-
.../CFG/Node/IdSet/index.html | 2 +-
.../infer/UnitTests/CStubsTests/index.html | 5 -
.../JavaProfilerSamplesTest/index.html | 3 -
.../AI_RPO/T/CFG/Node/IdSet/index.html | 2 +-
.../AI_WTO/T/CFG/Node/IdSet/index.html | 2 +-
.../BackwardCfg/Node/IdSet/index.html | 2 +-
.../BackwardInstrCfg/Node/IdSet/index.html | 2 +-
.../InstrCfg/Node/IdSet/index.html | 2 +-
.../SchedulerTests/MockNode/IdSet/index.html | 2 +-
.../S/CFG/Node/IdSet/index.html | 2 +-
.../odoc/next/infer/UnitTests/index.html | 2 +-
website/static/odoc/next/infer/index.html | 2 +-
website/static/odoc/next/infer/infer.html | 2 +-
271 files changed, 477 insertions(+), 560 deletions(-)
delete mode 100644 website/docs/checker-printf-args.md
delete mode 100644 website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_j/index.html
delete mode 100644 website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_t/index.html
delete mode 100644 website/static/odoc/next/infer/ATDGenerated/Java_method_decl_j/index.html
delete mode 100644 website/static/odoc/next/infer/ATDGenerated/Java_method_decl_t/index.html
delete mode 100644 website/static/odoc/next/infer/ATDGenerated/Java_profiler_samples_j/index.html
delete mode 100644 website/static/odoc/next/infer/ATDGenerated/Java_profiler_samples_t/index.html
delete mode 100644 website/static/odoc/next/infer/CStubs/Fnv64Hash/index.html
delete mode 100644 website/static/odoc/next/infer/CStubs/index.html
delete mode 100644 website/static/odoc/next/infer/Checkers/PrintfArgs/index.html
delete mode 100644 website/static/odoc/next/infer/ClangFrontend/AstToRangeMap/index.html
delete mode 100644 website/static/odoc/next/infer/ClangFrontend/ProcessAST/index.html
delete mode 100644 website/static/odoc/next/infer/IBase/ClangProc/index.html
create mode 100644 website/static/odoc/next/infer/Integration/JsonReports/JsonIssuePrinter/index.html
create mode 100644 website/static/odoc/next/infer/Integration/Suppressions/Span/index.html
create mode 100644 website/static/odoc/next/infer/Integration/Suppressions/index.html
delete mode 100644 website/static/odoc/next/infer/TestDeterminators.html
delete mode 100644 website/static/odoc/next/infer/TestDeterminators/JProcname/JNI/VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY/index.html
delete mode 100644 website/static/odoc/next/infer/TestDeterminators/JProcname/JNI/index.html
delete mode 100644 website/static/odoc/next/infer/TestDeterminators/JProcname/index.html
delete mode 100644 website/static/odoc/next/infer/TestDeterminators/JavaProfilerSamples/index.html
delete mode 100644 website/static/odoc/next/infer/TestDeterminators/TestDeterminator/index.html
delete mode 100644 website/static/odoc/next/infer/TestDeterminators/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/CStubsTests/index.html
delete mode 100644 website/static/odoc/next/infer/UnitTests/JavaProfilerSamplesTest/index.html
diff --git a/website/checkers.json b/website/checkers.json
index 2e8cb854c8f..05397cedaf0 100644
--- a/website/checkers.json
+++ b/website/checkers.json
@@ -8,9 +8,9 @@
"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-racerd", "checker-resource-leak-lab", "checker-sil-validation",
- "checker-siof", "checker-scope-leakage", "checker-self-in-block",
- "checker-starvation", "checker-topl"
+ "checker-pulse", "checker-purity", "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 97a0ace6d63..e59e4daf1e1 100644
--- a/website/docs/all-categories.md
+++ b/website/docs/all-categories.md
@@ -50,6 +50,8 @@ Issue types in this category:
The null pointer is used where a valid pointer is required, causing a memory fault and a crash. For example, it is dereferenced.
Issue types in this category:
+- [BLOCK_PARAMETER_NOT_NULL_CHECKED](/docs/next/all-issue-types#block_parameter_not_null_checked)
+- [COMPARED_TO_NULL_AND_DEREFERENCED](/docs/next/all-issue-types#compared_to_null_and_dereferenced)
- [NIL_BLOCK_CALL](/docs/next/all-issue-types#nil_block_call)
- [NIL_BLOCK_CALL_LATENT](/docs/next/all-issue-types#nil_block_call_latent)
- [NULLPTR_DEREFERENCE](/docs/next/all-issue-types#nullptr_dereference)
@@ -80,6 +82,7 @@ Issue types in this category:
- [PULSE_UNNECESSARY_COPY_OPTIONAL](/docs/next/all-issue-types#pulse_unnecessary_copy_optional)
- [PULSE_UNNECESSARY_COPY_OPTIONAL_CONST](/docs/next/all-issue-types#pulse_unnecessary_copy_optional_const)
- [PULSE_UNNECESSARY_COPY_RETURN](/docs/next/all-issue-types#pulse_unnecessary_copy_return)
+- [PULSE_UNNECESSARY_COPY_THRIFT_ASSIGNMENT](/docs/next/all-issue-types#pulse_unnecessary_copy_thrift_assignment)
- [REGEX_OP_ON_UI_THREAD](/docs/next/all-issue-types#regex_op_on_ui_thread)
- [STRICT_MODE_VIOLATION](/docs/next/all-issue-types#strict_mode_violation)
@@ -149,6 +152,7 @@ Sensitive data is flowing where it shouldn't.
Issue types in this category:
- [DATA_FLOW_TO_SINK](/docs/next/all-issue-types#data_flow_to_sink)
+- [LINEAGE_FLOW](/docs/next/all-issue-types#lineage_flow)
- [SCOPE_LEAKAGE](/docs/next/all-issue-types#scope_leakage)
- [SENSITIVE_DATA_FLOW](/docs/next/all-issue-types#sensitive_data_flow)
- [TAINT_ERROR](/docs/next/all-issue-types#taint_error)
diff --git a/website/docs/all-checkers.md b/website/docs/all-checkers.md
index 526d5c9597b..f38ee777954 100644
--- a/website/docs/all-checkers.md
+++ b/website/docs/all-checkers.md
@@ -41,8 +41,6 @@ Computes the asymptotic complexity of functions with respect to execution cost o
Detects when Android fragments are not explicitly nullified before becoming unreachable.
-**\*\*\*DEPRECATED\*\*\*** Unmaintained due to poor precision.
-
[Visit here for more information.](/docs/next/checker-fragment-retains-view)
## Impurity
@@ -87,14 +85,6 @@ An Objective-C-specific analysis to detect when a block parameter is used before
[Visit here for more information.](/docs/next/checker-parameter-not-null-checked)
-## `printf()` Argument Types
-
-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.
-
-[Visit here for more information.](/docs/next/checker-printf-args)
-
## Pulse
General-purpose memory and value analysis engine.
diff --git a/website/docs/all-issue-types.md b/website/docs/all-issue-types.md
index b4732dca431..64a9ed6a7b0 100644
--- a/website/docs/all-issue-types.md
+++ b/website/docs/all-issue-types.md
@@ -167,7 +167,7 @@ See [MEMORY_LEAK_C](#memory_leak_c).
See [RETAIN_CYCLE](#retain_cycle).
## BLOCK_PARAMETER_NOT_NULL_CHECKED
-*Reported as "Block Parameter Not Null Checked" by [parameter-not-null-checked](/docs/next/checker-parameter-not-null-checked).*
+*Category: [Null pointer dereference](/docs/next/all-categories#null-pointer-dereference). Reported as "Block Parameter Not Null Checked" by [parameter-not-null-checked](/docs/next/checker-parameter-not-null-checked).*
This error type is reported only in Objective-C/Objective-C++. It happens when a method has a block as a parameter,
and the block is executed in the method's body without checking it for `nil` first. If a `nil` block is passed to
@@ -416,20 +416,11 @@ retain a useless reference to that `View` that will not be cleaned up until the
Action: Nullify the `View` in question in `onDestroyView`.
-## CHECKERS_PRINTF_ARGS
+## COMPARED_TO_NULL_AND_DEREFERENCED
-*Reported as "Printf Args" by [printf-args](/docs/next/checker-printf-args).*
-
-This error is reported when the argument types to a `printf` method do not match the format string.
-
-```java
- void stringInsteadOfInteger(PrintStream out) {
- out.printf("Hello %d", "world");
- }
-```
-
-Action: fix the mismatch between format string and argument types.
+*Category: [Null pointer dereference](/docs/next/all-categories#null-pointer-dereference). Reported as "Compared To Null And Dereferenced" by [pulse](/docs/next/checker-pulse).*
+A pointer that has both been compared to null, whcich suggests that it could be null, but has also been dereferenced without a null check.
## CONFIG_IMPACT
*Category: [Perf regression](/docs/next/all-categories#perf-regression). Reported as "Config Impact" by [config-impact-analysis](/docs/next/checker-config-impact-analysis).*
@@ -995,6 +986,12 @@ A blocking `Binder` IPC call occurs on the UI thread.
*Reported as "Lab Resource Leak" by [resource-leak-lab](/docs/next/checker-resource-leak-lab).*
Toy issue.
+## LINEAGE_FLOW
+
+*Category: [Sensitive data flow](/docs/next/all-categories#sensitive-data-flow). Reported as "Lineage Flow" by [lineage](/docs/next/checker-lineage).*
+
+A Lineage taint flow has been detected from a source to a sink.
+
## LOCKLESS_VIOLATION
*Reported as "Lockless Violation" by [starvation](/docs/next/checker-starvation).*
@@ -2207,6 +2204,13 @@ void caller(MyClass obj) {
}
```
+## PULSE_UNNECESSARY_COPY_THRIFT_ASSIGNMENT
+
+*Category: [Perf regression](/docs/next/all-categories#perf-regression). Reported as "Unnecessary Copy Assignment into Thrift" by [pulse](/docs/next/checker-pulse).*
+
+This is similar to [PULSE_UNNECESSARY_COPY_ASSIGNMENT](#pulse_unnecessary_copy_assignment), but is
+reported when copied into thrift fields.
+
## PURE_FUNCTION
*Reported as "Pure Function" by [purity](/docs/next/checker-purity).*
diff --git a/website/docs/checker-fragment-retains-view.md b/website/docs/checker-fragment-retains-view.md
index f6525120c1e..cf92e530db2 100644
--- a/website/docs/checker-fragment-retains-view.md
+++ b/website/docs/checker-fragment-retains-view.md
@@ -5,8 +5,6 @@ description: "Detects when Android fragments are not explicitly nullified before
Detects when Android fragments are not explicitly nullified before becoming unreachable.
-**\*\*\*DEPRECATED\*\*\*** Unmaintained due to poor precision.
-
Activate with `--fragment-retains-view`.
Supported languages:
diff --git a/website/docs/checker-impurity.md b/website/docs/checker-impurity.md
index 206fb484cfe..1d6baa4e5a8 100644
--- a/website/docs/checker-impurity.md
+++ b/website/docs/checker-impurity.md
@@ -11,7 +11,7 @@ Supported languages:
- C/C++/ObjC: Experimental
- C#/.Net: No
- Erlang: No
-- Hack: No
+- Hack: Experimental
- Java: Experimental
- Python: No
diff --git a/website/docs/checker-lineage.md b/website/docs/checker-lineage.md
index ff1cbe28edd..240e6214e28 100644
--- a/website/docs/checker-lineage.md
+++ b/website/docs/checker-lineage.md
@@ -15,3 +15,9 @@ Supported languages:
- Java: No
- Python: No
+
+
+## List of Issue Types
+
+The following issue types are reported by this checker:
+- [LINEAGE_FLOW](/docs/next/all-issue-types#lineage_flow)
diff --git a/website/docs/checker-printf-args.md b/website/docs/checker-printf-args.md
deleted file mode 100644
index 446fdfcddc1..00000000000
--- a/website/docs/checker-printf-args.md
+++ /dev/null
@@ -1,25 +0,0 @@
----
-title: "`printf()` Argument Types"
-description: "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\")`"
----
-
-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.
-
-Activate with `--printf-args`.
-
-Supported languages:
-- C/C++/ObjC: No
-- C#/.Net: No
-- Erlang: No
-- Hack: No
-- Java: Yes
-- Python: No
-
-
-
-## List of Issue Types
-
-The following issue types are reported by this checker:
-- [CHECKERS_PRINTF_ARGS](/docs/next/all-issue-types#checkers_printf_args)
diff --git a/website/docs/checker-pulse.md b/website/docs/checker-pulse.md
index 46179723352..22e7ebbd9fe 100644
--- a/website/docs/checker-pulse.md
+++ b/website/docs/checker-pulse.md
@@ -147,6 +147,7 @@ The following issue types are reported by this checker:
- [BAD_RECORD_LATENT](/docs/next/all-issue-types#bad_record_latent)
- [BAD_RETURN](/docs/next/all-issue-types#bad_return)
- [BAD_RETURN_LATENT](/docs/next/all-issue-types#bad_return_latent)
+- [COMPARED_TO_NULL_AND_DEREFERENCED](/docs/next/all-issue-types#compared_to_null_and_dereferenced)
- [CONFIG_USAGE](/docs/next/all-issue-types#config_usage)
- [CONSTANT_ADDRESS_DEREFERENCE](/docs/next/all-issue-types#constant_address_dereference)
- [CONSTANT_ADDRESS_DEREFERENCE_LATENT](/docs/next/all-issue-types#constant_address_dereference_latent)
@@ -202,6 +203,7 @@ The following issue types are reported by this checker:
- [PULSE_UNNECESSARY_COPY_OPTIONAL](/docs/next/all-issue-types#pulse_unnecessary_copy_optional)
- [PULSE_UNNECESSARY_COPY_OPTIONAL_CONST](/docs/next/all-issue-types#pulse_unnecessary_copy_optional_const)
- [PULSE_UNNECESSARY_COPY_RETURN](/docs/next/all-issue-types#pulse_unnecessary_copy_return)
+- [PULSE_UNNECESSARY_COPY_THRIFT_ASSIGNMENT](/docs/next/all-issue-types#pulse_unnecessary_copy_thrift_assignment)
- [RETAIN_CYCLE](/docs/next/all-issue-types#retain_cycle)
- [RETAIN_CYCLE_NO_WEAK_INFO](/docs/next/all-issue-types#retain_cycle_no_weak_info)
- [SENSITIVE_DATA_FLOW](/docs/next/all-issue-types#sensitive_data_flow)
diff --git a/website/static/man/next/infer-analyze.1.html b/website/static/man/next/infer-analyze.1.html
index 0ef0102049c..89af9ad9a4e 100644
--- a/website/static/man/next/infer-analyze.1.html
+++ b/website/static/man/next/infer-analyze.1.html
@@ -273,12 +273,11 @@ OPTIONS
Deactivates:
fragment-retains-view checker: Detects when Android
fragments are not explicitly nullified before becoming
-unreachable.
+unreachable. (Conversely:
+--fragment-retains-view )
-DEPRECATED : Unmaintained
-due to poor precision.
-(Conversely: --fragment-retains-view )
---fragment-retains-view-only
+
+--fragment-retains-view-only
Activates: Enable
fragment-retains-view and disable all other checkers
@@ -501,24 +500,6 @@
OPTIONS
Activates: Also log messages to
stdout and stderr (Conversely: --no-print-logs )
---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.
-(Conversely: --no-printf-args )
---printf-args-only
-
-Activates: Enable
-printf-args and disable all other checkers
-(Conversely: --no-printf-args-only )
-
--progress-bar-style
{ auto | plain | multiline }
@@ -1343,6 +1324,13 @@ PULSE CHECKER OPTIONS
modelled as returning non-null in Pulse
+ --pulse-model-return-nonnull-list
++string
+
+Regex of methods that should be
+modelled as returning non-null in Pulse
+
+
--pulse-model-return-this
string
@@ -1509,6 +1497,15 @@ PULSE CHECKER OPTIONS
source will be reported. If a sink has such a kind, only
sensitive data flows to the sink will be reported.
+
+ --pulse-taint-opaque-files
++path
+
+Specify files that should be
+treated as opaque for taint analysis to make sure that
+procedure's belonging to these files are always free of any
+potential taint flows.
+
--pulse-taint-policies
json
diff --git a/website/static/man/next/infer-capture.1.html b/website/static/man/next/infer-capture.1.html
index 98aa2f0f06d..79cfff37aa3 100644
--- a/website/static/man/next/infer-capture.1.html
+++ b/website/static/man/next/infer-capture.1.html
@@ -738,6 +738,13 @@ JAVA OPTIONS
thrown by Sawja/Javalib during Java capture (Conversely:
--mask-sawja-exceptions )
+
+ --no-read-java-modules
+
+Deactivates: Read java modules
+file using jimage . (Conversely:
+--read-java-modules )
+
ENVIRONMENT
diff --git a/website/static/man/next/infer-report.1.html b/website/static/man/next/infer-report.1.html
index db549c883f1..b6a8694e7a2 100644
--- a/website/static/man/next/infer-report.1.html
+++ b/website/static/man/next/infer-report.1.html
@@ -238,8 +238,9 @@ OPTIONS
CHECKERS_EXPENSIVE_OVERRIDES_UNANNOTATED (enabled by
default),
CHECKERS_FRAGMENT_RETAINS_VIEW (enabled by default),
-CHECKERS_PRINTF_ARGS (enabled by default),
CLASS_CAST_EXCEPTION (disabled by default),
+COMPARED_TO_NULL_AND_DEREFERENCED (disabled by default),
+
CONDITION_ALWAYS_FALSE (disabled by default),
CONDITION_ALWAYS_TRUE (disabled by default),
CONFIG_IMPACT (enabled by default),
@@ -289,6 +290,7 @@ OPTIONS
IPC_ON_UI_THREAD (enabled by default),
Internal_error (enabled by default),
LAB_RESOURCE_LEAK (enabled by default),
+LINEAGE_FLOW (enabled by default),
LOCKLESS_VIOLATION (enabled by default),
LOCK_CONSISTENCY_VIOLATION (enabled by default),
Leak_after_array_abstraction (enabled by default),
@@ -366,6 +368,8 @@ OPTIONS
PULSE_UNNECESSARY_COPY_OPTIONAL_CONST (disabled by default),
PULSE_UNNECESSARY_COPY_RETURN (disabled by default),
+PULSE_UNNECESSARY_COPY_THRIFT_ASSIGNMENT (enabled by
+default),
PURE_FUNCTION (enabled by default),
REGEX_OP_ON_UI_THREAD (enabled by default),
RESOURCE_LEAK (enabled by default),
@@ -465,7 +469,7 @@ OPTIONS
line_offset |
qualifier_contains_potential_exception_note | taint_extra |
-transitive_callees_extra }
+transitive_callees_extra | suppressed }
Fields to emit with
--issues-tests
@@ -584,6 +588,14 @@ OPTIONS
(Conversely:
--no-skip-analysis-in-path-skips-compilation )
+ --no-suppressions
+
+Deactivates: Suppress infer
+issues on source lines matching the @infer-disable
+ISSUE_TYPE1, ISSUE_TYPE2, ... and @infer-disable-every
+ISSUE_TYPE1, ISSUE_TYPE2, ... keywords. (Conversely:
+--suppressions )
+
HOISTING OPTIONS
@@ -614,15 +626,28 @@ LINEAGE OPTIONS
[EXPERIMENTAL; UNSTABLE API]
Lineage sinks for taint finding, format
-[module:]function/arity.{ret,argN}, comma-separated.
-
---lineage-source
-+string
+[module:]function/arity.{ret,argN}, comma-separated. Must be
+used with --lineage-source as options to the report
+subcommand.
+
+Will produce a graph
+materializing the flows between the sources
+and the sinks along with a json issues file. The issues file
+will
+contain one trace per sink, exhibiting a shortest path from
+a
+source. The report command will print the filesystem paths
+of the
+files containing those results.
+--lineage-source +string
[EXPERIMENTAL; UNSTABLE API]
Lineage sources for taint finding, format
[module:]function/arity.{ret,argN}, comma-separated.
+See --lineage-sink for
+additional documentation.
+
PULSE CHECKER OPTIONS
diff --git a/website/static/man/next/infer.1.html b/website/static/man/next/infer.1.html
index d93d9ca580e..681ec7734e6 100644
--- a/website/static/man/next/infer.1.html
+++ b/website/static/man/next/infer.1.html
@@ -939,8 +939,9 @@ OPTIONS
CHECKERS_EXPENSIVE_OVERRIDES_UNANNOTATED (enabled by
default),
CHECKERS_FRAGMENT_RETAINS_VIEW (enabled by default),
-CHECKERS_PRINTF_ARGS (enabled by default),
CLASS_CAST_EXCEPTION (disabled by default),
+COMPARED_TO_NULL_AND_DEREFERENCED (disabled by default),
+
CONDITION_ALWAYS_FALSE (disabled by default),
CONDITION_ALWAYS_TRUE (disabled by default),
CONFIG_IMPACT (enabled by default),
@@ -990,6 +991,7 @@ OPTIONS
IPC_ON_UI_THREAD (enabled by default),
Internal_error (enabled by default),
LAB_RESOURCE_LEAK (enabled by default),
+LINEAGE_FLOW (enabled by default),
LOCKLESS_VIOLATION (enabled by default),
LOCK_CONSISTENCY_VIOLATION (enabled by default),
Leak_after_array_abstraction (enabled by default),
@@ -1067,6 +1069,8 @@ OPTIONS
PULSE_UNNECESSARY_COPY_OPTIONAL_CONST (disabled by default),
PULSE_UNNECESSARY_COPY_RETURN (disabled by default),
+PULSE_UNNECESSARY_COPY_THRIFT_ASSIGNMENT (enabled by
+default),
PURE_FUNCTION (enabled by default),
REGEX_OP_ON_UI_THREAD (enabled by default),
RESOURCE_LEAK (enabled by default),
@@ -1261,12 +1265,11 @@ OPTIONS
Deactivates:
fragment-retains-view checker: Detects when Android
fragments are not explicitly nullified before becoming
-unreachable.
+unreachable. (Conversely:
+--fragment-retains-view )
-DEPRECATED : Unmaintained
-due to poor precision.
-(Conversely: --fragment-retains-view )
-See also infer-analyze (1).
+
See also
+infer-analyze (1).
--fragment-retains-view-only
Activates: Enable
@@ -1483,7 +1486,7 @@
OPTIONS
line_offset |
qualifier_contains_potential_exception_note | taint_extra |
-transitive_callees_extra }
+transitive_callees_extra | suppressed }
Fields to emit with
--issues-tests
@@ -1647,18 +1650,29 @@ OPTIONS
[EXPERIMENTAL; UNSTABLE API]
Lineage sinks for taint finding, format
-[module:]function/arity.{ret,argN}, comma-separated.
-
-See also
-infer-report (1).
+[module:]function/arity.{ret,argN}, comma-separated. Must be
+used with --lineage-source as options to the report
+subcommand.
+
+Will produce a graph
+materializing the flows between the sources
+and the sinks along with a json issues file. The issues file
+will
+contain one trace per sink, exhibiting a shortest path from
+a
+source. The report command will print the filesystem paths
+of the
+files containing those results.
+See also infer-report (1).
--lineage-source +string
[EXPERIMENTAL; UNSTABLE API]
Lineage sources for taint finding, format
[module:]function/arity.{ret,argN}, comma-separated.
-See also
-infer-report (1).
+
See --lineage-sink for
+additional documentation.
+See also infer-report (1).
--lineage-variant-width int
Maximal width of variant types
@@ -1973,27 +1987,6 @@
OPTIONS
infer-analyze (1), infer-capture (1),
infer-report (1), and
infer-run (1).
---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.
-(Conversely: --no-printf-args )
-See also infer-analyze (1).
---printf-args-only
-
-Activates: Enable
-printf-args and disable all other checkers
-(Conversely: --no-printf-args-only )
-
-See also
-infer-analyze (1).
--procedures
Activates: Print functions and
@@ -2276,6 +2269,13 @@
OPTIONS
Regex of methods that should be
modelled as returning non-null in Pulse
+See also
+infer-analyze (1).
+--pulse-model-return-nonnull-list +string
+
+Regex of methods that should be
+modelled as returning non-null in Pulse
+
See also
infer-analyze (1).
--pulse-model-return-this string
@@ -2473,6 +2473,15 @@ OPTIONS
source will be reported. If a sink has such a kind, only
sensitive data flows to the sink will be reported.
+ See also
+infer-analyze (1).
+--pulse-taint-opaque-files +path
+
+Specify files that should be
+treated as opaque for taint analysis to make sure that
+procedure's belonging to these files are always free of any
+potential taint flows.
+
See also
infer-analyze (1).
--pulse-taint-policies json
@@ -2776,6 +2785,14 @@ OPTIONS
See also
infer-analyze (1).
+--no-read-java-modules
+
+Deactivates: Read java modules
+file using jimage . (Conversely:
+--read-java-modules )
+
+See also
+infer-capture (1).
--replay-analysis-schedule
Activates: Replay the analysis
@@ -3267,6 +3284,16 @@
OPTIONS
(Conversely:
--no-struct-as-cpp-class )
See also infer-capture (1).
+--no-suppressions
+
+Deactivates: Suppress infer
+issues on source lines matching the @infer-disable
+ISSUE_TYPE1, ISSUE_TYPE2, ... and @infer-disable-every
+ISSUE_TYPE1, ISSUE_TYPE2, ... keywords. (Conversely:
+--suppressions )
+
+See also
+infer-report (1).
--tenv-json file
Path to TEnv json file
diff --git a/website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_j/index.html b/website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_j/index.html
deleted file mode 100644
index ed631507cf4..00000000000
--- a/website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_j/index.html
+++ /dev/null
@@ -1,11 +0,0 @@
-
-Clang_profiler_samples_j (infer.ATDGenerated.Clang_profiler_samples_j) Up – infer » ATDGenerated » Clang_profiler_samples_jModule ATDGenerated.Clang_profiler_samples_j
val write_native_symbol : Stdlib .Buffer.t -> native_symbol -> unit
val string_of_native_symbol : ?len :int -> native_symbol -> string
val read_native_symbol :
- Yojson .Safe.lexer_state ->
- Stdlib .Lexing.lexbuf ->
- native_symbol
val read_profiler_sample :
- Yojson .Safe.lexer_state ->
- Stdlib .Lexing.lexbuf ->
- profiler_sample
val read_profiler_samples :
- Yojson .Safe.lexer_state ->
- Stdlib .Lexing.lexbuf ->
- profiler_samples
diff --git a/website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_t/index.html b/website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_t/index.html
deleted file mode 100644
index 765da907c8f..00000000000
--- a/website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_t/index.html
+++ /dev/null
@@ -1,2 +0,0 @@
-
-Clang_profiler_samples_t (infer.ATDGenerated.Clang_profiler_samples_t) Up – infer » ATDGenerated » Clang_profiler_samples_tModule ATDGenerated.Clang_profiler_samples_t
type native_symbol = {
name : string;
mangled_name : string option ;
hashed_mangled_name : string option ;
}
type profiler_sample = {
test : string;
native_symbols : native_symbol list ;
}
diff --git a/website/static/odoc/next/infer/ATDGenerated/Java_method_decl_j/index.html b/website/static/odoc/next/infer/ATDGenerated/Java_method_decl_j/index.html
deleted file mode 100644
index 18d68ff3570..00000000000
--- a/website/static/odoc/next/infer/ATDGenerated/Java_method_decl_j/index.html
+++ /dev/null
@@ -1,8 +0,0 @@
-
-Java_method_decl_j (infer.ATDGenerated.Java_method_decl_j) Up – infer » ATDGenerated » Java_method_decl_jModule ATDGenerated.Java_method_decl_j
type java_method_decl = Java_method_decl_t.java_method_decl = {
signature : string option ;
unresolved_signature : bool;
method_name : string;
source_file : string;
start_line : int;
end_line : int;
}
val read_java_method_decl :
- Yojson .Safe.lexer_state ->
- Stdlib .Lexing.lexbuf ->
- java_method_decl
val read_java_method_decls :
- Yojson .Safe.lexer_state ->
- Stdlib .Lexing.lexbuf ->
- java_method_decls
diff --git a/website/static/odoc/next/infer/ATDGenerated/Java_method_decl_t/index.html b/website/static/odoc/next/infer/ATDGenerated/Java_method_decl_t/index.html
deleted file mode 100644
index 4df759c5cd1..00000000000
--- a/website/static/odoc/next/infer/ATDGenerated/Java_method_decl_t/index.html
+++ /dev/null
@@ -1,2 +0,0 @@
-
-Java_method_decl_t (infer.ATDGenerated.Java_method_decl_t) Up – infer » ATDGenerated » Java_method_decl_tModule ATDGenerated.Java_method_decl_t
type java_method_decl = {
signature : string option ;
unresolved_signature : bool;
method_name : string;
source_file : string;
start_line : int;
end_line : int;
}
diff --git a/website/static/odoc/next/infer/ATDGenerated/Java_profiler_samples_j/index.html b/website/static/odoc/next/infer/ATDGenerated/Java_profiler_samples_j/index.html
deleted file mode 100644
index 45dd598b045..00000000000
--- a/website/static/odoc/next/infer/ATDGenerated/Java_profiler_samples_j/index.html
+++ /dev/null
@@ -1,20 +0,0 @@
-
-Java_profiler_samples_j (infer.ATDGenerated.Java_profiler_samples_j) Up – infer » ATDGenerated » Java_profiler_samples_jModule ATDGenerated.Java_profiler_samples_j
val read_sampled_method :
- Yojson .Safe.lexer_state ->
- Stdlib .Lexing.lexbuf ->
- sampled_method
val read_java_profiler_sample :
- Yojson .Safe.lexer_state ->
- Stdlib .Lexing.lexbuf ->
- java_profiler_sample
val read_java_profiler_samples :
- Yojson .Safe.lexer_state ->
- Stdlib .Lexing.lexbuf ->
- java_profiler_samples
diff --git a/website/static/odoc/next/infer/ATDGenerated/Java_profiler_samples_t/index.html b/website/static/odoc/next/infer/ATDGenerated/Java_profiler_samples_t/index.html
deleted file mode 100644
index 455afc90c34..00000000000
--- a/website/static/odoc/next/infer/ATDGenerated/Java_profiler_samples_t/index.html
+++ /dev/null
@@ -1,2 +0,0 @@
-
-Java_profiler_samples_t (infer.ATDGenerated.Java_profiler_samples_t) Up – infer » ATDGenerated » Java_profiler_samples_tModule ATDGenerated.Java_profiler_samples_t
type sampled_method = {
classname : string;
methodname : string;
signature : string;
}
type java_profiler_sample = {
test : string;
methods : sampled_method list ;
}
diff --git a/website/static/odoc/next/infer/ATDGenerated/Jsonbug_j/index.html b/website/static/odoc/next/infer/ATDGenerated/Jsonbug_j/index.html
index e9504c593e6..93adf9d4cb8 100644
--- a/website/static/odoc/next/infer/ATDGenerated/Jsonbug_j/index.html
+++ b/website/static/odoc/next/infer/ATDGenerated/Jsonbug_j/index.html
@@ -5,7 +5,7 @@
bool
type loc = Jsonbug_t.loc = {
file : string;
lnum : int;
cnum : int;
enum : int;
}
val equal_loc : loc -> loc -> bool
type json_trace_item = Jsonbug_t.json_trace_item = {
level : int;
filename : string;
line_number : int;
column_number : int;
description : string;
}
type jsonbug = Jsonbug_t.jsonbug = {
bug_type : string;
qualifier : string;
suggestion : string option ;
severity : string;
category : string;
line : int;
column : int;
procedure : string;
procedure_start_line : int;
file : string;
bug_trace : json_trace_item list ;
bug_trace_length : int;
bug_trace_max_depth : int;
key : string;
node_key : string option ;
hash : string;
dotty : string option ;
infer_source_loc : loc option ;
bug_type_hum : string;
traceview_id : int option ;
censored_reason : string option ;
access : string option ;
}
val write_transitive_callee_resolution :
+ bool
type loc = Jsonbug_t.loc = {
file : string;
lnum : int;
cnum : int;
enum : int;
}
val equal_loc : loc -> loc -> bool
type json_trace_item = Jsonbug_t.json_trace_item = {
level : int;
filename : string;
line_number : int;
column_number : int;
description : string;
}
type jsonbug = Jsonbug_t.jsonbug = {
bug_type : string;
qualifier : string;
suggestion : string option ;
severity : string;
category : string;
line : int;
column : int;
procedure : string;
procedure_start_line : int;
file : string;
bug_trace : json_trace_item list ;
bug_trace_length : int;
bug_trace_max_depth : int;
key : string;
node_key : string option ;
hash : string;
dotty : string option ;
infer_source_loc : loc option ;
bug_type_hum : string;
traceview_id : int option ;
censored_reason : string option ;
access : string option ;
suppressed : bool;
}
val string_of_transitive_callee_resolution :
diff --git a/website/static/odoc/next/infer/ATDGenerated/Jsonbug_t/index.html b/website/static/odoc/next/infer/ATDGenerated/Jsonbug_t/index.html
index dcfa6d4cf9a..cc28d4251f2 100644
--- a/website/static/odoc/next/infer/ATDGenerated/Jsonbug_t/index.html
+++ b/website/static/odoc/next/infer/ATDGenerated/Jsonbug_t/index.html
@@ -5,4 +5,4 @@
bool
type transitive_callee_kind = [
| `Static
| `Virtual
| `Closure
]
type missed_capture = {
class_name : string;
}
type loc = {
file : string;
lnum : int;
cnum : int;
enum : int;
}
val equal_loc : loc -> loc -> bool
type json_trace_item = {
level : int;
filename : string;
line_number : int;
column_number : int;
description : string;
}
type jsonbug = {
bug_type : string;
qualifier : string;
suggestion : string option ;
severity : string;
category : string;
line : int;
column : int;
procedure : string;
procedure_start_line : int;
file : string;
bug_trace : json_trace_item list ;
bug_trace_length : int;
bug_trace_max_depth : int;
key : string;
node_key : string option ;
hash : string;
dotty : string option ;
infer_source_loc : loc option ;
bug_type_hum : string;
traceview_id : int option ;
censored_reason : string option ;
access : string option ;
}