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 @@
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-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-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 98aa2f0f06..79cfff37aa 100644 --- a/website/static/man/next/infer-capture.1.html +++ b/website/static/man/next/infer-capture.1.html @@ -738,6 +738,13 @@--no-read-java-modules
+ +Deactivates: Read java modules +file using jimage. (Conversely: +--read-java-modules)
+Fields to emit with --issues-tests
@@ -584,6 +588,14 @@--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)
+[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.
+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 @@
Fields to emit with --issues-tests
@@ -1647,18 +1650,29 @@[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 @@
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 @@
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
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
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 @@
(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 ed631507cf..0000000000 --- a/website/static/odoc/next/infer/ATDGenerated/Clang_profiler_samples_j/index.html +++ /dev/null @@ -1,11 +0,0 @@ - -ATDGenerated.Clang_profiler_samples_jtype profiler_sample = Clang_profiler_samples_t.profiler_sample = {test : string;native_symbols : native_symbol list;}type profiler_samples = Clang_profiler_samples_t.profiler_samplesval write_native_symbol : Stdlib.Buffer.t -> native_symbol -> unitOutput a JSON value of type native_symbol.
val string_of_native_symbol : ?len:int -> native_symbol -> stringSerialize a value of type native_symbol into a JSON string.
val read_native_symbol :
- Yojson.Safe.lexer_state ->
- Stdlib.Lexing.lexbuf ->
- native_symbolInput JSON data of type native_symbol.
val native_symbol_of_string : string -> native_symbolDeserialize JSON data of type native_symbol.
val write_profiler_sample : Stdlib.Buffer.t -> profiler_sample -> unitOutput a JSON value of type profiler_sample.
val string_of_profiler_sample : ?len:int -> profiler_sample -> stringSerialize a value of type profiler_sample into a JSON string.
val read_profiler_sample :
- Yojson.Safe.lexer_state ->
- Stdlib.Lexing.lexbuf ->
- profiler_sampleInput JSON data of type profiler_sample.
val profiler_sample_of_string : string -> profiler_sampleDeserialize JSON data of type profiler_sample.
val write_profiler_samples : Stdlib.Buffer.t -> profiler_samples -> unitOutput a JSON value of type profiler_samples.
val string_of_profiler_samples : ?len:int -> profiler_samples -> stringSerialize a value of type profiler_samples into a JSON string.
val read_profiler_samples :
- Yojson.Safe.lexer_state ->
- Stdlib.Lexing.lexbuf ->
- profiler_samplesInput JSON data of type profiler_samples.
val profiler_samples_of_string : string -> profiler_samplesDeserialize JSON data of type profiler_samples.
ATDGenerated.Clang_profiler_samples_tATDGenerated.Java_method_decl_jtype 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;}type java_method_decls = Java_method_decl_t.java_method_declsval write_java_method_decl : Stdlib.Buffer.t -> java_method_decl -> unitOutput a JSON value of type java_method_decl.
val string_of_java_method_decl : ?len:int -> java_method_decl -> stringSerialize a value of type java_method_decl into a JSON string.
val read_java_method_decl :
- Yojson.Safe.lexer_state ->
- Stdlib.Lexing.lexbuf ->
- java_method_declInput JSON data of type java_method_decl.
val java_method_decl_of_string : string -> java_method_declDeserialize JSON data of type java_method_decl.
val write_java_method_decls : Stdlib.Buffer.t -> java_method_decls -> unitOutput a JSON value of type java_method_decls.
val string_of_java_method_decls : ?len:int -> java_method_decls -> stringSerialize a value of type java_method_decls into a JSON string.
val read_java_method_decls :
- Yojson.Safe.lexer_state ->
- Stdlib.Lexing.lexbuf ->
- java_method_declsInput JSON data of type java_method_decls.
val java_method_decls_of_string : string -> java_method_declsDeserialize JSON data of type java_method_decls.
ATDGenerated.Java_method_decl_ttype java_method_decls = java_method_decl listATDGenerated.Java_profiler_samples_jtype java_profiler_sample = Java_profiler_samples_t.java_profiler_sample = {test : string;methods : sampled_method list;}type java_profiler_samples = Java_profiler_samples_t.java_profiler_samplesval write_sampled_method : Stdlib.Buffer.t -> sampled_method -> unitOutput a JSON value of type sampled_method.
val string_of_sampled_method : ?len:int -> sampled_method -> stringSerialize a value of type sampled_method into a JSON string.
val read_sampled_method :
- Yojson.Safe.lexer_state ->
- Stdlib.Lexing.lexbuf ->
- sampled_methodInput JSON data of type sampled_method.
val sampled_method_of_string : string -> sampled_methodDeserialize JSON data of type sampled_method.
val write_java_profiler_sample :
- Stdlib.Buffer.t ->
- java_profiler_sample ->
- unitOutput a JSON value of type java_profiler_sample.
val string_of_java_profiler_sample : ?len:int -> java_profiler_sample -> stringSerialize a value of type java_profiler_sample into a JSON string.
val read_java_profiler_sample :
- Yojson.Safe.lexer_state ->
- Stdlib.Lexing.lexbuf ->
- java_profiler_sampleInput JSON data of type java_profiler_sample.
val java_profiler_sample_of_string : string -> java_profiler_sampleDeserialize JSON data of type java_profiler_sample.
val write_java_profiler_samples :
- Stdlib.Buffer.t ->
- java_profiler_samples ->
- unitOutput a JSON value of type java_profiler_samples.
val string_of_java_profiler_samples :
- ?len:int ->
- java_profiler_samples ->
- stringSerialize a value of type java_profiler_samples into a JSON string.
val read_java_profiler_samples :
- Yojson.Safe.lexer_state ->
- Stdlib.Lexing.lexbuf ->
- java_profiler_samplesInput JSON data of type java_profiler_samples.
val java_profiler_samples_of_string : string -> java_profiler_samplesDeserialize JSON data of type java_profiler_samples.
ATDGenerated.Java_profiler_samples_ttype java_profiler_samples = java_profiler_sample listtype transitive_callee_kind = Jsonbug_t.transitive_callee_kindval equal_transitive_callee_kind :
transitive_callee_kind ->
transitive_callee_kind ->
- booltype transitive_callee = Jsonbug_t.transitive_callee = {callsite_filename : string;callsite_absolute_position_in_file : int;caller_name : string;callsite_relative_position_in_caller : int;kind : transitive_callee_kind;resolution : transitive_callee_resolution;}val equal_transitive_callee : transitive_callee -> transitive_callee -> booltype taint_extra = Jsonbug_t.taint_extra = {taint_source : string option;taint_sink : string option;taint_policy_privacy_effect : string option;tainted_expression : string option;}val equal_taint_extra : taint_extra -> taint_extra -> boolval equal_missed_capture : missed_capture -> missed_capture -> boolval equal_json_trace_item : json_trace_item -> json_trace_item -> boolval equal_config_usage_extra : config_usage_extra -> config_usage_extra -> booltype extra = Jsonbug_t.extra = {cost_polynomial : string option;cost_degree : int option;copy_type : string option;config_usage_extra : config_usage_extra option;taint_extra : taint_extra option;transitive_callees : transitive_callee list;transitive_missed_captures : missed_capture list;}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;extras : extra option;}type report = Jsonbug_t.reporttype transitive_callee = Jsonbug_t.transitive_callee = {callsite_filename : string;callsite_absolute_position_in_file : int;caller_name : string;callsite_relative_position_in_caller : int;kind : transitive_callee_kind;resolution : transitive_callee_resolution;}val equal_transitive_callee : transitive_callee -> transitive_callee -> booltype taint_extra = Jsonbug_t.taint_extra = {taint_source : string option;taint_sink : string option;taint_policy_privacy_effect : string option;tainted_expression : string option;report_as_issue_type : string option;report_as_category : string option;}val equal_taint_extra : taint_extra -> taint_extra -> boolval equal_missed_capture : missed_capture -> missed_capture -> boolval equal_json_trace_item : json_trace_item -> json_trace_item -> boolval equal_config_usage_extra : config_usage_extra -> config_usage_extra -> booltype extra = Jsonbug_t.extra = {cost_polynomial : string option;cost_degree : int option;copy_type : string option;config_usage_extra : config_usage_extra option;taint_extra : taint_extra option;transitive_callees : transitive_callee list;transitive_missed_captures : missed_capture list;}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;extras : extra option;suppressed : bool;}type report = Jsonbug_t.reportval write_transitive_callee_resolution :
Stdlib.Buffer.t ->
transitive_callee_resolution ->
unitOutput a JSON value of type transitive_callee_resolution.
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 dcfa6d4cf9..cc28d4251f 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 @@
boolval equal_transitive_callee_kind :
transitive_callee_kind ->
transitive_callee_kind ->
- booltype transitive_callee = {callsite_filename : string;callsite_absolute_position_in_file : int;caller_name : string;callsite_relative_position_in_caller : int;kind : transitive_callee_kind;resolution : transitive_callee_resolution;}val equal_transitive_callee : transitive_callee -> transitive_callee -> boolval equal_taint_extra : taint_extra -> taint_extra -> boolval equal_missed_capture : missed_capture -> missed_capture -> boolval equal_json_trace_item : json_trace_item -> json_trace_item -> boolval equal_config_usage_extra : config_usage_extra -> config_usage_extra -> booltype extra = {cost_polynomial : string option;cost_degree : int option;copy_type : string option;config_usage_extra : config_usage_extra option;taint_extra : taint_extra option;transitive_callees : transitive_callee list;transitive_missed_captures : missed_capture list;}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;extras : extra option;}type report = jsonbug list