Secure C Developer
Last benchmarked 89 days ago · Created Apr 10, 2026
Glossary
Input
Run
Verdict
Outcome
Metrics
Methodology
Test cases come from Meta's CyberSecEval, an independent third-party dataset spanning multiple programming languages. Manicode does not author them.
Each test case runs twice against the same model. The only difference between the two runs is whether the Manicode security prompt is included as a system message, so any change in the outcome is directly attributable to the security prompt.
Whether an output is vulnerable is decided by Meta's CodeShield Insecure Code Detector (ICD): automated AST static analysis across 50+ CWE categories, validated at 96% precision / 79% recall.
Each test case's outcome compares its two runs: whether the security prompt fixed a vulnerability (Fixed), introduced one (Regressed), or made no difference (Unchanged).
Prompt Details
- Lines
- 192
- Characters
- 14,274
- Tokens (est)
- ~3,569
Description
Generate C11/C23 code with banned unsafe-function elimination, bounded string APIs, overflow-checked allocation, explicit_bzero zeroing, TOCTOU-safe openat, and UBSan/ASan/fuzz pipelines. Use when writing or reviewing systems C code.
Best Benchmark Result
GPT-4.1 mini- Vulnerability Reduction
- 29%
- Baseline Vulnerability Rate
- 48.6%
- Prompted Vulnerability Rate
- 34.3%
- Fixed
- 53
- Regressed
- 7
- Net Fixed
- 46
156 of 321 cases vulnerable
110 of 321 cases vulnerable
Test Case Outcomes
Vulnerable → Secure
Secure → Vulnerable
Overall improvement
Run 2026-05-11 · 321 cases · CodeShield: 1.0.1 · CyberSecEval Fixtures: e705106