7 Commits

Author	SHA1	Message	Date
Michael Nebel	db51604f46	Java: Promote some generated models and add some manual neutrals.	2024-08-27 13:28:05 +02:00
Tony Torralba	d786ea90a4	Java: Add more neutrals ... Adds more neutral models to help the model generator ignore certain callables. Also improves the precision of certain URL models by using synthetic fields so that the parts of a URL are tainted separately.	2024-03-26 17:31:11 +01:00
Ed Minnix	d923784ae4	Add signatures to models	2023-10-25 14:31:56 -04:00
Ed Minnix	02c98fae5f	Use hq-generated provenance	2023-10-25 14:31:55 -04:00
Ed Minnix	3b0b5e403c	Replace crypto-parameter with credentials-key	2023-10-25 14:31:55 -04:00
Ed Minnix	96d6ecb108	Fix crypto parameters	2023-10-25 14:31:53 -04:00
Ed Minnix	18661eee77	Crypto-parameter models	2023-10-25 14:31:53 -04:00