Author:
Chatterjee Ramkrishna,Ryder Barbara G.,Landi William A.
Cited by
93 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. Inferring Needless Write Memory Accesses on Ethereum Bytecode;Tools and Algorithms for the Construction and Analysis of Systems;2023
3. A relational shape abstract domain;Formal Methods in System Design;2021-04-24
4. Past-sensitive pointer analysis for symbolic execution;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07
5. Generalized Points-to Graphs;ACM Transactions on Programming Languages and Systems;2020-06-30