Mathias Vorreiter Pedersen
|
cda629b204
|
C++: Accept test changes. Notice the consistency failure.
|
2025-01-24 20:13:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
d935e9fb0f
|
C++: Also resolve typedefs nested inside arrays.
|
2025-01-06 14:50:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
fdc305298d
|
C++: Add testcase with missing MaD support for resolving typedefs inside arrays.
|
2025-01-06 14:46:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
682dd42caa
|
C++: Accept test changes.
|
2025-01-02 16:10:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
5ccc12cea1
|
C++: Add a testcase that demonstrates the problem with MaD and typedefs.
|
2025-01-02 16:06:45 +01:00 |
|
Geoffrey White
|
1264e6e292
|
C++: Fit the function pointer tests better with what is and isn't working.
|
2024-04-09 14:57:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
e9cd2dc9e1
|
C++: Implement 'lambdaCreation' and 'lambdaCall' for models-as-data.
|
2024-04-09 14:05:32 +01:00 |
|
Geoffrey White
|
e3ce7c608b
|
C++: Fix indirection ambiguity in the test.
|
2024-04-08 18:27:51 +01:00 |
|
Geoffrey White
|
087d689997
|
C++: Additional test cases.
|
2024-04-08 18:18:30 +01:00 |
|
Geoffrey White
|
49ef677b1d
|
C++: Additional test case for function pointers.
|
2024-04-04 16:53:29 +01:00 |
|
Geoffrey White
|
db60360293
|
C++: Add a test case where a function has a MAD model *and* an implementation.
|
2024-04-02 17:50:00 +01:00 |
|
Geoffrey White
|
58737b1d7e
|
C++: We *could* support .Argument with no index, but I'm not convinced we can do so efficiently, so lets not.
|
2024-03-25 17:08:15 +00:00 |
|
Geoffrey White
|
0a33a6e79b
|
C++: Another test case - Arguments with no specified index.
|
2024-03-25 17:00:46 +00:00 |
|
Geoffrey White
|
cdafb26423
|
C++: Fix test failures.
|
2024-03-25 16:51:36 +00:00 |
|
Geoffrey White
|
88ea9197d9
|
C++: Add more tests for uncommon cases.
|
2024-03-25 11:40:15 +00:00 |
|
Geoffrey White
|
46b8e3be66
|
C++: Fix another mistake in the test.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
dec5fc0f48
|
C++: Switch MAD syntax from *Argument[0] style to Argument[*0] style.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
40270e1f70
|
C++: Fix mistake in test model.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
b598b4ac45
|
C++: Fix for field content indirection (1-based).
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
73e95d67b9
|
C++: Implement Field indirection.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
393bd7277c
|
C++: Add some negative test cases for indirection.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
af4320df50
|
C++: Modify a summary test case to only test the summary model, not a source model as well.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
14deb06e80
|
C++: Implement Argument + Parameter indirection.
|
2024-03-25 11:20:55 +00:00 |
|
Geoffrey White
|
638bfff09d
|
C++: Implement ReturnValue indirection (this version only worked with a small change to the shared library parsing to permit '*' in the token name; we no longer need this, so I rebased it out).
|
2024-03-25 11:20:09 +00:00 |
|
Geoffrey White
|
19cc620f18
|
C++: Effect of 'Fix dataflow node <> expression problem on prvalues' from main.
|
2024-03-14 09:47:38 +00:00 |
|
Geoffrey White
|
f52b6e0449
|
C++: Add more test cases for taint through qualifier fields.
|
2024-03-13 16:20:12 +00:00 |
|
Geoffrey White
|
6019a38266
|
C++: Add more test cases for indirection (4).
|
2024-03-13 16:20:08 +00:00 |
|
Geoffrey White
|
23da0c16c7
|
C++: Add more test cases for indirection (3).
|
2024-03-13 16:20:04 +00:00 |
|
Geoffrey White
|
7c4927c2e3
|
C++: Add more test cases for indirection (2).
|
2024-03-13 16:19:58 +00:00 |
|
Geoffrey White
|
fcda0c9819
|
C++: Add more test cases for indirection (1).
|
2024-03-13 15:35:28 +00:00 |
|
Geoffrey White
|
c17a36ec07
|
C++: Add more test cases for taint through qualifiers.
|
2024-03-13 15:30:13 +00:00 |
|
Geoffrey White
|
92d57ab504
|
C++: Correct some existing cases that are in fact indirect.
|
2024-03-13 15:26:21 +00:00 |
|
Geoffrey White
|
9aad43f649
|
C++: Add indirect test models.
|
2024-03-13 11:34:36 +00:00 |
|
Geoffrey White
|
cbacd51337
|
C++: Make Argument[-1] refer to *this rather than this.
|
2024-03-12 17:51:43 +00:00 |
|
Geoffrey White
|
22d5e9bbfb
|
C++: Add test cases involving pointer qualifiers.
|
2024-03-12 17:47:11 +00:00 |
|
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
|
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
|
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
|
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 |
|