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 |
|
Mathias Vorreiter Pedersen
|
300e3eaba6
|
C++: Add MaD model for 'CUrl'.
|
2024-11-27 16:41:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
1ea879a880
|
C++: Add failing tests for 'CUrl'.
|
2024-11-27 16:41:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
74b6c9dcc7
|
C++: Add MaD model for 'CSimpleMap'.
|
2024-11-27 16:41:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
12674ea2e6
|
C++: Add failing tests with 'CSimpleMap'.
|
2024-11-27 16:41:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
02b88d5dbd
|
C++: Add MaD model for 'CSimpleArray'.
|
2024-11-27 16:41:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
029c0134eb
|
C++: Add failing tests with 'CSimpleArray'.
|
2024-11-27 16:41:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
c61395b973
|
C++: Add implicit read of the 'm_strPath' member.
|
2024-11-27 16:41:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
354361952a
|
C++: Add MaD model for 'CPathT'.
|
2024-11-27 16:41:36 +00:00 |
|
Mathias Vorreiter Pedersen
|
1a79290fd6
|
C++: Add failing tests with 'CPathT'.
|
2024-11-27 16:41:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
5f05417890
|
C++: Add MaD model for 'CComSafeArray'.
|
2024-11-27 16:41:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
e831cb5f26
|
C++: Add failing tests with 'CComSafeArray'.
|
2024-11-27 16:41:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
948be09257
|
C++: Add an taint step from object to field for 'CComBSTR's.
|
2024-11-27 16:41:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
9b004848a3
|
C++: Add MaD model for 'CComBSTR'.
|
2024-11-27 16:41:30 +00:00 |
|
Mathias Vorreiter Pedersen
|
68ee8da574
|
C++: Add failing tests with 'CComBSTR'.
|
2024-11-27 16:41:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
2b8ef5a8c8
|
C++: Add MaD model for 'CAtlList'.
|
2024-11-27 16:41:27 +00:00 |
|
Mathias Vorreiter Pedersen
|
c604a93d16
|
C++: Add failing tests with 'CAtlList'.
|
2024-11-27 16:41:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
0f8df1cd9f
|
C++: Add MaD model for 'CAtlArray'.
|
2024-11-27 16:41:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
1cd426e9f9
|
C++: Add failing tests with 'CAtlArray'.
|
2024-11-27 16:41:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
4f2cd81f9e
|
C++: Accept test changes.
|
2024-11-27 16:41:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
2c7d0dec7d
|
C++: Accept test changes.
|
2024-11-27 16:41:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
749602c982
|
C++: Add failing tests with CA2AEX and friends.
|
2024-11-27 16:41:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
f688470324
|
C++: Since isConstructedFrom only holds for templates we need to explicitly handle the case where the function (or class) is not a template.
|
2024-11-27 16:41:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
16e5fa34d1
|
C++: Add failing tests with U_STRINGorID.
|
2024-11-27 15:49:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
fe9feb900d
|
C++: We will need all these types.
|
2024-11-27 15:49:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
39b61598e9
|
C++: Accept test changes.
|
2024-11-26 13:57:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
f65f11b404
|
C++: Add a test for a somewhat embarrasing bug: MaD didn't check the function name in some cases.
|
2024-11-26 13:43:42 +00:00 |
|
Anders Schack-Mulligen
|
b556590ef8
|
Merge pull request #17663 from aschackmull/dataflow/speculative-flow
Dataflow: Add support for speculative taint flow.
|
2024-10-31 08:12:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
7c5f561724
|
C++: Accept test changes.
|
2024-10-23 13:37:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
2fd07f28f0
|
C++: Add test with missing flow.
|
2024-10-23 13:00:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
2dbf75fde9
|
C++: Accept test changes.
|
2024-10-16 14:15:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
9ea4c40ca9
|
C++: Add failing test.
|
2024-10-16 14:13:55 +01:00 |
|
Anders Schack-Mulligen
|
9ca8a27bae
|
C/C++: Accept test changes.
|
2024-10-16 14:35:22 +02:00 |
|
Mathias Vorreiter Pedersen
|
338e82064e
|
C++: Add a taint model for 'fopen' and accept test changes.
|
2024-10-09 14:40:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
201842d2f9
|
C++: Add test with missing flow through 'fopen'.
|
2024-10-09 14:39:24 +01:00 |
|
Jeroen Ketema
|
c90d0faaf6
|
C++: Fix ODR violations in dataflow tests
|
2024-10-08 20:34:20 +02:00 |
|
Tom Hvitved
|
ed9008a064
|
Update expected test output
|
2024-09-18 13:51:02 +02:00 |
|
Simon Friis Vindum
|
5950af390d
|
Merge pull request #17351 from paldepind/swap-member-data-flow
C++: Make swap member functions data-flow functions
|
2024-09-05 11:39:16 +02:00 |
|
Simon Friis Vindum
|
f066f21751
|
C++: Make swap member functions data-flow functions
|
2024-09-04 13:55:19 +02:00 |
|
Erik Krogh Kristensen
|
4258119ba3
|
Merge branch 'main' into del-deps-sep-2024
|
2024-09-04 12:43:41 +02:00 |
|
erik-krogh
|
0fdd06fff5
|
use my script to delete outdated deprecations
|
2024-09-03 20:30:58 +02:00 |
|
Simon Friis Vindum
|
037912fd2d
|
C++: Add data-flow test for realloc
|
2024-09-03 14:02:03 +02:00 |
|
Simon Friis Vindum
|
78068a488f
|
C++: Make realloc a data-flow function
|
2024-09-03 11:25:18 +02:00 |
|
Asger F
|
16c2cf24b3
|
C++: use inline annotation for missing flow
|
2024-08-26 11:53:31 +02:00 |
|
Asger F
|
d27b28d371
|
C++: update test output
This reveals that some tests were passing for the wrong reasons.
See https://github.com/github/codeql/pull/17275
|
2024-08-23 11:29:24 +02:00 |
|
Anders Schack-Mulligen
|
525b6f30e3
|
C++/C#/Java: Accept test changes.
|
2024-08-21 10:51:28 +02:00 |
|
Geoffrey White
|
bf66a787ab
|
C++: Accept test changes caused by new CLI version.
|
2024-08-06 16:45:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
ef0370b64e
|
C++: Respond to review comments.
|
2024-07-30 13:19:02 +01:00 |
|