Author:
Feng Yu,Wang Xinyu,Dillig Isil,Dillig Thomas
Publisher
Springer International Publishing
Reference31 articles.
1. Ashes benchmark suite.
http://www.sable.mcgill.ca/software/
#ashessuitecollection
2. Dacapo benchmarks.
http://www.dacapobench.org/
3. Chatterjee, R., Ryder, B.G., Landi, W.A.: Relevant context inference (1999)
4. Cheng, B.-C., Hwu, W.-M.W.: Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. In: PLDI (2000)
5. Lecture Notes in Computer Science;L Moura de,2008
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Better Not Together: Staged Solving for Context-Free Language Reachability;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware and Path-Sensitive Typestate Analysis;ACM Transactions on Computer Systems;2024-09-06
3. Seneca: Taint-Based Call Graph Construction for Java Object Deserialization;Proceedings of the ACM on Programming Languages;2024-04-29
4. Compositional Taint Analysis for Enforcing Security Policies at Scale;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11