Mathias Vorreiter Pedersen
|
fca49dde92
|
C++: Accept test changes.
|
2025-08-02 16:43:19 +01:00 |
|
Jeroen Ketema
|
f1e22687ab
|
C++: Fix ODR violations in tests
In QLtest we do not have linkage awareness, so having multiple functions with
the same name in the same test causes ODR violations.
|
2024-10-08 20:09:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
c8f3c1a798
|
C++: Accept test changes. Nothing exciting to see here.
|
2024-06-21 14:04:06 +01:00 |
|
Rasmus Wriedt Larsen
|
2451a6d3f6
|
Accept .expected changes
|
2024-05-21 14:47:42 +02:00 |
|
Mathias Vorreiter Pedersen
|
dd656d34be
|
Merge branch 'main' into break-bigstep-at-store
|
2024-04-16 15:33:21 +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 |
|
Geoffrey White
|
e29ce5f5d5
|
Merge branch 'main' into mad
|
2024-04-12 14:30:44 +01:00 |
|
Anders Schack-Mulligen
|
c355737d30
|
C++: Update expected output.
|
2024-04-12 09:20:16 +02:00 |
|
Geoffrey White
|
138975e4a8
|
C++: Add ZMQ summary models.
|
2024-04-09 18:10:15 +01:00 |
|
Geoffrey White
|
783ce48538
|
C++: Add test cases for ZMQ summary models.
|
2024-04-09 18:08:56 +01:00 |
|
Geoffrey White
|
fa26b55452
|
C++: Add models-as-data models for ZMQ networking library + wiring.
|
2024-03-28 21:50:07 +00:00 |
|
Geoffrey White
|
891f05c5ae
|
C++: Add a test for simple sinks involving ZMQ networking library.
|
2024-03-28 21:50:07 +00: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
|
377da9fa66
|
C++: Accept test changes.
|
2023-10-31 11:18:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
e8c18a3883
|
C++: Add FP in query test.
|
2023-10-31 11:17:51 +00: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 |
|
Jeroen Ketema
|
de97ae38dc
|
C++: C++: Use getAUse in getIRRepresentationOfIndirectOperand
|
2023-03-09 15:15:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
d2d91cfb29
|
C++: Accept test changes.
|
2023-03-06 11:30:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
354a12c906
|
C++: Fix queries. Since there's no longer indirect -> direct flow in
taint-tracking we need to make sure the affected sink definitions also
handle indirect flow.
|
2023-02-27 14:57:36 +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 |
|
Mathias Vorreiter Pedersen
|
7cc7675cdc
|
C++: Accept query changes. These are just deduplications.
|
2023-01-30 09:26:14 +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
|
e453c7a36e
|
C++: Accept test changes.
|
2022-12-22 10:57:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c7f57e0c4
|
C++: Accept test changes.
|
2022-11-11 11:09:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
562f052eb0
|
C++: Accept test changes.
|
2022-10-26 17:06:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
4c5953fce0
|
C++: Accept query-test changes.
|
2022-10-14 10:14:52 +02:00 |
|
Robert Marsh
|
813a8548d7
|
C++: accept test changes for globals in data flow
|
2022-06-22 16:42:42 -04:00 |
|
Geoffrey White
|
92d748e006
|
C++: Fix ODR/dbcheck issue in test.
|
2022-03-15 20:00:19 +00:00 |
|
Geoffrey White
|
d1b04b4e07
|
C++: Use asDefiningArgument() where appropriate.
|
2022-03-14 17:53:47 +00:00 |
|
Geoffrey White
|
88b7a085b0
|
C++: Make the bulk of test cases in tests.cpp more relevant.
|
2022-03-03 10:40:17 +00:00 |
|
Geoffrey White
|
07b4bf7023
|
C++: Use the same trick as in ExposedSystemData to catch a few more results.
|
2022-03-03 10:33:39 +00:00 |
|
Geoffrey White
|
6e5729c924
|
C++: Fix typo and adjust violation message wording.
|
2022-03-03 10:28:53 +00:00 |
|
Geoffrey White
|
70e4a409fd
|
C++: Add the new query to tests.
|
2022-03-02 17:56:53 +00:00 |
|
Geoffrey White
|
67aa1449ce
|
C++: Add some more test cases (moved from the private repo).
|
2022-03-02 17:23:07 +00:00 |
|
Geoffrey White
|
19718fa280
|
C++: Add a couple of new test cases.
|
2022-03-02 15:18:04 +00:00 |
|
Geoffrey White
|
da740cfa05
|
C++: Test layout.
|
2022-03-02 15:18:04 +00:00 |
|
Geoffrey White
|
6c40cda68d
|
C++: Pragmatic solution to include more sinks (plus autoformat changes).
|
2022-02-24 12:10:34 +00:00 |
|
Geoffrey White
|
703f18b82f
|
C++: Better deduplication.
|
2022-02-15 17:52:27 +00:00 |
|
Geoffrey White
|
c4d9c1d9e7
|
C++: Reduce result duplication.
|
2022-02-11 16:03:38 +00:00 |
|
Geoffrey White
|
00ba76b7e4
|
C++: Convert to IR taint tracking.
|
2022-02-11 13:00:42 +00:00 |
|
Geoffrey White
|
b0c2a144cc
|
C++: Remove no longer relevant tests.
|
2022-02-10 11:11:31 +00:00 |
|
Geoffrey White
|
20ad92a82e
|
C++: Filter noisiest sources.
|
2022-02-10 11:11:30 +00:00 |
|
Geoffrey White
|
7b5b2fdcd1
|
C++: Modernize cpp/system-data-exposure as a path-problem using IR taint, RemoteFlowSinkFunction.
|
2022-02-10 11:11:26 +00:00 |
|
Geoffrey White
|
5490809bcf
|
C++: Expand tests.
|
2022-02-10 10:43:21 +00:00 |
|