Mathias Vorreiter Pedersen
|
a806569b5f
|
C++: The next commit is going to track flow out of both direct and indirect sources. This means we'll get a lot of duplication since there'll be flow from indirect source -> indirect sink and direct source -> direct sink (which both map to the same expressions). This commit changes the testing so that we only report a duplication when they're at different locations.
|
2023-02-27 14:57:35 +00:00 |
|
Jeroen Ketema
|
2acda03518
|
C++: Reintroduce the AST testing configuration for the smart pointer test too
|
2022-11-15 13:49:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
373c849b18
|
C++: Accept library-test changes
|
2022-10-14 10:14:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
dbcd4d6d5d
|
C++: Remove 'ReferenceToInstruction' from the list of instructions we interpret as a load. This makes use lose a bunch of flow, and we'll restore this flow in the next commit.
|
2021-11-11 10:38:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
21a1ee7758
|
C++: Add annoying case in SSA.qll related to 'NewExpr' and accept test changes.
|
2021-10-28 12:35:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
3efe60fdd2
|
C++: Accept test changes.
|
2021-10-28 12:35:01 +01:00 |
|
Dave Bartolomeo
|
1d0cb0407d
|
Merge from main
|
2021-04-20 23:37:04 -04:00 |
|
Mathias Vorreiter Pedersen
|
09ba25fe9b
|
C++: Accept test changes. I'm actually not sure why we lose these results (and lose the field conflation, yay) It might be due to #3364.
|
2021-03-30 10:24:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
5a4efab742
|
C++: Add tests for shared_ptr.
|
2021-03-29 18:04:20 +02:00 |
|
Mathias Vorreiter Pedersen
|
8dc7b6403a
|
C++: Add shared_ptr and unique_ptr implementations. Also add some very basic tests.
|
2021-03-26 12:03:59 +01:00 |
|