Affiliation:
1. Nanjing University, China
2. University of California at Los Angeles, USA
Funder
Fundamental Research Funds for the Central Universities
Office of Naval Research
National Natural Science Foundation of China
Natural Science Foundation of Jiangsu Province
National Science Foundation
Reference82 articles.
1. [n.d.]. PTABen: a micro-benchmark suite for pointer analysis. https://github.com/SVF-tools/Test-Suite Accessed: 2020-11-17. [n.d.]. PTABen: a micro-benchmark suite for pointer analysis. https://github.com/SVF-tools/Test-Suite Accessed: 2020-11-17.
2. An overview of the saturn project
3. Parallelizing top-down interprocedural analyses
4. FlowDroid
5. Christian Borgelt. 2017. Find Frequent Item Sets with the Eclat Algorithm. http://www.borgelt.net/doc/eclat/eclat.html. Christian Borgelt. 2017. Find Frequent Item Sets with the Eclat Algorithm. http://www.borgelt.net/doc/eclat/eclat.html.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities;IEEE Transactions on Software Engineering;2023-12
2. A Cocktail Approach to Practical Call Graph Construction;Proceedings of the ACM on Programming Languages;2023-10-16
3. 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
4. DStream: A Streaming-Based Highly Parallel IFDS Framework;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Anchor
: Fast and Precise Value-flow Analysis for Containers via Memory Orientation;ACM Transactions on Software Engineering and Methodology;2023-04-26