Mathias Vorreiter Pedersen
1189665970
C++: Add barriers to 'cpp/overrun-write'.
2025-07-22 18:35:56 +01:00
Mathias Vorreiter Pedersen
e0eadc75dd
C++: Remove the ad-hoc code for keeping track of increments/decrements on pointers in the 'cpp/overrun-write' query.
2025-07-22 18:35:31 +01:00
Mathias Vorreiter Pedersen
92a730c9ac
C++: Add a false positive.
2025-07-22 18:35:21 +01:00
Geoffrey White
c41add896f
C++: Accept regressions in SAMATE based test cases.
2025-02-26 16:34:10 +00:00
Mathias Vorreiter Pedersen
1643a66183
C++: Add 'cpp/overflow-buffer' FP tests.
2025-01-28 15:44:53 +00:00
Rasmus Wriedt Larsen
2451a6d3f6
Accept .expected changes
2024-05-21 14:47:42 +02:00
Mathias Vorreiter Pedersen
58832a546a
C++: Accept test changes.
2024-04-18 12:33:27 +01:00
Mathias Vorreiter Pedersen
fb9fc14f3d
C++: Accept test changes in paths.
2024-04-16 11:09:22 +01:00
Mathias Vorreiter Pedersen
6f08790065
C++: Accept test changes.
2024-04-13 01:00:48 +01:00
Mathias Vorreiter Pedersen
be54a41593
C++: Accept query test changes.
2024-02-16 15:01:50 +01:00
Anders Schack-Mulligen
7eb5e1833d
C++: Add empty provenance column to expected files.
2024-02-09 11:32:08 +01:00
Mathias Vorreiter Pedersen
0c100eb122
C++: Accept test changes.
2023-12-14 14:44:58 +00:00
Mathias Vorreiter Pedersen
e648058d30
C++: Accept test changes.
2023-12-07 23:11:28 +00:00
Mathias Vorreiter Pedersen
b4958e7d58
C++: Accept path changes.
2023-10-30 12:44:30 +00:00
Mathias Vorreiter Pedersen
fda52a568d
C++: Accept test changes.
2023-09-18 17:55:25 +01:00
Mathias Vorreiter Pedersen
d2bb73ba1f
C++: Use the index to to get the 'most converted' and 'least converted' instruction in a bunch of places.
2023-09-01 13:47:06 +01:00
Mathias Vorreiter Pedersen
16d62186c0
C++: Use this new predicate everywhere we need to convert an instruction to an expression.
2023-09-01 13:32:25 +01:00
Mathias Vorreiter Pedersen
50190efe1c
C++: Don't limit instruction and operand reuse to those cases where we have a result for 'isUseImpl'.
2023-08-21 12:51:00 +01:00
Mathias Vorreiter Pedersen
518a3729ca
C++: Accept test changes.
2023-06-30 12:51:55 +01:00
Mathias Vorreiter Pedersen
97916407c2
C++: Accept test changes.
2023-06-29 16:51:08 +01:00
Jeroen Ketema
458522a656
C++: Implement clearsContent for IR dataflow
2023-06-26 12:11:03 +02:00
Mathias Vorreiter Pedersen
0dfc9b996d
C++: Promote 'cpp/overrun-write' out of experimental.
2023-05-23 14:57:42 -07:00
Mathias Vorreiter Pedersen
30f15473db
C++: Use 'max' instead of 'unique.'
2022-11-01 16:55:45 +00:00
Mathias Vorreiter Pedersen
49f39d7602
C++: Accept test changes.
2022-10-14 12:35:46 +02:00
Mathias Vorreiter Pedersen
4c5953fce0
C++: Accept query-test changes.
2022-10-14 10:14:52 +02:00
Mathias Vorreiter Pedersen
f2676968f0
C++: Actally convert 'cpp/overflow-destination' to a path-problem query.
2022-03-09 13:49:52 +00:00
Paolo Tranquilli
a0059202db
C++: split cpp/overrunning-write into two
...
This splits the `cpp/overruning-write` into two separate queries based
off on the reason for the estimation. If the overrun is detected based
on non-trivial range analysis, the results are now marked by the new
`cpp/very-likely-overruning-write` high precision query. If it is based
on less precise, usually type based bounds, then it will still be marked
by `cpp/overruning-write` which remains at medium precision.
2022-01-13 11:59:47 +00:00
Robert Marsh
c2b356ab08
C++: add subpaths to DefaultTaintTracking
2021-09-23 21:00:45 -07:00
Geoffrey White
d73604d1c5
C++: Fix a few glitches and accept line number changes in expected files.
2021-09-02 17:34:47 +01:00
Geoffrey White
fdb4a2acdb
C++: Clean up header comments.
2021-09-02 17:34:46 +01:00
Geoffrey White
75d367a6c5
C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.
2021-09-02 17:34:45 +01:00
