7 Commits

Author	SHA1	Message	Date
Michael Nebel	169d8d5cf9	Java: All ai-generated models have been manually verified.	2023-04-13 09:21:06 +02:00
Tony Torralba	1258812428	Fix Argument[this]	2023-03-20 17:13:44 +01:00
Stephan Brandauer	b7ce0c2d96	fix: taint flow of ctor goes to Argument[-1], instead of ReturnValue	2023-03-20 17:09:48 +01:00
Stephan Brandauer	2236db43ec	sort the changed MaD declarations	2023-03-20 17:09:46 +01:00
Stephan Brandauer	ec1762e015	Update MaD Declarations after Triage	2023-03-20 17:06:37 +01:00
Michael Nebel	bc02adb400	Java: Make the corresponding rename in all the data extensions.	2022-12-14 13:48:31 +01:00
Michael Nebel	9cb5ff1cdc	Java: Add data extensions for all manual models.	2022-11-28 12:30:34 +01:00