lambda2023 Goto Github PK

ilf

AI based fuzzer based on imitation learning

ir-fuzz

Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS 2022 Accepted).

ityfuzz

Blazing Fast Hybrid Fuzzer for Smart Contracts

komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone

manticore

Symbolic execution tool

my-uniswap-v2-core

Uniswap V2

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

octopus

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

picus

Symbolic Virtual Machine for Automated R1CS Verification

pl-compiler-resource

程序语言与编译技术相关资料（持续更新中）

pok

POK kernel. Safe and secure for safety-critical systems.

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

raspberry

runtimeverification-verified-smart-contracts

securify2

Securify v2.0

serval

sfuzz

slither

Static Analyzer for Solidity

smack

SMACK Software Verifier and Verification Toolchain

smart-contracts

smartcodeasg

A python implementation of Toward Vulnerability Detection for Ethereum Smart Contracts Using Graph-Matching Network

solidity

Solidity, the Smart Contract Programming Language

spotbugs

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

symcc

SymCC: efficient compiler-based symbolic execution

sysevr

teether

theseus

A modern experimental OS written from scratch in Rust to explore novel OS structure and state management techniques.

tlsf

top-blockchain-paper

Top Blockchain paper, such as CCS, NSDI, S&P, EuroS&P, INFOCOM, etc.