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
Mathias Vorreiter Pedersen
0d1d20c75b
C++: Change range-analysis test to not use 'getAst'. This was creating confusing test expectation annotations.
2023-05-25 15:50:29 -07:00
Mathias Vorreiter Pedersen
c3fdc83af6
C++: Also add an out barrier on all sinks.
2023-05-25 12:23:50 -07:00
Mathias Vorreiter Pedersen
ebc1d5feff
Merge branch 'main' into rdmarsh2/cpp/improve-constant-off-by-one
2023-05-24 16:07:08 -07:00
Robert Marsh
7404bd9c4b
Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement
2023-05-24 14:13:38 -04:00
Mathias Vorreiter Pedersen
fca5fb6177
Merge pull request #13269 from jketema/inline-module
...
C++/Swift: Rewrite inline expectation tests to use the parameterized module
2023-05-24 08:10:42 -07:00
Jeroen Ketema
9a467f9d4e
C++: Add cpp/invalid-pointer-deref FP test case
2023-05-24 13:52:19 +02:00
Jeroen Ketema
af378df712
C++: Add cpp/invalid-pointer-deref FP test case
2023-05-24 12:29:55 +02:00
Jeroen Ketema
2276890cec
C++: Rewrite inline expectation tests to use the parameterized module
2023-05-24 11:10:05 +02:00
Mathias Vorreiter Pedersen
0dfc9b996d
C++: Promote 'cpp/overrun-write' out of experimental.
2023-05-23 14:57:42 -07:00
Robert Marsh
86ab9608cd
C++: add test comments
2023-05-23 16:15:43 -04:00
Mathias Vorreiter Pedersen
8daa8d78ff
Merge pull request #13246 from MathiasVP/fix-pointer-pointee-conflation-2
...
C++: Fix more pointer/pointee conflation
2023-05-23 12:03:29 -07:00
Jeroen Ketema
aeb6293757
C++: Rewrite flow test common to use inline expectation test module
...
This also rewrites all uses of flow test common to use `DataFlow::ConfigSig`.
Note that the removed deprecated aliases are 14 months old by now and, hence,
can be safely removed.
2023-05-23 16:34:41 +02:00
Jeroen Ketema
3efc78ed49
Add default for hasOptionalResult
2023-05-23 12:32:11 +02:00
Jeroen Ketema
adbf66a365
C++: Rewrite inline expectation test to demonstrate MergeTests
2023-05-23 12:29:06 +02:00
Jeroen Ketema
9228e0deed
C++: Rewrite local flow test to use TestSig
2023-05-23 12:29:06 +02:00
Mathias Vorreiter Pedersen
b32d55a21d
C++: Accept test changes.
2023-05-22 18:26:29 -07:00
Robert Marsh
681cc4c755
C++: add neq refinement test for range analysis
2023-05-22 11:49:37 -04:00
Robert Marsh
6a997aba3b
C++: fix equality refinement in new range analysis
2023-05-22 11:11:51 -04:00
