[CPP-340] Add new queries to analysis-cpp.md; correct id of

TooFewArguments.ql
This commit is contained in:
Ziemowit Laski 2019-04-01 19:15:27 -07:00
Родитель 03aa86ed4d
Коммит 96b8bdfeb5
2 изменённых файлов: 4 добавлений и 1 удалений

Просмотреть файл

@ -6,6 +6,8 @@
| **Query** | **Tags** | **Purpose** |
|-----------------------------|-----------|--------------------------------------------------------------------|
| `()`-declared function called with too few arguments (`cpp/too-few-arguments`) | Correctness | Find all cases where the number of arguments is less than the number of parameters of the function, provided the function is also properly declared/defined elsewhere. |
| `()`-declared function called with mismatched arguments (`cpp/mismatched-function-arguments`) | Correctness | Find all cases where the types of arguments do not match the types of parameters of the function, provided the function is also properly declared/defined elsewhere. |
## Changes to existing queries
@ -18,5 +20,6 @@
| Resource not released in destructor (`cpp/resource-not-released-in-destructor`) | Fewer false positive results | Resource allocation and deallocation functions are now determined more accurately. |
| Comparison result is always the same | Fewer false positive results | The range analysis library is now more conservative about floating point values being possibly `NaN` |
| Wrong type of arguments to formatting function (`cpp/wrong-type-format-argument`) | More correct results and fewer false positive results | This query now more accurately identifies wide and non-wide string/character format arguments on different platforms. Platform detection has also been made more accurate for the purposes of this query. |
| `()`-declared function called with too many arguments (`cpp/futile-params`) | Improved coverage | Query has been generalized to find all cases where the number of arguments exceedes the number of parameters of the function, provided the function is also properly declared/defined elsewhere. |
## Changes to QL libraries

Просмотреть файл

@ -7,7 +7,7 @@
* @kind problem
* @problem.severity error
* @precision very-high
* @id cpp/too-few-params
* @id cpp/too-few-arguments
* @tags correctness
* maintainability
* security