Scaling Codestral from 7B to 33B Parameters Reduces False Positives in Vulnerability Detection

Abstract

Abstract: This report synthesises findings from 11 peer-reviewed papers addressing the following research question: How does scaling Codestral from 7B to 33B parameters affect false positive rates in vulnerability detection across the Big-Vul dataset. Software vulnerabilities can cause numerous problems, including crashes, data loss, and security breaches. These issues greatly compromise quality and can negatively impact the market adoption of software applications and systems. 14 claims were extracted from source literature; 10 were independently verified against retrieved documents. An automated multi-reviewer quality assessment produced a score of 7.1/10. This report is a machine-generated literature synthesis and does not constitute original research.

Research Question

How does scaling Codestral from 7B to 33B parameters affect false positive rates in vulnerability detection across the Big-Vul dataset?

Verification Level

Descriptive public verification status only; aggregate claim counts are public, but individual claim records are not exposed here.

Truth-Engine Gate Verdict

This record has not completed Gate 2 of the verification pipeline (a type-checked Lean4 proof for mathematical claims, or a sealed-sandbox reproduction for empirical claims). It is a literature synthesis only. VERIFIED requires an attached reproducible artifact (Lean4 proof source, or repro script and results) before this status can be set; it is not derived from review score or claim count.

Quality Tier

Descriptive public triage only; this tier does not alter current publication or DOI behavior.

Quality Dimensions

Automated triage signals derived from public fields; not human peer review or independent validation.

Correction Record

Public corrections are additive records. Current status does not claim the synthesis is error-free.

Provenance