Owner

crytic

25 indexed repositories · View on GitHub

slither
Static Analyzer for Solidity and Vyper

Python · 6362 stars
echidna
Ethereum smart contract fuzzer

Haskell · 3175 stars
building-secure-contracts
Guidelines and training material to write secure smart contracts

Solidity · 2479 stars
awesome-ethereum-security
A curated list of awesome Ethereum security references

1485 stars
evm-opcodes
Ethereum opcodes and instruction reference

1356 stars
solc-select
Manage and switch between Solidity compiler versions

Python · 816 stars
medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

Go · 486 stars
blockchain-security-contacts
Directory of security contacts for blockchain companies

401 stars
pyevmasm
Ethereum Virtual Machine (EVM) disassembler and assembler

Python · 385 stars
properties
Pre-built security properties for common Ethereum operations

Solidity · 371 stars
rattle
evm binary static analysis

Python · 365 stars
ida-evm
IDA Processor Module for the Ethereum Virtual Machine (EVM)

Python · 329 stars
crytic-compile
Abstraction layer for smart contract build systems

Python · 197 stars
caracal
Static Analyzer for Starknet smart contracts

Cairo · 147 stars
slither-action

Shell · 142 stars
fuzz-utils
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

Solidity · 115 stars
roundme

Rust · 104 stars
attacknet
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks

Go · 75 stars
tealer
Static Analyzer for Teal

Python · 63 stars
echidna-action
GitHub Action to run Echidna, the Ethereum smart contract fuzzer

Shell · 61 stars
5 more repositories live on View on GitHub

Open All

Improve parsing Open

crytic/tealer#11 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Question regarding "Lack of OnCompletion check allows to delete the app" Open

crytic/tealer#13 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Execution Path Cost Analysis Feature Suggestion Open

new analyses

crytic/tealer#48 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Execution path redundancy highlighting Open

new analyses

crytic/tealer#52 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
rekeyTo check missing checks at beginning of code Open

crytic/tealer#53 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Tealer error in check_rekey_to Open

crytic/tealer#64 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve False Positives Open

crytic/tealer#65 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer group index on paths Open

new analyses

crytic/tealer#75 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add support for TEALv6 opcodes Open

crytic/tealer#78 · 1 comment · 3 reactions · 0 assignees · Indexed Sep 15, 2026
Create benchmark of real-world attacks and large codebases Open

crytic/tealer#80 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Create source code mapping Open

crytic/tealer#81 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve support of stateful and stateless contracts Open

crytic/tealer#82 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve support for groups of transactions Open

crytic/tealer#83 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Creation of a regex system to allow querying Tealer’s API and internal information Open

crytic/tealer#84 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Replace intc, bytec instructions with int and byte instructions Open

crytic/tealer#86 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Infer groupsize on paths Open

crytic/tealer#87 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Use single instruction for semantically equivalent but syntactically different instructions Open

crytic/tealer#88 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Check if the condition for pruning is part of a larger boolean expression Open

crytic/tealer#90 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Code Patterns of False Positives for Transaction Field based detectors Open

crytic/tealer#95 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Use data flow analysis to find constraints on transaction fields in a contract Open

crytic/tealer#96 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Update output format to reduce the number of output files Open

crytic/tealer#101 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Detect call to inner transaction without a fixed fee Open

crytic/tealer#105 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Detect paths missing ClearState transaction check Open

crytic/tealer#108 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Update linter + CI Open

crytic/tealer#115 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add support for instruction "aliases" Open

crytic/tealer#119 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Recover method // push 4 bytes Open

crytic/tealer#133 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add CODEOWNERS Open

crytic/tealer#139 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add issue template Open

crytic/tealer#140 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add printer to output possible values of transaction fields in json Open

crytic/tealer#141 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Detect contracts lacking validations on asset id field of asset transfer transaction Open

crytic/tealer#147 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add printer to list methods, ids and it's args of ARC-4 application. Open

crytic/tealer#148 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Have proper tests related to "usage" Open

crytic/tealer#157 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Have a uniform output directory and filenames Open

crytic/tealer#159 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Fix execution paths generated by group-size detector Open

crytic/tealer#160 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Initial design for support of group-transactions analysis Open

crytic/tealer#165 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Code quality/project standards alignment Open

crytic/tealer#183 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
tealer detect with --exclude flag fails Open

crytic/tealer#201 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Replace set-output with file alternative Open

crytic/echidna-action#12 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Option to only have echidna installed via action Open

crytic/echidna-action#14 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add CODEOWNERS Open

crytic/echidna-action#17 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add support for `all-contracts` Open

crytic/echidna-action#18 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add support for RPC mode Open

crytic/echidna-action#19 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 15, 2026
Annotate the EIP and fork that introduced each instruction Open

crytic/evm-opcodes#4 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Split instruction table into implemented vs un-implemented instructions Open

crytic/evm-opcodes#5 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Improve gas usage annotations Open

crytic/evm-opcodes#6 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
0xb3 is missing, opcodes nearby are offset Open

crytic/evm-opcodes#15 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Etherum opcode Open

crytic/evm-opcodes#16 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
BALANCE opcode gast cost update after EIP-2929 Open

crytic/evm-opcodes#17 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Add explanation for asterisks on the gas column Open

enhancement

crytic/evm-opcodes#18 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026
Missing Transient Storage and PUSH0(0x5f) opcodes Open

crytic/evm-opcodes#24 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 15, 2026

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

crytic

Showing the newest 100

Get new issues in your inbox