64 Commits

Author	SHA1	Message	Date
Geoffrey White	195c20cfd5	C++: Fix provenance for sources/sinks.	2024-07-16 09:33:51 +01:00
Geoffrey White	eefbb676e9	C++: Support alert provenance.	2024-07-16 09:33:48 +01:00
Geoffrey White	391816c9e7	C++: Add path graph to one of the external models tests.	2024-07-15 17:37:55 +01:00
Mathias Vorreiter Pedersen	356d928544	C++: Accept test changes.	2024-07-03 18:16:20 +01:00
Mathias Vorreiter Pedersen	4535043e90	C++: Accept test changes.	2024-06-27 20:15:58 +01:00
Mathias Vorreiter Pedersen	6513c33d26	C++: Accept test changes.	2024-06-21 14:04:02 +01:00
Geoffrey White	8acb11924d	C++: Remove redundant import.	2024-06-06 13:39:10 +01:00
Geoffrey White	7aec488d8a	C++: Permit ':' in models-as-data namespaces.	2024-06-06 12:53:42 +01:00
Geoffrey White	894497218d	Shared: Recognize 'remote-sink' in ModelValidation.qll.	2024-06-06 12:49:13 +01:00
Geoffrey White	79e9198b20	C++: An empty models-as-data namespace / type is not 'dubious' in CPP.	2024-06-04 10:21:06 +01:00
Geoffrey White	f479649727	C++: Add Boost::Asio models.	2024-06-04 10:21:05 +01:00
Geoffrey White	7e5b7346c0	C++: Add flow test cases for Boost::Asio.	2024-06-04 10:21:05 +01:00
Geoffrey White	94413c8c2e	C++: Implement YML extension models.	2024-06-03 13:49:38 +01:00
Geoffrey White	34130d50d3	C++: Add library tests for YML extension models.	2024-06-03 13:49:26 +01:00