Mathias Vorreiter Pedersen
|
faf9fd6253
|
C++: Add a testcase (and a new test) to test flow through functions.
|
2023-02-10 12:40:29 +00:00 |
|
Jeroen Ketema
|
ffbaef8771
|
C++: Update for test changes
|
2023-02-10 11:23:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
e1aef3127c
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-02-10 09:23:37 +00:00 |
|
Jeroen Ketema
|
8f15abc285
|
Merge pull request #12146 from jketema/global-indirect
C++: Do not mark global indirect flow as spurious in dataflow tests
|
2023-02-10 10:21:04 +01:00 |
|
Jeroen Ketema
|
350fb89ebf
|
C++: Also mention all locations in the AST case
|
2023-02-10 09:49:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
9aa9187dd7
|
Merge pull request #12141 from MathiasVP/fix-multiple-out-nodes
C++: Deduplicate `OutNode`s
|
2023-02-10 08:39:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
4719fd5235
|
C++: Accept more test changes.
|
2023-02-10 08:38:46 +00:00 |
|
Jeroen Ketema
|
12930c68fb
|
C++: Do not mark global indirect flow as spurious in dataflow tests
|
2023-02-10 09:29:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
6b851d0529
|
C++: Fix an inconsistency with too many out nodes.
|
2023-02-09 16:55:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
7439de37a3
|
C++: Add a new test that demonstrates multiple out nodes.
|
2023-02-09 16:23:32 +00:00 |
|
Jeroen Ketema
|
9d6098af15
|
Merge pull request #12004 from jketema/single-use
C++: Map operand nodes that are only used once onto the related instruction node
|
2023-02-09 17:18:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
946e301ed6
|
Merge pull request #12079 from rdmarsh2/rdmarsh2/use-use-taint-test-reads
C++: allow read steps at the sink in IR taint test
|
2023-02-08 15:08:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
825628675e
|
C++: Only allow implicit reads of fields that exist on the sink node's type.
|
2023-02-08 13:08:22 +00:00 |
|
Jeroen Ketema
|
20ce4cdf91
|
C++: Map operand nodes that are only used once onto the related instruction node
|
2023-02-07 14:17:54 +01:00 |
|
Jeroen Ketema
|
868f07bc91
|
Merge branch 'main' into ihsinme-patch-102
|
2023-02-06 20:16:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
316eecc064
|
C++: Accept test changes.
|
2023-02-06 09:09:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
559c799309
|
C++: Also recognize iterators obtained via a function that doesn't receive the container as a qualiifer.
|
2023-02-03 21:43:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
77250af444
|
Merge pull request #12050 from MathiasVP/flow-out-of-iterators-3
|
2023-02-03 18:43:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
09a7573163
|
C++: Add comments to the new FP.
|
2023-02-03 17:09:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
ae774a6b95
|
C++: Add a test with an indirect source.
|
2023-02-03 16:59:54 +00:00 |
|
Robert Marsh
|
ad8e82ac65
|
C++: allow read steps at the sink in IR taint test
|
2023-02-03 11:38:49 -05:00 |
|
Mathias Vorreiter Pedersen
|
968fff29ac
|
Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into flow-out-of-iterators-3
|
2023-02-02 09:12:02 +00:00 |
|
Mathias Vorreiter Pedersen
|
eb31160ae0
|
C++: Accept test changes.
|
2023-02-01 13:42:03 +00:00 |
|
Mathias Vorreiter Pedersen
|
702b10ff96
|
Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into global-flow
|
2023-02-01 13:37:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
0e1dcc8062
|
C++: Accept test changes. These all appear to be good changes.
|
2023-02-01 13:25:37 +00:00 |
|
Jeroen Ketema
|
ce8a84abb3
|
Merge pull request #12043 from jketema/subpaths
C++: Fix missing subpaths when displaying dataflow paths
|
2023-02-01 09:17:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
41ea71c31c
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-01-31 14:12:23 +00:00 |
|
Jeroen Ketema
|
24891c3f43
|
C++: Fix missing subpaths when displaying dataflow paths
|
2023-01-31 10:57:06 +01:00 |
|
Gulshan Singh
|
fb31570af3
|
Fix bitshift test
|
2023-01-30 19:55:53 -08:00 |
|
Gulshan Singh
|
051d36ee6a
|
Add ConstantLShiftExprRange and ConstantRShiftExprRange classes
|
2023-01-30 19:55:53 -08:00 |
|
Gulshan Singh
|
5710289460
|
Add bitshift test
|
2023-01-30 19:55:53 -08:00 |
|
Mathias Vorreiter Pedersen
|
7cc7675cdc
|
C++: Accept query changes. These are just deduplications.
|
2023-01-30 09:26:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
1b45c5f96a
|
C++: Accept test changes.
|
2023-01-30 09:13:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b47e150c6
|
C++: Accept test changes.
|
2023-01-27 11:44:17 +00:00 |
|
Robert Marsh
|
3648f26cca
|
Merge remote-tracking branch 'origin/mathiasvp/replace-ast-with-ir-use-usedataflow' into global-flow
Resolved trivial conflicts.
|
2023-01-26 11:58:53 -05:00 |
|
Mathias Vorreiter Pedersen
|
bfe9ae22ad
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-01-26 13:03:49 +00:00 |
|
Mathias Vorreiter Pedersen
|
13baa5b60b
|
C++: Add iterator typedefs to properly instantiate 'int_iterator_by_trait' and 'insert_iterator_by_trait'.
|
2023-01-26 11:43:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
ec297fb838
|
C++: Accept more test changes.
|
2023-01-24 11:59:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
7fb9db49be
|
C++: Accept test changes.
|
2023-01-24 11:11:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
510211a4c7
|
C++: Add testcase with looping behavior in C/C++ def-use flow.
|
2023-01-24 09:44:30 +00:00 |
|
Mathias Vorreiter Pedersen
|
ecbcee5bc8
|
Merge pull request #11945 from MathiasVP/refactor-param-out-nodes-2
|
2023-01-23 21:21:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
79b77b01fd
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-01-23 15:49:36 +00:00 |
|
Jeroen Ketema
|
0a0d6d0841
|
Merge pull request #11963 from MathiasVP/testcase-with-loop
C++: Add testcase with looping behavior
|
2023-01-23 16:33:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
a217017859
|
C++: Add testcase with looping behavior in C/C++ use-use flow.
|
2023-01-23 14:29:39 +00:00 |
|
Jeroen Ketema
|
05ecd2e015
|
Merge pull request #11958 from jketema/argv-if-tests
C++: Add some additional uncontrolled format string tests
|
2023-01-23 14:05:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
9dbea539ed
|
Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into refactor-param-out-nodes-2
|
2023-01-23 10:51:46 +00:00 |
|
Jeroen Ketema
|
cfc0dabad9
|
C++: Add some additional uncontrolled format string tests
These duplicate the `i9` and `i91` tests slightly earlier in the same file, but
use an explicit `if` instead of the ternary operator.
|
2023-01-23 11:50:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
da6bbbbc5e
|
C++: Accept test changes.
|
2023-01-21 01:43:23 +00:00 |
|
Jeroen Ketema
|
f628152be1
|
C++: In dataflow use the AST representation of IR Instructions and Operands
|
2023-01-20 10:39:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
e26e83b8df
|
Merge pull request #11728 from github/rdmarsh2/parameterize-range-analysis
C++: Parameterize the semantic range analysis
|
2023-01-18 14:22:35 +00:00 |
|