Selective Context-Sensitivity for k-CFA with CFL-Reachability-Reference-Cited by-同舟云学术

Selective Context-Sensitivity for k-CFA with CFL-Reachability

Published:2021 Issue: Volume: Page:261-285
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Lu Jingbo,He Dongjie,Xue Jingling

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-88806-0_13

Reference33 articles.

1. Lecture Notes in Computer Science;K Ali,2012

2. Lecture Notes in Computer Science;K Ali,2013

3. Andersen, L.O.: Program analysis and specialization for the C programming language. Ph.D. thesis, University of Copenhagen, Copenhagen (1994)

4. Blackburn, S.M., et al.: The DaCapo benchmarks: Java benchmarking development and analysis. In: Proceedings of the 21st annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications(OOPSLA 2006), pp. 169–190. ACM Press, New York, October 2006. http://doi.acm.org/10.1145/1167473.1167488

5. Bodden, E., Sewe, A., Sinschek, J., Oueslati, H., Mezini, M.: Taming reflection: aiding static analysis in the presence of reflection and custom class loaders. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 241–250. ACM (2011)

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

1. Scaling Type-Based Points-to Analysis with Saturation;Proceedings of the ACM on Programming Languages;2024-06-20

2. A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction;Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction;2024-02-17

3. A Cocktail Approach to Practical Call Graph Construction;Proceedings of the ACM on Programming Languages;2023-10-16

4. A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis;Proceedings of the ACM on Programming Languages;2023-10-16

5. Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11