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
|
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 |
|