Michael Nebel
|
12008b4b4e
|
C++: Update all test util paths to point to the new location.
|
2024-12-12 13:21:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
1266b244f5
|
Merge pull request #18136 from MathiasVP/model-active-template-library
C++: Model Microsoft's "Active Template Library"
|
2024-12-09 16:05:19 +00:00 |
|
Jeroen Ketema
|
1420f564a5
|
C++: Update expected test results
|
2024-12-03 19:18:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
d69de0cc76
|
C++: Add a MaD model for 'CRegKey' and mark query calls as local flow sources.
|
2024-11-27 16:41:57 +00:00 |
|
Mathias Vorreiter Pedersen
|
5aada39a4e
|
C++: Add failing tests for 'CRegKey'.
|
2024-11-27 16:41:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
33212da876
|
C++: Add a MaD model for 'CAtlTemporaryFile' and mark reads as local flow sources.
|
2024-11-27 16:41:53 +00:00 |
|
Mathias Vorreiter Pedersen
|
67ba85a0a3
|
C++: Add failing tests for 'CAtlTemporaryFile'.
|
2024-11-27 16:41:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
3709151353
|
C++: Add a MaD model for 'CAtlFileMappingBase' and mark reads as local flow sources.
|
2024-11-27 16:41:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
ac0599cf75
|
C++: Add a failing test with 'CAtlFileMapping'.
|
2024-11-27 16:41:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
74eae4a18d
|
C++: Add a MaD model for 'CAtlFile' and mark reads as local flow sources.
|
2024-11-27 16:41:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
dee47f2111
|
C++: Add a failing test with 'CAtlFile'.
|
2024-11-27 16:41:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
e73fccdb4a
|
C++: Add more types that we'll need for later.
|
2024-11-27 16:41:46 +00: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 |
|