Author:
Xie Yichen,Chou Andy,Engler Dawson
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Precise Compositional Buffer Overflow Detection via Heap Disjointness;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Learning to Boost Disjunctive Static Bug-Finders;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. PalanTír;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07
4. Hybrid Pruning: Towards Precise Pointer and Taint Analysis;Detection of Intrusions and Malware, and Vulnerability Assessment;2022
5. An Empirical Study of Rule-Based and Learning-Based Approaches for Static Application Security Testing;Proceedings of the 15th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM);2021-10-11