Cited By
View all- Kozak DStancu CVojnar TWimmer CDoerfert JGrosser TLeather HSadayappan P(2025)SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate EdgesProceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization10.1145/3696443.3708932(347-361)Online publication date: 1-Mar-2025
- Li WHe DChen WXue JDoerfert JGrosser TLeather HSadayappan P(2025)Stack Filtering: Elevating Precision and Efficiency in Rust Pointer AnalysisProceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization10.1145/3696443.3708921(331-346)Online publication date: 1-Mar-2025
- Rao XSun CZeng DHuang YTan G(2025)Sliver: A Scalable Slicing-Based Verification for Information Flow SecurityIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2024.340365322:1(457-473)Online publication date: Jan-2025
- Show More Cited By