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 |
|
Jeroen Ketema
|
c3a7f98b2f
|
Merge branch 'main' into fix-fp-in-invalid-deref-2
|
2023-05-10 11:31:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
720586c437
|
Merge pull request #13059 from MathiasVP/remove-self-edges
C++: Remove self edges
|
2023-05-10 09:04:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
363514e4ca
|
C++: Expand heuristic to catch more sources.
|
2023-05-10 08:27:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
9da7c9f696
|
C++: Use heuristic allocation in 'cpp/overrun-write'.
|
2023-05-10 08:22:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
023b8e4f15
|
C++: Add a testcase that needs heuristic allocation.
|
2023-05-10 08:21:21 +01:00 |
|
Kasper Svendsen
|
c46898cb75
|
C++: Make implicit this receivers explicit
|
2023-05-09 15:35:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
89bf335900
|
C++: Accept test changes.
|
2023-05-05 16:44:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
b43702451f
|
C++: Remove self edges from post-update SSA.
|
2023-05-05 15:47:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
4048915c8c
|
C++: Remove self edges from non-post-update SSA.
|
2023-05-05 15:45:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
c0b3a1896b
|
C++: No phi self-edges.
|
2023-05-05 12:16:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
cad02441f9
|
Merge branch 'main' into overrun-write-only-one-alert
|
2023-05-05 10:14:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
09ba9a74ce
|
Merge pull request #12959 from MathiasVP/identity-consistency-check
DataFlow: Add an "identity-step" consistency check
|
2023-05-05 10:03:20 +01:00 |
|
Robert Marsh
|
b7653ec92d
|
C++: ignore cast arrays in constant off-by-one query
|
2023-05-04 16:39:02 -04:00 |
|
Robert Marsh
|
d9665e1678
|
C++: add case test for constant off-by-one query
|
2023-05-04 16:34:29 -04:00 |
|
Robert Marsh
|
3abf5d1bd2
|
C++: stitch paths in array off-by-one query
|
2023-05-04 16:28:05 -04:00 |
|
Mathias Vorreiter Pedersen
|
27c4408431
|
Merge pull request #12997 from MathiasVP/sync-product-flow-across-calls
C++: Synchronize product dataflow paths on function entry points
|
2023-05-04 17:37:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
de08ada0bc
|
C++: Accept test changes.
|
2023-05-04 17:29:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
a09a8dba95
|
C++: Add testcase with repeated TP alerts.
|
2023-05-04 16:59:54 +01:00 |
|
Jeroen Ketema
|
0b2f5609d6
|
Merge pull request #12982 from rdmarsh2/rdmarsh2/ir-guards-unreached
C++: Handle nonreturning functions in IR generation
|
2023-05-03 23:20:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
2a4b17608f
|
C++: Accept test changes.
|
2023-05-03 22:04:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
77001a070b
|
Merge branch 'main' into identity-consistency-check
|
2023-05-03 22:01:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
5dc9d9a10f
|
C++: Accept consistency changes.
|
2023-05-03 20:29:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
2af48e2536
|
Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions
C++: Barrier guards API for indirect expressions
|
2023-05-03 18:14:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
0d6fdc674b
|
C++: Also account for setter-related flow and jump steps.
|
2023-05-03 15:47:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
7fa6894aaf
|
C++: Ensure that product dataflow library enters/leaves through the same call.
|
2023-05-02 17:13:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
635d290504
|
C++: Add testcase with FP.
|
2023-05-02 13:51:16 +01:00 |
|