Kasper Svendsen
|
d1979197c7
|
CPP: Enable implicit this warnings for remaining packs
|
2023-06-27 14:44:24 +02:00 |
|
Mathias Vorreiter Pedersen
|
51176bdff3
|
C++: Add Geoffrey's testcases.
|
2023-06-27 12:59:22 +01:00 |
|
Jeroen Ketema
|
b1ae3a0a7b
|
Merge remote-tracking branch 'upstream/main' into clears-content
|
2023-06-27 13:45:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
f2cbbab419
|
Merge branch 'main' into rdmarsh2/cpp/cobo-handle-array-casts
|
2023-06-27 12:03:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
985650cb04
|
Merge pull request #13559 from MathiasVP/add-barrier-to-invalid-deref-query
C++: Add barriers to `cpp/invalid-pointer-deref`
|
2023-06-27 11:56:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
06bc460868
|
Merge pull request #13528 from rdmarsh2/rdmarsh2/cpp/range-analysis-back-edge
C++: fix range analysis back edge detection for irreducible CFGs
|
2023-06-27 09:14:44 +01:00 |
|
Robert Marsh
|
757f40c0cb
|
Merge pull request #13116 from rdmarsh2/rdmarsh2/cpp/cobo-array-vars
C++: include stack-allocated arrays in off-by-one query
|
2023-06-26 15:26:45 -04:00 |
|
Jeroen Ketema
|
527b537fee
|
Apply suggestions from code review
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2023-06-26 12:57:43 +02:00 |
|
Jeroen Ketema
|
458522a656
|
C++: Implement clearsContent for IR dataflow
|
2023-06-26 12:11:03 +02:00 |
|
Mathias Vorreiter Pedersen
|
e32f7d84a5
|
C++: Speed up analysis on 'Samate' by avoiding the 'Variable' column in the dataflow stages of the query.
|
2023-06-25 00:35:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1077fe75d
|
C++: Accept test changes.
|
2023-06-24 19:12:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
fba753ce61
|
C++: Add more test cases to 'cpp/invalid-pointer-deref'.
|
2023-06-24 18:59:25 +01:00 |
|
Robert Marsh
|
69ee615119
|
Merge pull request #13515 from MathiasVP/dataflow-fix-for-self-iterators
C++: Dataflow fix for the self-iterators issue
|
2023-06-23 13:50:23 -04:00 |
|
Mathias Vorreiter Pedersen
|
600c60af8b
|
Merge branch 'main' into rdmarsh2/cpp/cobo-array-vars
|
2023-06-23 10:54:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
79fb6a6079
|
C++: Accept test changes.
|
2023-06-22 19:34:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
da54751d85
|
C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.
|
2023-06-22 19:33:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
fe97572f70
|
C++: Fix strncpy model.
|
2023-06-22 10:59:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
273e5bc21f
|
C++: Add testcase demonstrating that the model for 'strncpy' is broken.
|
2023-06-22 10:59:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
c7cff373de
|
C++: Add another testcase with conflation.
|
2023-06-22 10:59:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
6543da9990
|
C++: Accept test changes.
|
2023-06-22 10:59:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
5816f177c9
|
C++: Add failing test.
|
2023-06-22 10:59:11 +01:00 |
|
Robert Marsh
|
ba7cb8f4ae
|
C++: fix range analysis back edge detection for irreducible CFGs
|
2023-06-21 17:54:52 -04:00 |
|
Mathias Vorreiter Pedersen
|
2b0282ca12
|
C++: Accept test changes.
|
2023-06-20 13:05:25 +01:00 |
|
Robert Marsh
|
971456c725
|
C++: add a test for self-valued iterators
|
2023-06-20 12:59:27 +01:00 |
|
Remco Vermeulen
|
32d7faa3b8
|
Account for the signedness of the lesser operand
|
2023-06-19 16:57:36 -07:00 |
|
Jeroen Ketema
|
9ff5754473
|
C++: Add cpp/invalid-pointer-def FP test case
|
2023-06-16 16:48:24 +02:00 |
|
Jeroen Ketema
|
0e68767efc
|
C++: Add more cpp/invalid-pointer-deref FPs
|
2023-06-16 15:28:05 +02:00 |
|
Jeroen Ketema
|
8fb3d838c9
|
C++: Add FP test case for cpp/invalid-pointer-deref
|
2023-06-15 10:03:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
74ed9f535c
|
Merge pull request #13406 from MathiasVP/fix-++-problem
C++: Fix the `++` problem
|
2023-06-09 11:20:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
a357eeedac
|
C++: Accept test changes.
|
2023-06-08 12:50:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
57ae1e9ff7
|
C++: Add a testcase that started to fail in #13326.
|
2023-06-08 12:49:08 +01:00 |
|
erik-krogh
|
a4ef8619c6
|
delete old deprecations
|
2023-06-08 10:10:21 +02:00 |
|
Jeroen Ketema
|
272ced6ea5
|
Merge pull request #13374 from jketema/ptr-deref-min
C++: Remove `cpp/invalid-pointer-deref` results duplicating ones with smaller `k`
|
2023-06-05 19:31:24 +02:00 |
|
Jeroen Ketema
|
93215ba7e1
|
Merge pull request #13355 from jketema/ptr-deref-forward
C++: Ensure that the sink instruction occurs last in `cpp/invalid-pointer-deref`
|
2023-06-05 15:56:50 +02:00 |
|
Jeroen Ketema
|
4a27028768
|
C++: Remove cpp/invalid-pointer-deref results duplicating ones with smaller k
|
2023-06-05 15:03:58 +02:00 |
|
Jeroen Ketema
|
90f0209095
|
C++: Add cpp/invalid-pointer-deref test case with almost duplicated results
|
2023-06-05 15:03:57 +02:00 |
|
Jeroen Ketema
|
7f7b048f50
|
C++: Update expected test results
|
2023-06-05 15:00:11 +02:00 |
|
Mathias Vorreiter Pedersen
|
52fb00cac3
|
Merge pull request #12036 from nmouha/patch-1
CPP: Add query for CVE-2022-37454: Integer addition may overflow inside if statement
|
2023-06-05 12:13:27 +01:00 |
|
Jeroen Ketema
|
ac4933a9cc
|
C++: Ensure that the sink instruction occurs last in cpp/invalid-pointer-deref
This avoids some counter-intuitive paths where we would seemingly jump back
to an earlier instruction, which might actually have been in bounds.
|
2023-06-02 12:36:34 +02:00 |
|
Robert Marsh
|
c9c93ca701
|
C++: test for strncmp false positives
|
2023-06-01 12:52:17 -04:00 |
|
Jeroen Ketema
|
ace7b6b711
|
C++: Add cpp/invalid-pointer-deref FP test case
|
2023-05-31 11:54:53 +02:00 |
|
Jeroen Ketema
|
dd30acf1e3
|
C++: Add nodes query predicate to cpp/invalid-pointer-deref
|
2023-05-30 18:43:01 +02:00 |
|
Jeroen Ketema
|
f5ed02a433
|
C++: Take into account the delta at the final sink in cpp/invalid-pointer-deref
|
2023-05-30 18:33:20 +02:00 |
|
Jeroen Ketema
|
de974cc18a
|
C++: Add cpp/invalid-pointer-deref test case that shows some duplicate results
|
2023-05-30 18:18:13 +02:00 |
|
Jeroen Ketema
|
16bc584bd1
|
Merge pull request #13294 from MathiasVP/better-test-for-range-analysis
C++: Change range-analysis test to not use `getAst`
|
2023-05-30 10:49:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
9828af45a1
|
C++: Change separator from ':' to '|'.
|
2023-05-26 15:23:48 -07:00 |
|
Robert Marsh
|
d18fb646d1
|
C++: handle cast arrays properly in off-by-one query
|
2023-05-26 13:16:21 -04:00 |
|
Robert Marsh
|
6e230e10f8
|
C++: include stack-allocated arrays in off-by-one query
|
2023-05-26 13:04:51 -04:00 |
|
Robert Marsh
|
b2fb2aa0d1
|
Merge pull request #13045 from rdmarsh2/rdmarsh2/cpp/improve-constant-off-by-one
C++: stitch paths and ignore cast arrays in constant off-by-one query
|
2023-05-26 12:47:08 -04:00 |
|
Jeroen Ketema
|
63657396c5
|
Merge pull request #13267 from MathiasVP/promote-overrun-write
C++: Promote `cpp/overrun-write` out of experimental
|
2023-05-26 11:34:26 +02:00 |
|