Abstract:Abstract Many Machine Learning(ML)-based approaches have been proposed to automatically detect, localize, and repair software vulnerabilities. While ML-based methods are more effective than program analysis-based vulnerability analysis tools, few have been integrated into modern Integrated Development Environments (IDEs), hindering practical adoption. To bridge this critical gap, we propose in this article AIBugHunter , a novel Machine Learning-based software vulnerability analysis tool for C/C++ languages that is integrated into the Visual Studio Code (VS Code) IDE. AIBugHunter helps software developers to achieve real-time vulnerability detection, explanation, and repairs during programming. In particular, AIBugHunter scans through developers’ source code to (1) locate vulnerabilities, (2) identify vulnerability types, (3) estimate vulnerability severity, and (4) suggest vulnerability repairs. We integrate our previous works (i.e., LineVul and VulRepair) to achieve vulnerability localization and repairs. In this article, we propose a novel multi-objective optimization (MOO)-based vulnerability classification approach and a transformer-based estimation approach to help AIBugHunter accurately identify vulnerability types and estimate severity. Our empirical experiments on a large dataset consisting of 188K+ C/C++ functions confirm that our proposed approaches are more accurate than other state-of-the-art baseline methods for vulnerability classification and estimation. Furthermore, we conduct qualitative evaluations including a survey study and a user study to obtain software practitioners’ perceptions of our AIBugHunter tool and assess the impact that AIBugHunter may have on developers’ productivity in security aspects. Our survey study shows that our AIBugHunter is perceived as useful where 90% of the participants consider adopting our AIBugHunter during their software development. Last but not least, our user study shows that our AIBugHunter can enhance developers’ productivity in combating cybersecurity issues during software development. AIBugHunter is now publicly available in the Visual Studio Code marketplace.

Brick: A Binary Tool For Run-Time Detecting And Locating Integer-Based Vulnerability

Securing c programs by dynamic type checking

Detecting Integer Bugs Based on Static and Dynamic Program Analysis

Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs

IntFinder: automatically detecting integer bugs in x86 binary program

Research on Integer-Based Vulnerabilities：Security Model, Detecting Methods and Real- World Cases

Method for Automated Detection of Suspicious Vulnerability Related to Numerical Stability

Detecting Missing Checks for Identifying Insufficient Attack Protections

VulMatch: Binary-level Vulnerability Detection Through Signature

Intpatch: Automatically Fix Integer-Overflow-To-Buffer-Overflow Vulnerability At Compile-Time

Using Type Analysis in Compiler to Mitigate Integer-Overflow-to-buffer-overflow Threat

Towards Practical Binary Code Similarity Detection: Vulnerability Verification via Patch Semantic Analysis

Mitigating Access Control Vulnerabilities through Interactive Static Analysis.

Automatic Integer Error Repair by Proper-Type Inference

BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution)

Patch Based Vulnerability Matching for Binary Programs

VCIPR: Vulnerable Code is Identifiable When a Patch is Released (Hacker's Perspective)

AIBugHunter: A Practical tool for predicting, classifying and repairing software vulnerabilities

Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability.

SQVDT: A Scalable Quantitative Vulnerability Detection Technique for Source Code Security Assessment.

Automatic Fix for C Integer Errors by Precision Improvement