8 Commits

Author	SHA1	Message	Date
Michael Hohn	d1b8c6842d	Add kludge to setValueTaintStep to get the sanitizer to work ... To be refined...	2023-12-08 17:23:17 -08:00
Michael Hohn	301d1ca2f5	wip: another nested if() test case	2023-12-05 19:46:57 -08:00
Michael Hohn	405b3a0661	Add nested if() test. Update source locations.	2023-12-05 18:55:06 -08:00
Michael Hohn	01524f7432	Add guard to taint tracking configuration	2023-11-30 13:57:39 -08:00
Michael Hohn	813a53a054	Introduce recursive predicate in prepatation for sanitizer; add guard condition ... guard condition: if (ua.safeToWrite())...	2023-11-29 20:16:15 -08:00
Michael Hohn	1bc71c068f	Include second type-tracker based dataflow check	2023-11-29 15:21:59 -08:00
Michael Hohn	60ee4295b2	minor cleanup	2023-11-28 16:47:52 -08:00
Michael Hohn	8cdb8ef0dd	Add new example to illustrate taint propagation with def-use dataflow	2023-11-28 16:39:13 -08:00