Cited By
View all- Li HShi CLu JLi LXue J(2024)Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment TransformersProceedings of the ACM on Programming Languages10.1145/36898048:OOPSLA2(2633-2661)Online publication date: 8-Oct-2024
- Guo YYao PZhang CChristakis MPradel M(2024)Precise Compositional Buffer Overflow Detection via Heap DisjointnessProceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3650212.3652110(63-75)Online publication date: 11-Sep-2024
- Chen XShi YJiang ZLi YWang RDuan HWang HZhang CCalandrino JTroncoso C(2023)MTSanProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620285(841-858)Online publication date: 9-Aug-2023
- Show More Cited By