Find bugs in static bug finders-Reference-Cited by-同舟云学术

Find bugs in static bug finders

Published:2022-05-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension
language:
Short-container-title:

Author:

Wang Junjie¹,Huang Yuchao¹,Wang Song²,Wang Qing¹

Affiliation:

1. University of Chinese Academy of Sciences, Beijing, China

2. York University, Canada

Funder

Youth Innovation Promotion Association Chinese Academy of Sciences

National Natural Science Foundation of China

National Key Research and Development Program of China

Publisher

ACM

Link

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

Reference71 articles.

1. 2020. https://en.wikipedia.org/wiki/camelcase. 2020. https://en.wikipedia.org/wiki/camelcase.

2. 2020. http://www.ing.iac.es/~docs/external/java/pmd/xpathruletutorial.html. 2020. http://www.ing.iac.es/~docs/external/java/pmd/xpathruletutorial.html.

3. Building Useful Program Analysis Tools Using an Extensible Java Compiler

4. Areej Algaith , Paulo Jorge Costa Nunes , José Fonseca , Ilir Gashi , and Marco Vieira . 2018 . Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools. In 14th European Dependable Computing Conference, EDCC 2018 , Iaşi, Romania, September 10--14 , 2018. IEEE Computer Society, 57--64. Areej Algaith, Paulo Jorge Costa Nunes, José Fonseca, Ilir Gashi, and Marco Vieira. 2018. Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools. In 14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10--14, 2018. IEEE Computer Society, 57--64.

5. Using Static Analysis to Find Bugs

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

1. Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Automatic dataset generation for automated program repair of bugs and vulnerabilities through SonarQube;SoftwareX;2024-05

3. SourcererJBF: A Java Build Framework For Large-Scale Compilation;ACM Transactions on Software Engineering and Methodology;2023-12-02

4. Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities;IEEE Transactions on Software Engineering;2023-12

5. Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30