Pinpoint: fast and precise sparse value flow analysis for million lines of code-Reference-Cited by-同舟云学术

Pinpoint: fast and precise sparse value flow analysis for million lines of code

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:

Shi Qingkai¹,Xiao Xiao²,Wu Rongxin¹,Zhou Jinguo²,Fan Gang¹,Zhang Charles¹

Affiliation:

1. Hong Kong University of Science and Technology, China

2. Sourcebrella, China

Publisher

ACM

Link

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

Reference55 articles.

1. Alex Aiken Suhabe Bugrara Isil Dillig Thomas Dillig Brian Hackett and Peter Hawkins. 2006. The Saturn Program Analysis System. Stanford University. Alex Aiken Suhabe Bugrara Isil Dillig Thomas Dillig Brian Hackett and Peter Hawkins. 2006. The Saturn Program Analysis System. Stanford University.

2. FlowDroid

3. Calysto

4. The SLAM project

5. A few billion lines of code later

Cited by 80 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. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware and Path-Sensitive Typestate Analysis;ACM Transactions on Computer Systems;2024-09-06

3. Accelerating Static Null Pointer Dereference Detection with Parallel Computing;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24

4. DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization;Proceedings of the ACM on Software Engineering;2024-07-12

5. TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers;Proceedings of the ACM on Software Engineering;2024-07-12