12 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
Owen Mansel-Chan	df64e0bc5f	Add neutral summary models for java.security.MessageDigest#digest	2024-03-01 14:08:31 +00: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	1edca19419	Remove redundant KeyStoreSpi models ... `java.security.KeyStoreSpi` is an abstract class. This removes its subclasses' models, and instead uses model-as-data's capability to use subclasses.	2023-10-25 14:31:54 -04:00
Ed Minnix	0612b3795a	Rename sink kind to "credentials-password" to match naming convention	2023-10-25 14:31:54 -04:00
Ed Minnix	6b94b77a0a	Remove spaces in sig field of models	2023-10-25 14:31:53 -04:00
Ed Minnix	96d6ecb108	Fix crypto parameters	2023-10-25 14:31:53 -04:00
Ed Minnix	35e19eac96	Fix password models	2023-10-25 14:31:53 -04:00
Ed Minnix	18661eee77	Crypto-parameter models	2023-10-25 14:31:53 -04:00
Ed Minnix	66486b08dc	Password models	2023-10-25 14:31:53 -04:00