Escaping Taint#15

Merged

ArquintL merged 1 commit intomainfrom

Sep 12, 2025

Commits on Sep 11, 2025

clarifies whether we consider taint escaping the current thread or not in the taint analysis
ArquintL
committed