Jeroen Ketema
|
1420f564a5
|
C++: Update expected test results
|
2024-12-03 19:18:55 +01:00 |
|
Geoffrey White
|
f479649727
|
C++: Add Boost::Asio models.
|
2024-06-04 10:21:05 +01:00 |
|
Geoffrey White
|
8a5b5d220a
|
C++: Add source/sink test cases for Boost::Asio.
|
2024-06-04 10:21:05 +01:00 |
|
Geoffrey White
|
13734d4e62
|
C++: Improve indirectionForModelledFunction.
|
2024-04-09 12:06:03 +01:00 |
|
Geoffrey White
|
70bb29581d
|
C++: Test failures.
|
2024-04-09 11:53:33 +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
|
16f9ad06ef
|
C++: Add a test for ZMQ network library sources as well.
|
2024-03-28 21:50:07 +00:00 |
|
Geoffrey White
|
dd27ef7d3c
|
C++: Add MAD source definitions for the new taint sources and update the (real) test.
|
2024-01-18 13:24:57 +00:00 |
|
Geoffrey White
|
303882350b
|
C++: Add some test cases for new (real) taint sources to be defined using models-as-data.
|
2024-01-18 13:01:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
392b2af923
|
C++: Only the second indirection of the argument should be the remote flow source.
|
2023-11-02 16:51:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
b82dfa9a21
|
C++: Fix failing test by allocating 'TFunctionInput's and 'TFunctionOutput's for more indirections. Note that we now mark two output nodes coming out of 'getaddrinfo' as a remote flow source (the first indirection and the second indirection). We'll fix that in the next commit.
|
2023-11-02 16:45:50 +00:00 |
|
Jeroen Ketema
|
2276890cec
|
C++: Rewrite inline expectation tests to use the parameterized module
|
2023-05-24 11:10:05 +02:00 |
|
Jeroen Ketema
|
3efc78ed49
|
Add default for hasOptionalResult
|
2023-05-23 12:32:11 +02:00 |
|
Jeroen Ketema
|
9228e0deed
|
C++: Rewrite local flow test to use TestSig
|
2023-05-23 12:29:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
cc0371648b
|
C++: Accept test changes.
|
2023-01-11 16:25:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
22b04af0fa
|
Merge pull request #11658 from MathiasVP/uncertain-writes
C++: Flow through uncertain writes
|
2022-12-14 15:26:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
a161dddbbf
|
C++: Accept test changes. These happen because these remote flow sources specify that the remote source is both 'isReturnValue' and 'isReturnValueDeref'.
|
2022-12-12 13:39:09 +00:00 |
|
Jeroen Ketema
|
b2091e8632
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2022-12-12 11:40:36 +01:00 |
|
Jeroen Ketema
|
ec0ce56269
|
C++: Model getaddrinfo as flow source
|
2022-12-08 19:20:11 +01:00 |
|
Jeroen Ketema
|
f35b7f8fe8
|
C++: Model scanf and fscanf as flow sources
|
2022-12-08 15:22:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
0a1097d735
|
C++: Accept test changes to 'sources-and-sinks.cpp'.
|
2022-12-08 13:17:35 +00:00 |
|
Jeroen Ketema
|
a2dac3a41e
|
C++: Move remote flow sink test and also handle local and remote sinks
|
2022-12-08 09:36:19 +01:00 |
|