Geoffrey White
|
dbf0b98791
|
C++: Add some test cases involving function pointers.
|
2024-03-01 15:56:44 +00:00 |
|
Geoffrey White
|
f649939d78
|
C++: Allow flow through (previously missing) summary taint steps.
|
2024-03-01 15:56:44 +00:00 |
|
Geoffrey White
|
356214c11b
|
C++: Implement SummaryReturnNode.
|
2024-02-20 14:48:02 +00:00 |
|
Geoffrey White
|
5683092d6a
|
C++: Implement SummaryParameterNode.
|
2024-02-20 14:48:02 +00:00 |
|
Geoffrey White
|
1ace9ee50f
|
C++: Create a proper class for DataFlowCallable, that includes summarized callables.
|
2024-02-20 14:48:02 +00:00 |
|
Geoffrey White
|
6e13b877bb
|
C++: Add FlowSummaryNode and test it.
|
2024-02-16 18:06:57 +00:00 |
|
Geoffrey White
|
e187a4a7d6
|
C++: Add flow summaries to simpleLocalFlowStep.
|
2024-02-16 12:31:17 +00:00 |
|
Geoffrey White
|
0c3aa7b7f2
|
C++: Add an inline test for interpretElement matching.
|
2024-02-09 18:57:05 +00:00 |
|
Geoffrey White
|
8bdb67cc15
|
C++: Allow member variables to be picked as input nodes.
|
2024-02-09 14:24:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
4eae191430
|
C++: Accept test changes.
|
2024-02-09 14:07:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
cd41a1ca8c
|
C++: Accept test changes.
|
2024-02-09 13:27:40 +00:00 |
|
Geoffrey White
|
25200b47ea
|
C++: Implement the namespace field.
|
2024-02-06 16:35:48 +00:00 |
|
Geoffrey White
|
a5527903e9
|
C++: Fix some mistakes in the MAD definitions for the tests.
|
2024-02-06 16:34:07 +00:00 |
|
Geoffrey White
|
7514037464
|
C++: Add test cases for MAD sources, sinks and summaries in namespaces.
|
2024-02-06 12:12:28 +00:00 |
|
Geoffrey White
|
e0d70e3008
|
C++: Resolve the TODO / unwanted change in shared code and get more results.
|
2024-01-24 18:09:34 +00:00 |
|
Geoffrey White
|
a727255a82
|
C++: Add a couple more test cases and correct test models again.
|
2024-01-24 15:18:49 +00:00 |
|
Geoffrey White
|
963e0a730d
|
C++: Fix some off-by-one mistakes in the test.
|
2024-01-18 17:38:32 +00:00 |
|
Geoffrey White
|
017369c6f2
|
C++: Remove redundant import (identified by QL-for-QL).
|
2024-01-18 15:59:32 +00:00 |
|
Geoffrey White
|
833165f86c
|
C++: Update the (synthetic) test.
|
2024-01-18 13:24:57 +00:00 |
|
Geoffrey White
|
9611e4ce19
|
C++: Add tests for (synthetic) models-as-data sources and sinks.
|
2024-01-18 13:01:16 +00:00 |
|