muellerberndt/solfuzz muellerberndt/solfuzz

  • Stars
    star
    30
  • Rank 839,658 (Top 17 %)
  • Language
    JavaScript
  • License
    MIT License
  • Created over 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
muellerberndt/solfuzz
github

muellerberndt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.

More Repositories

1

mini-agi

MiniAGI is a simple general-purpose autonomous agent based on the OpenAI API.
Python
2,729
star
2

android_app_security_checklist

Android App Security Checklist
831
star
3

frida-detection

A couple of methods for detecting Frida on Android.
C
412
star
4

awesome-mythx-smart-contract-security-tools

A curated list of resources and tools for the MythX smart contract security API
245
star
5

apkx

One-Step APK Decompilation With Multiple Backends
Python
235
star
6

smashing-smart-contracts

Compiled writings on EVM smart contracts security analysis.
HTML
168
star
7

scrooge-mcetherface

Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically generate exploit sequences that extract ETH from vulnerable smart contracts.
Python
145
star
8

laser-ethereum

Symbolic virtual machine for Ethereum
Python
68
star
9

sabre

Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
JavaScript
60
star
10

darwin-gpt

A minimal self-replicating agent based on GPT-3.5/4
Python
58
star
11

obfuscation-metrics

Processes and metrics for assessing obfuscation effectiveness
55
star
12

rektosaurus

A test suite to check for client-side script injection on websites that display NFTs.
PostScript
53
star
13

defi-hacking-playground

All the money legos. This is not meant for production use.
Solidity
32
star
14

uncrackable_app

Mobile Crackmes
C
13
star
15

King-of-Pi

Who has the fastest algorithm for computing Pi?
Python
6
star
16

ladybug-love2d

A LÖVE port of the classic Arcade game Ladybug.
Lua
4
star
17

research2019

Links for the Research Meetup
4
star
18

vulnerable-truffle-project

JavaScript
3
star
19

mythril-ci

Mythril CI Docker
Python
3
star
20

mancala-deepq

Solving the ancient game of Mancala with deep Q learning
Python
2
star
21

memetic-natural-selection

The algorithm that creates all of Reality
1
star
22

mythx-api-curl

Shell scripts to run curl to interface with the MythX security platform (https://mythx.io)
Shell
1
star
23

solc-imports-test

1
star
24

ethereumanalysisbenchmarks.github.io

Web site to display Benchmark results see https://EthereumAnalysisBenchmarks.github.io
HTML
1
star
25

mythos-playground

Practice playground for smart contract security analysis with Mythos
1
star