[taint] Update manuals to include annotation_values combo

Reviewed By: dulmarod Differential Revision: D48470304 fbshipit-source-id: 6bf839e56a6c97609704dfd07782932da35c2ddf
facebook · Aug 21, 2023 · 3f424e5 · 3f424e5
1 parent 2b280ec
commit 3f424e5
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 0 deletions.
diff --git a/infer/man/man1/infer-analyze.txt b/infer/man/man1/infer-analyze.txt
@@ -879,8 +879,14 @@ PULSE CHECKER OPTIONS
                  from a superclass with the specified annotation
              - "method_with_annotation":
                  match all procedures marked by specified annotation
+             - "method_with_annotation" and "annotation_values":
+                 match all procedures marked by specified annotation with
+           specified values
              - "field_with_annotation":
                  match all fields marked by specified annotation
+             - "field_with_annotation" and "annotation_values":
+                 match all fields marked by specified annotation with
+           specified values
              - "allocation": (for taint sources only)
                  match allocations of the exact class name supplied
              - "block_passed_to": (for taint sources only)

diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt
@@ -1501,8 +1501,14 @@ OPTIONS
                  from a superclass with the specified annotation
              - "method_with_annotation":
                  match all procedures marked by specified annotation
+             - "method_with_annotation" and "annotation_values":
+                 match all procedures marked by specified annotation with
+           specified values
              - "field_with_annotation":
                  match all fields marked by specified annotation
+             - "field_with_annotation" and "annotation_values":
+                 match all fields marked by specified annotation with
+           specified values
              - "allocation": (for taint sources only)
                  match allocations of the exact class name supplied
              - "block_passed_to": (for taint sources only)

diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt
@@ -1501,8 +1501,14 @@ OPTIONS
                  from a superclass with the specified annotation
              - "method_with_annotation":
                  match all procedures marked by specified annotation
+             - "method_with_annotation" and "annotation_values":
+                 match all procedures marked by specified annotation with
+           specified values
              - "field_with_annotation":
                  match all fields marked by specified annotation
+             - "field_with_annotation" and "annotation_values":
+                 match all fields marked by specified annotation with
+           specified values
              - "allocation": (for taint sources only)
                  match allocations of the exact class name supplied
              - "block_passed_to": (for taint sources only)

diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml
@@ -2620,8 +2620,12 @@ and pulse_taint_sources =
       from a superclass with the specified annotation
   - "method_with_annotation":
       match all procedures marked by specified annotation
+  - "method_with_annotation" and "annotation_values":
+      match all procedures marked by specified annotation with specified values
   - "field_with_annotation":
       match all fields marked by specified annotation
+  - "field_with_annotation" and "annotation_values":
+      match all fields marked by specified annotation with specified values
   - "allocation": $(i,\(for taint sources only\))
       match allocations of the exact class name supplied
   - "block_passed_to": $(i,\(for taint sources only\))