Jonas Jensen
|
f3e691b5ec
|
Merge pull request #2075 from zlaski-semmle/zlaski/cpp434
[CPP-434] Detect signed overflow checks
|
2019-11-09 09:57:23 +01:00 |
|
Ziemowit Laski
|
7a4c4b62f6
|
[zlaski/pointer-overflow-check] Rename PointerOverflowCheck -> PointerWrapAround.
|
2019-11-08 14:54:20 -08:00 |
|
Ziemowit Laski
|
f2105867a8
|
[zlaski/pointer-overflow-check] Enhance qhelp and test case.
|
2019-11-08 14:36:33 -08:00 |
|
Geoffrey White
|
b4fb98dc7c
|
CPP: Fix comments.
|
2019-11-08 15:10:13 +00:00 |
|
Geoffrey White
|
821d5061a7
|
CPP: Correct the tests.
|
2019-11-08 15:10:13 +00:00 |
|
Geoffrey White
|
cd3bccf73a
|
CPP: Fix FPs.
|
2019-11-08 15:09:46 +00:00 |
|
Geoffrey White
|
1cf4449314
|
CPP: Test for NonConstantFormat with multiple definitons.
|
2019-11-08 15:09:45 +00:00 |
|
Geoffrey White
|
144cda7dd9
|
CPP: Test for WrongTypeFormatArguments with multiple definitions.
|
2019-11-08 15:09:45 +00:00 |
|
Robert Marsh
|
ee185ea92e
|
Merge pull request #2273 from geoffw0/ntohl
CPP: Add tests of NtohlArrayNoBoundOpenSource.ql.
|
2019-11-07 14:06:32 -08:00 |
|
Geoffrey White
|
f9feb05a72
|
CPP: Add a test of NtohlArrayNoBoundOpenSource.ql.
|
2019-11-06 13:36:31 +00:00 |
|
Ziemowit Laski
|
0df3d2ce60
|
[zlaski/pointer-overflow-check] Improve test case.
|
2019-11-05 13:00:55 -08:00 |
|
Ziemowit Laski
|
9228844604
|
[zlaski/pointer-overflow-check] Expand test case.
|
2019-11-04 17:00:06 -08:00 |
|
Ziemowit Laski
|
9407ba1a35
|
[zlaski/pointer-overflow-check] Initial version.
|
2019-11-04 17:00:06 -08:00 |
|
Ziemowit Laski
|
2bad9394b7
|
[CPP-434] Squelch alerts for expressions inside macros; try to make Qhelp Jenkins-friendly.
|
2019-11-01 15:24:22 -07:00 |
|
Geoffrey White
|
fa203254ce
|
CPP: Add test cases.
|
2019-11-01 17:40:27 +00:00 |
|
Geoffrey White
|
c40c88ec4b
|
CPP: Add test cases for ConditionallyUninitializedVariables.ql.
|
2019-10-28 18:43:00 +00:00 |
|
Ziemowit Laski
|
6ee3d7d788
|
[CPP-434] Address more comments re .cpp test cases.
|
2019-10-25 15:50:00 -07:00 |
|
Ziemowit Laski
|
7204e13746
|
[CPP-434] Address comments re .cpp test cases.
|
2019-10-25 14:37:28 -07:00 |
|
Geoffrey White
|
e48936244d
|
CPP: Reword the query message.
|
2019-10-24 16:22:51 +01:00 |
|
Ziemowit Laski
|
ad5aa182df
|
[CPP-434] When analyzing overflow, discard any explicit casts.
Use the simple range analysis library to detect which
additions may in fact overflow.
|
2019-10-22 15:21:30 -07:00 |
|
Ziemowit Laski
|
06f63c5477
|
[CPP-434] Incremental changes to SignedOverflowCheck.cpp test suite.
|
2019-10-22 13:06:33 -07:00 |
|
Ziemowit Laski
|
2292518933
|
[CPP-434] Change query so it flags overflows that were cast to unsigned.
|
2019-10-21 17:04:46 -07:00 |
|
Jonas Jensen
|
defe99503d
|
Merge pull request #2113 from raulgarciamsft/users/raulga/boost
Users/raulga/boost
|
2019-10-20 13:14:44 +02:00 |
|
Geoffrey White
|
446763d331
|
CPP: Fix typo.
|
2019-10-18 14:47:21 +01:00 |
|
Geoffrey White
|
411f74db70
|
CPP: Delete comment.
|
2019-10-18 14:44:38 +01:00 |
|
Ziemowit Laski
|
70441edacf
|
[CPP-434] Additional test case; improve QHelp by including themes from the BadAdditionOverflowCheck QHelp.
|
2019-10-17 16:41:17 -07:00 |
|
Ziemowit Laski
|
fb625c12ef
|
[CPP-434] Move SignedOverflowCheck test to BadAdditionOverflowCheck directory; add additional tests.
|
2019-10-16 14:31:11 -07:00 |
|
Geoffrey White
|
5f1fdd08a7
|
CPP: Post-2115.
|
2019-10-16 13:51:06 +01:00 |
|
Geoffrey White
|
096af3c3f3
|
CPP: Add test cases involving __builtin_complex.
|
2019-10-16 13:46:11 +01:00 |
|
Geoffrey White
|
ff8e04aa99
|
CPP: Fix bug.
|
2019-10-14 11:00:43 +01:00 |
|
Geoffrey White
|
62625cc454
|
CPP: Extend the test.
|
2019-10-14 10:44:04 +01:00 |
|
Ziemowit Laski
|
5558922b31
|
[CPP-434] Drop the requirement that RHS not be cast to unsigned, since overflow occurs on LHS. Adjust test case.
|
2019-10-11 17:01:16 -07:00 |
|
Ziemowit Laski
|
33cd6de729
|
[CPP-434] Improved query and test suite.
|
2019-10-10 18:11:35 -07:00 |
|
Raul Garcia (MSFT)
|
7b0e83fead
|
Porting Boost.org TLS queries
|
2019-10-10 16:05:14 -07:00 |
|
Geoffrey White
|
b10988faec
|
CPP: Fix the query.
|
2019-10-10 09:15:19 +01:00 |
|
Geoffrey White
|
3f167a6f15
|
CPP: Add a test involving templates.
|
2019-10-10 09:15:19 +01:00 |
|
Geoffrey White
|
4fc73cab63
|
CPP: Add a test of ComparisonPrecedence.ql.
|
2019-10-10 09:15:19 +01:00 |
|
Ziemowit Laski
|
1ab965761b
|
[CPP-434] Incorporate test from BadAdditionOverflowCheck.
|
2019-10-09 17:30:30 -07:00 |
|
Ziemowit Laski
|
7fc47d496a
|
[CPP-434] Much improved query (producing only true positives on a run of 75 projects).
|
2019-10-09 16:40:19 -07:00 |
|
Ziemowit Laski
|
e617a05a1f
|
[CPP-434] One bad usage is undetected; adjust test accordingly.
|
2019-10-08 17:20:25 -07:00 |
|
Ziemowit Laski
|
872054a89a
|
[CPP-434] Narrow down query.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
341dc12fc8
|
[CPP-434] Adjust expected output.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
8c6caf2b4e
|
[CPP-434] Rename everything to SignedOverflowCheck. Add .qlhelp. Deal with addition only, not subtraction.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
c9a9aff221
|
[CPP-434] Expected result.
|
2019-10-08 14:12:35 -07:00 |
|
Ziemowit Laski
|
55c26a8880
|
[CPP-434] Initial version of query + test cases.
|
2019-10-08 14:12:34 -07:00 |
|
Jonas Jensen
|
898976121b
|
Merge pull request #1987 from geoffw0/toomanyformat
CPP: WrongNumberOfFormatArguments.ql Fix
|
2019-09-23 16:05:11 +02:00 |
|
Geoffrey White
|
b3df289a80
|
CPP: Fix test.
|
2019-09-23 13:56:24 +01:00 |
|
Geoffrey White
|
2d8e4b3176
|
CPP: Additional cases resembling the ticket.
|
2019-09-23 13:04:14 +01:00 |
|
Geoffrey White
|
040bd89163
|
CPP: Correct expected results.
|
2019-09-23 11:02:36 +01:00 |
|
Geoffrey White
|
f7607313e7
|
CPP: Fix FPs.
|
2019-09-20 15:12:55 +01:00 |
|