Calling-to-reference context translation via constraint-guided CFL-reachability-Reference-Cited by-同舟云学术

Calling-to-reference context translation via constraint-guided CFL-reachability

Published:2018-06-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Cai Cheng¹,Zhang Qirun²,Zuo Zhiqiang³,Nguyen Khanh¹,Xu Guoqing¹,Su Zhendong²

Affiliation:

1. University of California at Irvine, USA

2. University of California at Davis, USA

3. Nanjing University, China

Funder

National Science Foundation

Office of Naval Research

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3192366.3192378

Reference54 articles.

1. Edward E. Aftandilian and Samuel Z. Guyer. 2009. GC Assertions: Using the Garbage Collector to Check Heap Properties. In PLDI. 235– 244. 10.1145/1542476.1542503 Edward E. Aftandilian and Samuel Z. Guyer. 2009. GC Assertions: Using the Garbage Collector to Check Heap Properties. In PLDI. 235– 244. 10.1145/1542476.1542503

2. Rajeev Alur. 2007. Marrying Words and Trees. In PODS. 233–242. 10.1145/1265530.1265564 Rajeev Alur. 2007. Marrying Words and Trees. In PODS. 233–242. 10.1145/1265530.1265564

3. Analysis of recursive state machines

4. Rajeev Alur and P. Madhusudan. 2004. Visibly Pushdown Languages. In STOC. 202–211. 10.1145/1007352.1007390 Rajeev Alur and P. Madhusudan. 2004. Visibly Pushdown Languages. In STOC. 202–211. 10.1145/1007352.1007390

5. Osbert Bastani Saswat Anand and Alex Aiken. 2015. Specification Inference Using CFL Reachability. In POPL. 553–566. 10.1145/2676726.2676977 Osbert Bastani Saswat Anand and Alex Aiken. 2015. Specification Inference Using CFL Reachability. In POPL. 553–566. 10.1145/2676726.2676977

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Indexing the extended Dyck-CFL reachability for context-sensitive program analysis;Proceedings of the ACM on Programming Languages;2022-10-31

2. Eagle;ACM Transactions on Software Engineering and Methodology;2021-10-31

3. Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan;ACM Transactions on Computer Systems;2021-07

4. JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

5. Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18