93 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	1d5d272822	C++: Add a few more models.	2025-11-06 16:55:51 +00:00
Mathias Vorreiter Pedersen	b9cd7a80f9	C++: Fix conflation in models.	2025-08-28 17:10:06 +02:00
Mathias Vorreiter Pedersen	e59de9a3d6	C++: Add models for the remaining member functions (and conversions) in ComPtr.	2025-08-28 16:56:39 +02:00
Mathias Vorreiter Pedersen	3e78572a3a	C++: Drive-by fix: Add missing '@'.	2025-08-28 16:54:49 +02:00
Mathias Vorreiter Pedersen	bebfe03166	C++: Add missing model and accept test changes.	2025-08-27 15:15:26 +02:00
Mathias Vorreiter Pedersen	96b6986660	C++: Fix duplicated entries.	2025-08-27 14:35:45 +02:00
Mathias Vorreiter Pedersen	246ed9d30b	C++: Add a model for ComPtr.	2025-08-27 14:18:12 +02:00
Mathias Vorreiter Pedersen	9d736723fb	C++: Add more Windows specific models for memcpy-like tings.	2025-07-23 13:45:20 +01:00
Mathias Vorreiter Pedersen	89cf215ebb	C++: Add models for 'std::thread' and accept test changes.	2025-07-10 12:45:20 +01:00
Mathias Vorreiter Pedersen	d198a964e0	C++: Add a model for 'pthread_create' and accept test changes.	2025-07-10 12:20:24 +01:00
Mathias Vorreiter Pedersen	e89662beb7	C++: Add glibc flow summaries.	2025-07-03 18:53:18 +01:00
Mathias Vorreiter Pedersen	f825904ee0	C++: Add flow models for 'CreateProcess' and friends.	2025-07-02 14:18:36 +01:00
Eric Bickle	32464a8995	C++: Support SQL Injection sinks for Oracle Call Interface (OCI)	2025-06-20 06:05:24 -07:00
Mathias Vorreiter Pedersen	e72fe9b88b	C++: Generate lots of new models.	2025-06-13 10:57:44 +01:00
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