Raisin: Identifying Rare Sensitive Functions for Bug Detection-Reference-Cited by-同舟云学术

Raisin: Identifying Rare Sensitive Functions for Bug Detection

Published:2024-04-12 Issue: Volume: Page:1-12
ISSN:
Container-title:Proceedings of the IEEE/ACM 46th International Conference on Software Engineering
language:
Short-container-title:

Author:

Huang Jianjun¹^ORCID,Nie Jianglei¹^ORCID,Gong Yuanjun¹^ORCID,You Wei¹^ORCID,Liang Bin¹^ORCID,Bian Pan²^ORCID

Affiliation:

1. School of Information, Renmin University of China, Beijing, China

2. Huawei Technologies CO., LTD., Beijing, China

Funder

National Natural Science Foundation of China

Fundamental Research Funds for the Central Universities and Research Funds of Renmin University of China

CCF-Huawei Populus euphratica Innovation Research Funding

Publisher

ACM

Link

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

Reference47 articles.

1. 2019. fuzzyc2cpg: A fuzzy parser for C/C++ that creates semantic code property graphs. https://github.com/ShiftLeftSecurity/fuzzyc2cpg.

2. 2023. Clang Static Analyzer. https://clang-analyzer.llvm.org/.

3. Mansour Ahmadi, Reza Mirzazade Farkhani, Ryan Williams, and Long Lu. 2021. Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code. In 30th USENIX Security Symposium, USENIX Security 2021, August 11--13, 2021, Michael Bailey and Rachel Greenstadt (Eds.). USENIX Association, 2025--2040. https://www.usenix.org/conference/usenixsecurity21/presentation/ahmadi

4. Glenn Ammons, Rastislav Bodík, and James R. Larus. 2002. Mining specifications. In Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16--18, 2002. ACM, 4--16.

5. FlowDroid