This talk is proposed based on the article Detecting Information Flow Security Vulnerabilities by Analysis Coupling, published in the journal IEEE Transactions on Software Engineering (Volume: 51, Issue: 10, October 2025) RRH25. The replication package for the evaluation is publicly available on Zenodo (https://doi.org/10.5281/zenodo.15266367).
Reiche et al. (Thu,) studied this question.