advisoryas classification.technologies2026-10-22
threadas classification.technologies2026-10-20
threadas classification.technologies2026-09-25
threadas classification.technologies2026-09-25
threadas classification.technologies2026-09-24
paperas classification.technologies2026-09-22
courseas classification.technologies2026-09-21
advisoryas classification.technologies2026-09-16
repoas classification.technologies2026-09-12
advisoryas classification.technologies2026-09-10
advisoryas classification.technologies2026-09-10
advisoryas classification.technologies2026-09-10
advisoryas classification.technologies2026-09-10
repoas classification.technologies2026-09-07
repoas classification.technologies2026-09-07
threadas classification.technologies2026-09-07
writeupas classification.technologies2026-08-26
repoas classification.technologies2026-08-21
repoas classification.technologies2026-08-12
repoas classification.technologies2026-08-10
writeupas classification.technologies2026-08-01
repoas classification.technologies2026-07-31
repoas affected products2026-07-31
Slither can analyze contracts written with Solidity >= 0.4
otheras classification.technologies2026-07-31
repoas classification.technologies2026-07-31
articleas classification.technologies2026-07-30
articleas affected products2026-07-24
Most popular smart contract language; version 0.8.35 targeted by the solidity-lean formal semantics; no formal specification exists other than the solc compiler
repoas classification.technologies2026-07-22
repoas affected products2026-07-18
Primary smart contract language audited by most listed tools
repoas classification.technologies2026-07-18
advisoryas classification.technologies2026-07-09
advisoryas classification.technologies2026-07-09
advisoryas classification.technologies2026-07-09
articleas classification.technologies2026-03-31
paperas classification.technologies
advisoryas classification.technologies