The increasing complexity of modern software systems and the widespread use of Continuous Integration and Continuous Deployment (CI/CD) pipelines have emphasized the need for intelligent and automated approaches to security-focused code reviews. Traditional static analysis tools often suffer from limited contextual understanding and high false positive rates, which reduce their effectiveness in real-world development environments. This thesis presents a practical AI-driven framework for security-focused static code review in CI/CD pipelines. The proposed system uses a reasoning model to perform static analysis across the code base, scanning each file and generating a structured JSON report containing all detected security issues. Each finding includes a detailed description, the vulnerable code snippet, and recommendations for mitigation. This work also introduces the usage of a coding agent, that applies a reasoning model to re-evaluate each issue in the full context of the code base. This agent classifies issues into true positives and false positives, and further categorizes true positives into bad design or exploitable vulnerabilities, also providing potential exploitation scenarios. By combining reasoning capabilities with static analysis, this framework enhances the accuracy, contextual awareness, and practical relevance of automated security reviews. Integrated within CI/CD pipelines, it offers developers a scalable and adaptive solution for continuous software security assurance.

The increasing complexity of modern software systems and the widespread use of Continuous Integration and Continuous Deployment (CI/CD) pipelines have emphasized the need for intelligent and automated approaches to security-focused code reviews. Traditional static analysis tools often suffer from limited contextual understanding and high false positive rates, which reduce their effectiveness in real-world development environments. This thesis presents a practical AI-driven framework for security-focused static code review in CI/CD pipelines. The proposed system uses a reasoning model to perform static analysis across the code base, scanning each file and generating a structured JSON report containing all detected security issues. Each finding includes a detailed description, the vulnerable code snippet, and recommendations for mitigation. This work also introduces the usage of a coding agent, that applies a reasoning model to re-evaluate each issue in the full context of the code base. This agent classifies issues into true positives and false positives, and further categorizes true positives into bad design or exploitable vulnerabilities, also providing potential exploitation scenarios. By combining reasoning capabilities with static analysis, this framework enhances the accuracy, contextual awareness, and practical relevance of automated security reviews. Integrated within CI/CD pipelines, it offers developers a scalable and adaptive solution for continuous software security assurance.

A Practical Framework for Security-Focused Static Code Review in CI/CD Pipelines

FAHOUD, ARWA
2024/2025

Abstract

The increasing complexity of modern software systems and the widespread use of Continuous Integration and Continuous Deployment (CI/CD) pipelines have emphasized the need for intelligent and automated approaches to security-focused code reviews. Traditional static analysis tools often suffer from limited contextual understanding and high false positive rates, which reduce their effectiveness in real-world development environments. This thesis presents a practical AI-driven framework for security-focused static code review in CI/CD pipelines. The proposed system uses a reasoning model to perform static analysis across the code base, scanning each file and generating a structured JSON report containing all detected security issues. Each finding includes a detailed description, the vulnerable code snippet, and recommendations for mitigation. This work also introduces the usage of a coding agent, that applies a reasoning model to re-evaluate each issue in the full context of the code base. This agent classifies issues into true positives and false positives, and further categorizes true positives into bad design or exploitable vulnerabilities, also providing potential exploitation scenarios. By combining reasoning capabilities with static analysis, this framework enhances the accuracy, contextual awareness, and practical relevance of automated security reviews. Integrated within CI/CD pipelines, it offers developers a scalable and adaptive solution for continuous software security assurance.
2024
A Practical Framework for Security-Focused Static Code Review in CI/CD Pipelines
The increasing complexity of modern software systems and the widespread use of Continuous Integration and Continuous Deployment (CI/CD) pipelines have emphasized the need for intelligent and automated approaches to security-focused code reviews. Traditional static analysis tools often suffer from limited contextual understanding and high false positive rates, which reduce their effectiveness in real-world development environments. This thesis presents a practical AI-driven framework for security-focused static code review in CI/CD pipelines. The proposed system uses a reasoning model to perform static analysis across the code base, scanning each file and generating a structured JSON report containing all detected security issues. Each finding includes a detailed description, the vulnerable code snippet, and recommendations for mitigation. This work also introduces the usage of a coding agent, that applies a reasoning model to re-evaluate each issue in the full context of the code base. This agent classifies issues into true positives and false positives, and further categorizes true positives into bad design or exploitable vulnerabilities, also providing potential exploitation scenarios. By combining reasoning capabilities with static analysis, this framework enhances the accuracy, contextual awareness, and practical relevance of automated security reviews. Integrated within CI/CD pipelines, it offers developers a scalable and adaptive solution for continuous software security assurance.
Static Code Review
Software Security
CI/CD
File in questo prodotto:
File Dimensione Formato  
Fahoud_Arwa.pdf

Accesso riservato

Dimensione 2.48 MB
Formato Adobe PDF
2.48 MB Adobe PDF

The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12608/98451