首页|期刊导航|Computers, Materials & Continua|RAVE-Code:A Risk-Aware Verification Engine for AI-Generated Code Security Using Composite Risk Scoring and CWE-Conditioned Model Checking

RAVE-Code:A Risk-Aware Verification Engine for AI-Generated Code Security Using Composite Risk Scoring and CWE-Conditioned Model Checking

Maher Alharby Ali Alssaiari

Computers, Materials & Continua2026，Vol.89Issue(10)：P.609-628,20.

Computers, Materials & Continua2026，Vol.89Issue(10)：P.609-628,20.DOI:10.32604/cmc.2026.084639

RAVE-Code:A Risk-Aware Verification Engine for AI-Generated Code Security Using Composite Risk Scoring and CWE-Conditioned Model Checking

Maher Alharby ¹Ali Alssaiari²

作者信息

1. Department of Cybersecurity,College of Computer Science and Engineering,Taibah University,Madinah,Saudi Arabia
2. Computer Science Department,College of Science and Arts at Sharoura,Najran University,Sharurah,Saudi Arabia Scientific and Engineering Research Center,Najran University,Najran,Saudi Arabia
折叠

摘要

关键词

AI-generated code security/bounded model checking/vulnerability detection/risk prioritisation/static analysis/CWE/DevSecOps/formal verification

分类

信息技术与安全科学

引用本文复制引用

Maher Alharby,Ali Alssaiari..RAVE-Code:A Risk-Aware Verification Engine for AI-Generated Code Security Using Composite Risk Scoring and CWE-Conditioned Model Checking[J].Computers, Materials & Continua,2026,89(10):P.609-628,20.

基金项目

funded by the Deanship of Graduate Studies and Scientific Research at Najran University under the Consortium Funding Program(grant code NU/CPL/SERC/14/1918-1). （grant code NU/CPL/SERC/14/1918-1）

Computers, Materials & Continua

ISSN：1546-2218

访问量0

下载量0

段落导航