-
CollisionRepair Public
Artifact for paper "COLLISIONREPAIR: First-Aid and Automated Patching for Storage Collision Vulnerabilities in Smart Contracts"
JavaScript UpdatedMay 26, 2025 -
-
-
-
evm.codes Public
Forked from duneanalytics/evm.codesSource for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
TypeScript MIT License UpdatedOct 26, 2023 -
Tx2TXT Public
online appendix for paper "Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode"
1 UpdatedJul 24, 2023 -
echidna Public
Forked from crytic/echidnaEthereum smart contract fuzzer
Solidity GNU Affero General Public License v3.0 UpdatedJul 22, 2023 -
smart-contract-sanctuary Public
Forked from tintinweb/smart-contract-sanctuary🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
Python UpdatedApr 2, 2023 -
-
Algorithm Public
Homework in D.S NJU 2017, some notes and code both in class and some books. Example python code in book ProblemSolvingwithAlgorithmsandDataStructures
-
-
SuMo-SOlidity-MUtator Public
Forked from MorenaBarboni/SuMo-SOlidity-MUtatorJavaScript MIT License UpdatedNov 4, 2021 -
-
manticore Public
Forked from trailofbits/manticoreSymbolic execution tool
Python GNU Affero General Public License v3.0 UpdatedMar 12, 2021 -
oyente Public
Forked from enzymefinance/oyenteAn Analysis Tool for Smart Contracts
JavaScript GNU General Public License v3.0 UpdatedMar 9, 2021 -
eth-security-toolbox Public
Forked from trailofbits/eth-security-toolboxA Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
Dockerfile GNU Affero General Public License v3.0 UpdatedFeb 17, 2021 -
YesPlayMusic Public
Forked from qier222/YesPlayMusic高颜值的第三方网易云播放器，支持 Windows / macOS / Linux
Vue MIT License UpdatedFeb 15, 2021 -
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity
Python GNU Affero General Public License v3.0 UpdatedJan 28, 2021 -
-
seq2seq Public
Forked from google/seq2seqA general-purpose encoder-decoder framework for Tensorflow
Python Apache License 2.0 UpdatedOct 15, 2020 -
-
panda Public
Forked from panda-re/pandaPlatform for Architecture-Neutral Dynamic Analysis
C Other UpdatedSep 3, 2020 -
smartbugs Public
Forked from smartbugs/smartbugsSmartBugs: A Framework to Analyze Solidity Smart Contracts
Python Apache License 2.0 UpdatedAug 8, 2020 -
FART Public
Forked from hanbinglengyue/FARTART环境下自动化脱壳方案
Python Apache License 2.0 UpdatedJul 31, 2020 -
octopus Public
Forked from FuzzingLabs/octopusSecurity Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
Python MIT License UpdatedJul 21, 2020 -
AndroidMalware_2020 Public
Forked from sk3ptre/AndroidMalware_2020Popular Android malware seen in 2020
UpdatedJul 2, 2020 -
public-pentesting-reports Public
Forked from juliocesarfort/public-pentesting-reportsCurated list of public penetration test reports released by several consulting firms and academic security groups
CSS UpdatedMay 30, 2020 -
T.J. Watson Libraries for Analysis
Java Eclipse Public License 2.0 UpdatedMay 14, 2020 -
symbiotic Public
Forked from staticafi/symbioticSymbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Python MIT License UpdatedApr 23, 2020 -
{{ message }}