Merge pull request #3727 from jbj/tainted-format-string-high

C++: Raise cpp/tainted-format-string* precisions to high
This commit is contained in:
Robert Marsh
2020-06-24 15:06:13 -07:00
committed by GitHub
3 changed files with 4 additions and 2 deletions

View File

@@ -5,7 +5,7 @@
* or data representation problems.
* @kind path-problem
* @problem.severity warning
* @precision medium
* @precision high
* @id cpp/tainted-format-string
* @tags reliability
* security

View File

@@ -5,7 +5,7 @@
* or data representation problems.
* @kind path-problem
* @problem.severity warning
* @precision medium
* @precision high
* @id cpp/tainted-format-string-through-global
* @tags reliability
* security