Mathias Vorreiter Pedersen
|
a735d18a1b
|
C++: Add inline expectations tests for the allocation-to-invalid-pointer stage of the query.
|
2023-07-18 18:15:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
d41d2bc29e
|
Merge pull request #13699 from MathiasVP/final-config-to-invalid-pointer-deref
C++: Handle call-contexts mismatches in `cpp/invalid-pointer-deref`
|
2023-07-18 13:08:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
c13f015b95
|
C++: No need to select the 'instruction' as the sink when the dataflow node has a better 'toString'.
|
2023-07-13 14:17:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
5e06043120
|
C++: Completely get rid of merged path nodes.
|
2023-07-13 14:15:14 +01:00 |
|
Robert Marsh
|
5eea8e49b7
|
C++: more constant array off-by-one tests
|
2023-07-10 12:51:48 -04:00 |
|
Mathias Vorreiter Pedersen
|
3fe58d97bd
|
C++: Accept test changes.
|
2023-07-10 13:53:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
ae8ecc9076
|
C++: Add a final configuration to preserve call contexts between configuration transitions.
|
2023-07-10 13:52:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
055aea6e1a
|
C++: Add FP caused by missing call context.
|
2023-07-10 13:52:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
d24a05a1b9
|
Merge branch 'main' into rdmarsh2/cpp/constant-array-overflow-tests
|
2023-07-05 13:49:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
60c0226dce
|
Update cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/constant-size/test.cpp
Co-authored-by: Calum Grant <42069085+calumgrant@users.noreply.github.com>
|
2023-07-05 12:03:47 +01:00 |
|
Robert Marsh
|
1c2c48c74a
|
C++: more constant-array-overflow tests
|
2023-07-03 16:59:02 -04:00 |
|
Mathias Vorreiter Pedersen
|
42356a899a
|
Merge pull request #13603 from MathiasVP/implement-is-unreachable-in-call-2
|
2023-06-30 12:00:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
90336705e1
|
C++: Accept test changes after merge.
|
2023-06-29 14:48:17 +01:00 |
|
Jeroen Ketema
|
f8b1dc9f59
|
Merge pull request #13617 from jketema/pointer-deref-barrier-fps
C++: Add more `cpp/invalid-pointer-deref` FP test cases
|
2023-06-29 15:48:15 +02:00 |
|
Robert Marsh
|
e428502f4b
|
Merge pull request #13598 from MathiasVP/add-constant-size-array-fp
C++: Add `cpp/constant-array-overflow` FPs
|
2023-06-29 09:44:04 -04:00 |
|
Jeroen Ketema
|
2c8d4724d5
|
C++: Add more cpp/invalid-pointer-deref FP test cases
|
2023-06-29 14:45:09 +02:00 |
|
Jeroen Ketema
|
527b908bda
|
C++: Fix test annotation for cpp/invalid-pointer-deref test
|
2023-06-28 17:54:12 +02:00 |
|
Jeroen Ketema
|
43a8119091
|
Merge pull request #13591 from jketema/pointer-deref-barrier
C++: Add barrier to `InvalidPointerToDerefConfig` in `cpp/invalid-pointer-deref`
|
2023-06-28 17:46:41 +02:00 |
|
Jeroen Ketema
|
14609a9795
|
C++: Add barrier to InvalidPointerToDerefConfig in cpp/invalid-pointer-deref
|
2023-06-28 14:04:45 +02:00 |
|
Mathias Vorreiter Pedersen
|
ae098822c3
|
C++: Add 'cpp/constant-array-overflow' FP.
|
2023-06-28 11:22:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
2c99009c1a
|
Merge pull request #13117 from rdmarsh2/rdmarsh2/cpp/cobo-handle-array-casts
C++: handle cast arrays properly in off-by-one query
|
2023-06-28 09:25:12 +01: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 |
|
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 |
|
Mathias Vorreiter Pedersen
|
600c60af8b
|
Merge branch 'main' into rdmarsh2/cpp/cobo-array-vars
|
2023-06-23 10:54:46 +01: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
|
a357eeedac
|
C++: Accept test changes.
|
2023-06-08 12:50:16 +01: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 |
|
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 |
|