KeY Theorem Prover for Deductive Java Verification

Python logging made (stupidly) simple

A dynamic checker for the ECF property incorporated into geth

SOChecker is dedicated to detecting vulnerabilities in smart contract code snippets from Q&A forums like Stack Overflow.

RetDec is a retargetable machine-code decompiler based on LLVM.

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

The objective of this repository is to show proofs of concept related to vulnerabilities in solana blockchain that are mentioned in many reports but are not exemplified at the code level.

Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.

Automated Vulnerability Detection for Solana Smart Contracts

Horn Clause Constraint Solving for Liquid Types

A complete collection of all the Solana programming resources available for developers.

A compilation of solana security resources.

A collection of resources to study Solana smart contract security, auditing, and exploits.

☠️ Common Security Exploits and Protections on Solana

Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

Reproduce DeFi hacked incidents using Foundry.

WTF Solidity 极简入门教程，供小白们使用。Now supports English! 官网: https://wtf.academy

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Static Analyzer for Solidity and Vyper

Optimized Solidity snippets.

Liquid Types For Haskell

Open source static race detector for Go programs

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.