63 Commits

Author	SHA1	Message	Date
Benjamin Muskalla	f36bb8baaf	Exclude models for simpler types ... Avoid generating models for types that can't really propagate taint in a valuable way (e.g. primitivies, BigInt, ..). Keep tracking bulk-like data (e.g. char[] or byte[]).	2021-11-10 16:30:22 +01:00
Benjamin Muskalla	7a7ec06819	Simplify sink configuration	2021-11-10 16:30:20 +01:00
Benjamin Muskalla	2b2ac82fb7	Fix bug in sink detection	2021-11-10 16:30:20 +01:00
Benjamin Muskalla	c616eb1473	Fix finding more sources	2021-11-10 16:30:19 +01:00
Benjamin Muskalla	a1d8dfb524	Initial support for source models	2021-11-10 16:30:19 +01:00
Benjamin Muskalla	f9fea15a52	Initial support for capturing sink models	2021-11-10 16:30:18 +01:00
Benjamin Muskalla	364de55b8d	Support parameter->parameter flow	2021-11-10 16:30:18 +01:00
Benjamin Muskalla	cd11ef3bf6	Support outgoing taint flow from fields	2021-11-10 16:30:18 +01:00
Benjamin Muskalla	c3462be2c9	Capture argument->return value flows	2021-11-10 16:30:18 +01:00
Benjamin Muskalla	4ca006ba3d	Only expose visible innner classes	2021-11-10 16:30:18 +01:00
Benjamin Muskalla	88032afdc3	Add test for final class	2021-11-10 16:30:17 +01:00
Benjamin Muskalla	ec772fb6b2	Add support for qualifier flow	2021-11-10 16:30:17 +01:00
Benjamin Muskalla	32ef40c77b	Add scaffolding for summary model generator	2021-11-10 16:30:17 +01:00