Author:
Li Lian,Cifuentes Cristina,Keynes Nathan
Cited by
58 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. Structure-Sensitive Pointer Analysis for Multi-structure Objects;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24
3. Scaling Type-Based Points-to Analysis with Saturation;Proceedings of the ACM on Programming Languages;2024-06-20
4. Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
5. Golang Defect Detection based on Value Flow Analysis;2024 9th International Conference on Electronic Technology and Information Science (ICETIS);2024-05-17