SAEFUZZ: Smart Contract Vulnerability Detection through Statically Guided Evolutionary Fuzzing arxiv.org
Bytecode-level fuzzing for Ethereum contracts, with static path guidance and runtime oracles to hit deep state bugs more reliably.
trending4
01 02 Can an open-source skill actually spot Circom soundness, completeness, and privacy bugs, or is this just another judge pipeline?03 Hidden Ciphers and Where to Find Them: Static Discovery and Assessment of Cryptographic Assets in Software arxiv.orgStatic scanner maps crypto material, artifacts, and calls across code/config/deps for CBOMs and PQC triage.04 HelpNetSecurity covers Qodana 2026.2, adding PQ crypto checks for JVM code and more static-analysis boxes to tick.