Mathias Vorreiter Pedersen
|
f6231a37e1
|
Merge pull request #19627 from MathiasVP/generalize-bulk-generation
Bulk MAD generator: Support databases from DCA runs
|
2025-05-30 14:46:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
cb0b566588
|
C++: Put autogenerated models in the same folder structure as Rust.
|
2025-05-29 18:14:15 +01:00 |
|
Jeroen Ketema
|
ae67948a67
|
C++: Fix formatting in model files
|
2025-05-27 16:55:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
76c2d24a7e
|
C++: Add summary for ReadFileEx and accept test changes.
|
2025-05-27 12:41:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
a05ddca9c9
|
Update cpp/ql/lib/ext/Windows.model.yml
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2025-05-27 11:45:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
80229644b8
|
Update cpp/ql/lib/ext/Windows.model.yml
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2025-05-27 11:45:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
e406f27bb3
|
Update cpp/ql/lib/ext/Windows.model.yml
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2025-05-27 11:45:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
5d8bb1b5b0
|
C++: Add more Windows sources.
|
2025-05-27 11:38:00 +01:00 |
|
Jeroen Ketema
|
a77ddd7532
|
C++: Add Windows command line and environment models
|
2025-05-23 15:56:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
1d31a38362
|
C++: Regenerate the models for OpenSSL and sqlite after excluding tests in model-generation (sqlite is unaffected).
|
2025-05-16 13:53:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
560ffc0e9b
|
C++: Regenerate the models for OpenSSL and sqlite after model-generation changes.
|
2025-05-16 13:33:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
de31595cd2
|
C++: Add generated sqlite models.
|
2025-05-16 13:32:01 +01:00 |
|
Mathias Vorreiter Pedersen
|
0290b4369c
|
C++: Add generated OpenSSL models.
|
2025-05-16 13:31:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
07d8f8dd0d
|
C++: Add an empty model to prevent a warning.
|
2025-04-23 10:24:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
78697903fc
|
C++: Move ATL models to ATL namespace.
|
2025-03-14 18:43:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
7a84132a6b
|
C++: Add models and accept testcases.
|
2025-01-09 17:32:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
cda007bae7
|
C++: Fix constructor model.
|
2025-01-02 15:39:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1b997b2cb
|
C++: Make the string constructors value-preserving.
|
2025-01-02 15:25:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
b8e54627f4
|
C++: Make some of the string models taint instead of value-preserving.
|
2025-01-02 15:22:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
71ca9412b0
|
Update cpp/ql/lib/ext/CSimpleStringT.model.yml
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-01-02 14:16:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
e7773770fa
|
C++: Fix missing return value flow out of 'operator=' in lots of MaD models.
|
2024-12-23 12:00:41 +01:00 |
|
Mathias Vorreiter Pedersen
|
0acef590b1
|
C++: Add more MaD models.
|
2024-12-10 18:29:48 +00:00 |
|
Mathias Vorreiter Pedersen
|
c604c44a55
|
C++: Add CStringT model and accept tests.
|
2024-12-10 18:22:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
ba0ba15e88
|
C++: Add CSimpleStringT model and accept tests.
|
2024-12-10 18:13:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
8bdd10c0c2
|
C++: Fix spurious columns in 'CRegKey'.
|
2024-12-09 14:31:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
5f33733b6e
|
C++: Fix 'QueryValue' model.
|
2024-12-09 14:27:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
184dfc24b9
|
C++: Fix 'QueryStringValue' model.
|
2024-12-09 13:42:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
7f87a25768
|
C++: Fix 'QueryMultiStringValue' model.
|
2024-12-09 13:41:14 +00:00 |
|
Mathias Vorreiter Pedersen
|
674dbce36d
|
C++: Add taint flow through 'CRegKey::Create'.
|
2024-12-09 13:38:37 +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
|
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
|
c3086d4ecd
|
C++: Fix models and accept test changes.
|
2024-12-03 19:13:00 +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
|
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
|
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
|
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
|
300e3eaba6
|
C++: Add MaD model for 'CUrl'.
|
2024-11-27 16:41:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
74b6c9dcc7
|
C++: Add MaD model for 'CSimpleMap'.
|
2024-11-27 16:41:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
02b88d5dbd
|
C++: Add MaD model for 'CSimpleArray'.
|
2024-11-27 16:41:40 +00:00 |
|