solidity
Datasets
All datasets matching “solidity”marin-starcoderdata_soliditysolidity-findings-v2
Solidity Findings Corpus (v2)
Canonical dataset of static analysis findings for smart contract security research.
Rows: 97845
Schema Version: 2
Corpus Digest: b03917ee6bcf25f713f3611269fd8a58d090dd832cd22825ca37ef1b1bce8805
Last Updated: 2026-09-27T16:17:06.760848+00:00
solidity_contract_sftsolidity-audit-instruct
solidity-audit-instruct
An instruction-tuning dataset for Solidity smart-contract security auditing,
in TRL SFT messages format. Built from
msc-smart-contract-auditing/audits-with-reasons
(config default, split train), shuffled with seed 42 and split 90/10.
Newer versions: V2
(canonical 8-class taxonomy) and V3
(verified fallback resolution). Models trained on this data:
V1 adapter ·
V2 ·
V3 ·
demo Space.
Row counts
train.jsonl: 2224 rows
eval.jsonl: 248 rows… See the full description on the dataset page: https://huggingface.co/datasets/Offlin33er/solidity-audit-instruct.solidity-audit-instruct-v2
Solidity Audit Instruct V2 — Canonical Taxonomy
V2 of Offlin33er/solidity-audit-instruct with 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)).
Split-preserving: V1's train (2,224) and test (248) rows are transformed in place —
the held-out set contains identical code to V1's, so eval numbers stay… See the full description on the dataset page: https://huggingface.co/datasets/Offlin33er/solidity-audit-instruct-v2.solidity-audit-instruct-v3
Solidity Audit Instruct V3 — Canonical Taxonomy, Full Fallback Resolution
V3 of Offlin33er/solidity-audit-instruct-v2.
Same rows, same split boundaries (2,224/248, seed 42), canonical 8-class taxonomy, with a
tier-3 verified mapping reclassifying the residual fallback labels:
fallback rows reduced 406 -> 52 (of 2,472). Every remaining
1-2 occurrence label is enumerated in taxonomy_coverage.json.
System prompt enforces the closed 8-class taxonomy verbatim.
Mapping layers: exact… See the full description on the dataset page: https://huggingface.co/datasets/Offlin33er/solidity-audit-instruct-v3.