Offlin33er/qwen25-coder-7b-solidity-audit-v2

Qwen2.5-Coder-7B — Solidity Audit Adapter V2 (Canonical 8-Class Taxonomy)

V2 of Offlin33er/qwen25-coder-7b-solidity-audit. Same base model and QLoRA recipe, retrained for 1 epoch on the relabeled Offlin33er/solidity-audit-instruct-v2 dataset: all finding labels normalized into 8 canonical classes (Reentrancy, Arithmetic Error, Access Control Flaw, Input Validation Error, Frontrunning / MEV, Denial of Service (DoS), Business Logic Violation, Clean (No Vulnerability)), with the system prompt rewritten to enforce the closed taxonomy verbatim.

Part of the Solidity Audit Scanner project.

A newer version exists: V3 (verified fallback resolution, best detection F1 0.986). V2 remains the best type-match config.

Evaluation — V2 vs V1 (same held-out code, n=100 stratified, greedy, seed 42)

The V2 test split is the identical code to V1's (split-preserving relabeling), so rates are directly comparable.

Read honestly:

• —The headline: type-labeling improved from 30% → 48.5% (33/68) under a stricter criterion — V2 must name the exact canonical class, V1 got credit for substring overlaps. The taxonomy normalization worked.
• —The cost: detection is no longer a flat 1.00/1.00 — V2 misses 2/70 vulnerable rows and flags 1/30 clean rows (Business Logic Violation on a token-fee constructor). V1's perfect detection was partly a dataset artifact (see the V1 card); V2's slight drop is the expected price of a tighter, closed-label output contract and is arguably more honest a number.
• —49% still means roughly half of detected findings get a coarser or adjacent canonical label. The remaining confusion concentrates where source labels were themselves ambiguous (the 406 fallback rows mapped to Business Logic by default). A human-curated mapping pass on those rows is the next lever.

Full per-row records: `eval_results.json`. Training: 139 steps (~69 min on 1× A10G), final loss 0.5489, token accuracy 0.857 — trackio dashboard.

Usage

Identical to V1 except the adapter id; the system prompt must be the V2 taxonomy prompt from the dataset card (the model was trained with it verbatim).

Limitations

Same as V1 plus: closed 8-class taxonomy trades fine-grained labels for consistency; ~406 rows (16% of vulnerable data) carry default-mapped Business Logic labels. Not a substitute for a professional audit.

Defensive security tooling: analyzes code you paste in. Only audit contracts you are authorized to review.