Tom Hvitved
813dfc6417
C++: Generalize data-flow library in preparation for C# adoption
2019-04-10 13:05:39 +02:00
Geoffrey White
5101a5bc3d
Merge pull request #1056 from jbj/SimpleRangeAnalysis-use-after-cast
...
C++: Fix use-after-cast bug in SimpleRangeAnalysis
2019-04-10 11:04:20 +01:00
Jonas Jensen
01fc721497
C++: Fixup test annotation
2019-04-10 09:28:06 +02:00
Robert Marsh
75ab311c3a
Merge pull request #1223 from geoffw0/commentedoutcode
...
CPP: Detect commented out preprocessor logic
2019-04-09 16:16:19 -04:00
Robert Marsh
c9fbbfe7d8
Merge pull request #984 from rdmarsh2/rdmarsh/cpp/ir-stmtexpr
...
C++: add support for GNU StmtExpr in IR
2019-04-09 12:54:35 -04:00
Geoffrey White
13ed50f049
CPP: Improve the regexp.
2019-04-09 13:08:31 +01:00
Geoffrey White
d70e7ceafe
CPP: Additional test cases.
2019-04-09 13:04:32 +01:00
Jonas Jensen
ca71ac7c36
C++: Accept improved test output
2019-04-09 13:38:52 +02:00
Geoffrey White
ddb1b0ac1c
CPP: Declaration -> definition.
2019-04-09 12:35:20 +01:00
Jonas Jensen
fd4967e6f1
C++: Fix SnprintfOverflow issues
...
Requiring strict inclusion between types turned out to cause false
positives in `SnprintfOverflow`, which relied indirectly on
`RangeAnalysisUtils::linearAccessImpl` to identify acceptable bounds
checks. This query was particularly affected because `snprintf` returns
`int` (signed) but takes `size_t` (unsigned), so conversions are bound
to happen.
2019-04-09 11:05:14 +02:00
Robert Marsh
fd7512c447
C++: accept test change in SignAnalysis
2019-04-08 14:10:37 -04:00
Geoffrey White
48fff334da
CPP: Detect commented preprocessor code.
2019-04-08 18:17:23 +01:00
Geoffrey White
4d67bd32dd
CPP: Move comments explaining implementation details into the body of 'looksLikeCode'.
2019-04-08 18:14:54 +01:00
Geoffrey White
f432f1a03a
CPP: Autoformat CommentedOutCode.qll.
2019-04-08 18:00:49 +01:00
Geoffrey White
92241132b5
CPP: Add test cases.
2019-04-08 18:00:34 +01:00
Jonas Jensen
93286aabdf
C++: Test for FP introduced by relOp changes
2019-04-08 11:19:57 +02:00
Jonas Jensen
fedd652de8
Merge remote-tracking branch 'upstream/rc/1.20' into mergeback-20190408
2019-04-08 08:39:44 +02:00
Ziemowit Laski
ef54b012e0
[CPP-340] Fixed .expected file to match new query.
2019-04-05 15:43:38 -07:00
Robert Marsh
8087cb5040
C++: add CopyValueInstruction for StmtExpr result
2019-04-05 11:27:19 -07:00
Geoffrey White
5dce09b179
Revert "CPP: Workaround improvement for File.compiledAsMicrosoft."
...
This reverts commit c3ec7b55b7
2019-04-05 17:37:44 +01:00
Geoffrey White
918f7043af
Revert "CPP: Add '/' case."
...
This reverts commit 5e71207a23
2019-04-05 17:37:39 +01:00
Jonas Jensen
f7dda1b3a4
Merge pull request #1213 from geoffw0/pointerscaling2
...
CPP: De-duplicate the PointerScaling queries.
2019-04-05 14:42:28 +02:00
Jonas Jensen
19b05c57d7
Merge pull request #1204 from geoffw0/badlock
...
CPP: Add a test of common mistakes using locking classes.
2019-04-05 14:34:32 +02:00
Geoffrey White
f040755b3b
CPP: Remove unnecessary imports.
2019-04-05 11:44:50 +01:00
Geoffrey White
44d68a761d
CPP: Move 'baseType' into IncorrectPointerScalingCommon.qll.
2019-04-05 11:43:47 +01:00
Geoffrey White
695df232e3
CPP: Equalize the definitions of 'baseType'.
2019-04-05 11:28:11 +01:00
Geoffrey White
373075e06d
CPP: Extend the test.
2019-04-05 11:09:13 +01:00
Geoffrey White
34fbc7b194
CPP: Guard the delete.
2019-04-05 10:00:55 +01:00
Jonas Jensen
d619a8c693
Merge pull request #1192 from geoffw0/severity
...
CPP: Change some query severities
2019-04-05 09:23:27 +02:00
Jonas Jensen
8c17278808
Merge pull request #1191 from geoffw0/microsoft
...
CPP: Workaround improvement for File.compiledAsMicrosoft.
2019-04-05 09:22:08 +02:00
Robert Marsh
46f93ff322
C++: update test expectations
2019-04-04 10:55:27 -07:00
Robert Marsh
427b853077
C++: add another test case for IR stmtexpr
2019-04-04 10:55:27 -07:00
Robert Marsh
81dd03848f
C++: respond to PR comments
2019-04-04 10:52:08 -07:00
Robert Marsh
f2fbdac31b
C++: add support for GNU StmtExpr in IR
2019-04-04 10:51:06 -07:00
Geoffrey White
0a0bcdf939
CPP: Move some code into IncorrectPointerScalingCommon.qll.
2019-04-04 18:08:18 +01:00
Geoffrey White
7aee334baf
CPP: Update the qhelp.
2019-04-04 16:48:14 +01:00
Geoffrey White
a437e6c103
CPP: Extend coverage.
2019-04-04 16:31:02 +01:00
Geoffrey White
a1e503f428
CPP: Add test cases for PotentiallyDangerousFunction.
2019-04-04 16:26:53 +01:00
Geoffrey White
5e71207a23
CPP: Add '/' case.
2019-04-04 14:32:22 +01:00
Geoffrey White
cb09d23069
CPP: Add a test of common mistakes using locking and similar classes.
2019-04-04 11:23:06 +01:00
Anders Schack-Mulligen
15fa4f8b7a
Merge pull request #1007 from jbj/dataflow-dispatch-no-ctx
...
C++: Simplify stubs in DataFlowDispatch.qll
2019-04-04 11:25:50 +02:00
Ziemowit Laski
970c45e896
Merge branch 'master' into cpp340a
2019-04-03 17:52:46 -07:00
Ziemowit Laski
e4ce8347bc
[CPP-340] Simplify MistypedFunctionArguments.ql and reduce its
...
precision from very-high to high.
2019-04-03 16:19:37 -07:00
Jonas Jensen
d0091b28ee
Merge pull request #1199 from geoffw0/printfld
...
CPP: Support %Ld in printf.qll
2019-04-03 15:38:16 +02:00
Geoffrey White
d4c931cf11
CPP: Permit %Ld and similar.
2019-04-03 11:46:48 +01:00
Geoffrey White
b3fd7ab757
CPP: Add test cases.
2019-04-03 11:46:30 +01:00
Jonas Jensen
2140995530
C++: Update QLDoc for new use of getFullyConverted
2019-04-03 10:52:05 +02:00
Jonas Jensen
4b159fd2a5
C++: Fix the suppression for alerts about enums
...
The suppression mechanism broke when I changed `relOpWithSwap` to take
fully-converted expressions as parameters.
2019-04-03 10:45:39 +02:00
Jonas Jensen
f9c9efeabe
Merge pull request #1188 from geoffw0/donotedit
...
CPP: Consider more files to be generated.
2019-04-03 09:52:28 +02:00
Robert Marsh
fa8b771944
Merge pull request #1186 from jbj/dataflow-defbyref-1.20-fixes
...
C++: Let data flow past definition by reference
2019-04-02 13:36:37 -07:00
