Author:
Chatterjee Ramkrishna,Ryder Barbara G.,Landi William A.
Cited by
95 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. Interactive Abstract Interpretation with Demanded Summarization;ACM Transactions on Programming Languages and Systems;2024-03-29
3. Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Inferring Needless Write Memory Accesses on Ethereum Bytecode;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. A relational shape abstract domain;Formal Methods in System Design;2021-04-24