Mathias Vorreiter Pedersen
|
db86f6aaf9
|
C++: Fix annotation.
|
2024-12-09 13:32:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
d3dc318ba1
|
C++: Make 'GetValueAt' a value-preserving step.
|
2024-12-09 13:26:46 +00:00 |
|
Mathias Vorreiter Pedersen
|
d735a1433b
|
C++: Also flow to the return value of 'operator='.
|
2024-12-09 13:24:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
59f4b3c0db
|
C++: Get rid of the model for 'Create'.
|
2024-12-06 15:58:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
3d0a2057f6
|
C++: Fix 'BSTRToArray' stub and MaD model.
|
2024-12-06 15:46:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
66de42c576
|
C++: Fix MaD row for 'operator&' on 'CComBSTR's.
|
2024-12-06 15:33:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
6388a9af95
|
C++: Delete duplicated MaD row.
|
2024-12-06 15:31:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
f7b55e05eb
|
C++: 'Attach' is value-preserving.
|
2024-12-06 15:30:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
904db38a5f
|
C++: Add missing space between type name and '&'.
|
2024-12-06 15:29:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
d0bf3b84e4
|
C++: Add missing MaD row for move constructor.
|
2024-12-06 15:27:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
4f00e229e0
|
C++: Accept more test changes.
|
2024-12-04 13:49:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
279a30c7e8
|
C++: Make 'SetAt' a value-preserving step.
|
2024-12-04 12:52:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
c7dee4b020
|
C++: Remove more taint to POSITIONs.
|
2024-12-04 12:52:13 +00:00 |
|
Mathias Vorreiter Pedersen
|
9dc3aecf67
|
C++: Remove more taint to POSITIONs.
|
2024-12-04 12:48:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
de75e033be
|
C++: Remove taint to POSITIONs.
|
2024-12-04 12:46:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
8d035e61a3
|
C++: Fix test.
|
2024-12-04 12:33:02 +00:00 |
|
Mathias Vorreiter Pedersen
|
c3086d4ecd
|
C++: Fix models and accept test changes.
|
2024-12-03 19:13:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
3abb9049bb
|
C++: Fix testcase to reveal problematic models.
|
2024-12-03 19:06:20 +00:00 |
|
Mathias Vorreiter Pedersen
|
593e2233f8
|
C++: Update test changes after 0c8245f727.
|
2024-12-03 17:55:59 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c8245f727
|
Update cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2024-12-03 17:53:01 +00:00 |
|
Mathias Vorreiter Pedersen
|
2c58279137
|
C++: Add QLDoc to 'isClassConstructedFrom' and 'isFunctionConstructedFrom'.
|
2024-12-03 17:52:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
3c0af498db
|
C++: Fix bug introduced in an earlier commit and accept test changes. They all look good.
|
2024-11-27 19:04:25 +00:00 |
|
Mathias Vorreiter Pedersen
|
02428745bd
|
C++: Add change note.
|
2024-11-27 16:42:00 +00:00 |
|
Mathias Vorreiter Pedersen
|
19e7c37760
|
C++: Update the final test changes. Nothing exciting here.
|
2024-11-27 16:41:58 +00: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 |
|
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 |
|