16 Commits

Author	SHA1	Message	Date
Jami Cogswell	5dbb698481	Java: update open/jdbc-url sink kinds to request-forgery	2023-05-31 15:50:31 -04:00
Jami Cogswell	523feabaa2	Java: switch Netty setUri method from summary to sink; resolve conflicts	2023-04-13 09:16:18 -04:00
Michael Nebel	169d8d5cf9	Java: All ai-generated models have been manually verified.	2023-04-13 09:21:06 +02:00
Joe Farebrother	48823aec75	Fix tests and missing model after rebase	2023-03-23 14:37:32 +00:00
Joe Farebrother	56fb3d23ff	Argument[-1] -> Argument[this]	2023-03-23 14:37:32 +00:00
Joe Farebrother	9287549e93	Generate tests; fix models	2023-03-23 14:37:32 +00:00
Joe Farebrother	14f753b8cf	Use precise access paths for http headers models	2023-03-23 14:37:31 +00:00
Joe Farebrother	a476677b2b	Model more setters and constructors	2023-03-23 14:37:31 +00:00
Joe Farebrother	2fb560a170	Add more models for message decoder sources an headers fluent methods	2023-03-23 14:37:31 +00:00
Joe Farebrother	7b02616f30	Fix a model	2023-03-23 14:37:31 +00:00
Joe Farebrother	f292e85c51	Model fixes - remove ambiguity, correctly model constructors	2023-03-23 14:37:31 +00:00
Joe Farebrother	39ed5038af	Generate test cases and fix some errors in models	2023-03-23 14:37:30 +00:00
Joe Farebrother	f3882f92db	Add more netty modelling, mostly around http requests	2023-03-23 14:37:29 +00:00
Joe Farebrother	d257e32eba	Separate different packages into different files	2023-03-23 14:37:29 +00:00
Tony Torralba	1258812428	Fix Argument[this]	2023-03-20 17:13:44 +01:00
Stephan Brandauer	8f565f5023	Update MaD Declarations after Triage	2023-03-17 16:01:36 +01:00