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
Mathias Vorreiter Pedersen
e3a5805916
Merge pull request #13237 from jketema/pointer-deref-fp
...
C++: Add `cpp/invalid-pointer-deref` false positives
2023-05-22 14:27:14 +01:00
Jeroen Ketema
3f289b1c99
C++: Add cpp/invalid-pointer-deref false positives
2023-05-22 14:34:59 +02:00
Robert Marsh
bf07b0f97b
C++: fix cxartesian product in constant off-by-one query
2023-05-19 18:32:09 -04:00
Mathias Vorreiter Pedersen
c15ebf83ee
C++: Add testcase with FP (and also fix an incorrect test annotation).
2023-05-19 16:38:18 +01:00
Mathias Vorreiter Pedersen
8cf25ba421
Merge pull request #13191 from MathiasVP/fix-pointer-pointee-conflation
...
C++: Fix pointer/pointee conflation
2023-05-18 13:09:10 +01:00
Nicky Mouha
187299fcaf
Update test.cpp
2023-05-17 15:20:54 -04:00
Nicky Mouha
ef57861789
Update IfStatementAdditionOverflow.expected
2023-05-17 15:19:52 -04:00
Jeroen Ketema
e3aecd3f1f
Merge pull request #13200 from jketema/deref-subpath
...
C++: Implement the `subpaths` query predicate for `cpp/invalid-pointer-deref`
2023-05-17 17:13:28 +02:00
Jeroen Ketema
e143002ae5
Merge pull request #13197 from jketema/test-annotation
...
C++: Add forgotten test annotation for `cpp/invalid-pointer-deref` test
2023-05-17 12:32:58 +02:00
Jeroen Ketema
014eb255bb
C++: Update expected test results
2023-05-17 12:09:22 +02:00
Jeroen Ketema
b1c1513a10
C++: Add forgotten test annotation in for cpp/invalid-pointer-deref test
2023-05-17 11:21:09 +02:00
Mathias Vorreiter Pedersen
402212bab9
C++: Accept query test changes.
2023-05-16 18:35:05 +01:00
Mathias Vorreiter Pedersen
a5632a21d1
Merge branch 'main' into precompute-states-in-overrun-write
2023-05-16 18:09:16 +01:00
Mathias Vorreiter Pedersen
c93a051243
C++: Accept test changes.
2023-05-16 17:41:41 +01:00
Mathias Vorreiter Pedersen
35e91bafa7
C++: Introduce 'indirect_sink' in dataflow tests.
2023-05-16 17:39:53 +01:00
Mathias Vorreiter Pedersen
c45032844e
C++: Add example with conflation in dataflow.
2023-05-16 16:34:20 +01:00
Jeroen Ketema
e8423f858f
Merge pull request #13149 from MathiasVP/barrier-out-on-phi-back-edges
...
C++: Block flow through back-edges in `cpp/overrun-write`
2023-05-16 14:22:55 +02:00
Jeroen Ketema
eb493a1981
C++: Add FP test case for cpp/invalid-pointer-deref
...
Also add reduced range analysis test case that seems to expose the underlying
reason for the FP.
2023-05-12 16:25:34 +02:00
Mathias Vorreiter Pedersen
de1f81a4b9
C++: Accept test changes.
2023-05-12 13:01:42 +01:00
Mathias Vorreiter Pedersen
0b7fc3cbf7
C++: Add a FP testcase involving flow through back-edges.
2023-05-12 13:00:39 +01:00
Mathias Vorreiter Pedersen
75e36e89de
C++: Precompute the set of necessary states.
2023-05-12 10:47:23 +01:00
Mathias Vorreiter Pedersen
f7924bda0d
Merge pull request #13099 from MathiasVP/heuristic-allocation-for-overrun-write
...
C++: Use heuristic allocation functions in `cpp/overrun-write`
2023-05-12 10:15:28 +01:00
Mathias Vorreiter Pedersen
fd6282063e
Merge pull request #12971 from MathiasVP/fix-fp-in-invalid-deref-2
...
C++: Fix more FPs on `cpp/invalid-pointer-deref`
2023-05-11 10:06:01 +01:00
Kasper Svendsen
8410eb3477
C++: Enable implicit this warnings
2023-05-10 15:15:21 +02:00
