[CPP-340] Refinements to FutileParams.ql etc.#1136

Merged

jbj merged 31 commits intogithub:masterfrom

zlaski-semmle:cpp340a

May 1, 2019

Commits on Mar 19, 2019

[CPP-340] Create QL query for function call argument count mismatches.
zlaski-semmle
committed
Refine QL query by requiring that a ()-declaration be present.
zlaski-semmle
committed
[CPP-340] Re-work QL query; treat undeclared C functions the same way as
zlaski-semmle
committed

Commits on Mar 21, 2019

[CPP-340] Create three QL queries: (1) mismatched argument types,
zlaski-semmle
committed

Commits on Mar 25, 2019

[CPP-340] Refine the test query for mismatching args/params by applying
zlaski-semmle
committed

Commits on Apr 3, 2019

[CPP-340] Simplify MistypedFunctionArguments.ql and reduce its
zlaski-semmle
committed

Commits on Apr 4, 2019

Commits on Apr 5, 2019

[CPP-340] Fixed .expected file to match new query.
zlaski-semmle
committed

Commits on Apr 10, 2019

Commits on Apr 13, 2019

[CPP-340] Add more test case; exclude K&R definitions of functions when looking
zlaski-semmle
committed

Commits on Apr 14, 2019

[CPP-340] Refactor MistypedFunctionArguments.ql further.
zlaski-semmle
committed

Commits on Apr 16, 2019

[CPP-340] Add white list (for false positive suppression) to TooManyArguments.ql
zlaski-semmle
committed

Commits on Apr 19, 2019

Commits on Apr 24, 2019

[CPP-340] For MistypedFunctionArguments.ql, add support for pointers to pointers and pointers to arrays.
zlaski-semmle
committed

Commits on Apr 28, 2019

[CPP-340] Delete ArgumentsToImplicit.ql and associated files.
zlaski-semmle
committed

Commits on Apr 29, 2019

Commits on Apr 30, 2019

[CPP-340] Adjust annotations in test.c file.
zlaski-semmle
committed