7 Commits

Author	SHA1	Message	Date
Geoffrey White	838a00bbc9	Swift: Add a webview test case from a branch that didn't make it.	2023-11-06 09:44:53 +00:00
Geoffrey White	dd7f54677b	Swift: Add inline expectation tags.	2023-02-20 13:57:24 +00:00
Tony Torralba	644bc56568	Add new source and flow step related to WkWebView	2023-02-01 17:44:06 +01:00
Tony Torralba	b62ede1544	Fix issue in JsExportedSource ... Model the source as an access to the tainted field, instead of the field itself (which didn't work)	2022-10-31 12:08:03 +01:00
Tony Torralba	baf7986cfa	Rework types exported through JSContext ... Better model the JSExport protocol logic	2022-10-28 15:56:05 +02:00
Tony Torralba	48b0cc0229	Add models for JSContext and JSValue	2022-10-28 13:01:25 +02:00
Tony Torralba	81701547b2	Add taint sources for WKScriptMessage ... This is what contains externally-provided data in Webview JS-native bridges	2022-10-28 12:58:27 +02:00