GithubHelp home page GithubHelp logo

1ultimat3 / fuzzied Goto Github PK

View Code? Open in Web Editor NEW
11.0 11.0 1.0 342 KB

Fuzzied - continuous fuzzing for smart contracts [ETHBerlin³ Submission]

HCL 1.13% Solidity 94.26% Python 4.21% Shell 0.13% Dockerfile 0.28%

fuzzied's People

Contributors

1ultimat3 avatar

Stargazers

avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar

Forkers

raks0078

fuzzied's Issues

projects/example3: echidna_test_balance

seed: 6244740752

Loaded total of 1 transactions from /src/corpus//coverage
Analyzing contract: /src/contracts/harness.sol:Harness
echidna_test_balance: failed!💥
Call sequence:
Owner()
mint(58014203325612998833140437269042601489875649091573874416053438425402052694962)

Unique instructions: 437
Unique codehashes: 1
Corpus size: 1
Seed: 6244740752

projects/example4: transfer(address,uint256)

seed: 7778929089

Loaded total of 3 transactions from /src/corpus//coverage
Analyzing contract: /src/contracts/harness.sol:Harness
resume(): passed! 🎉
balances(address): passed! 🎉
paused(): passed! 🎉
transfer(address,uint256): failed!💥
Call sequence:
transfer(0x0,1)

Owner(): passed! 🎉
AssertionFailed(..): passed! 🎉

Unique instructions: 474
Unique codehashes: 1
Corpus size: 1
Seed: 7778929089

projects/example2: echidna_no_transfer

seed: 5139017493

Loaded total of 1 transactions from /src/corpus//coverage
Analyzing contract: /src/contracts/harness.sol:Harness
echidna_no_transfer: failed!💥
Call sequence:
Owner()
resume()

Unique instructions: 309
Unique codehashes: 1
Corpus size: 1
Seed: 5139017493

projects/example1: echidna_test_balance

seed: 3703372827

Loaded total of 1 transactions from /src/corpus//coverage
Analyzing contract: /src/contracts/harness.sol:Harness
echidna_test_balance: failed!💥
Call sequence:
transfer(0x1e30e056433a672c417325eb6d075fa6c229e249,59821233955444367997432720379406765774236363604117047910615518395664331272797) Time delay: 112764 seconds Block delay: 43347

Unique instructions: 379
Unique codehashes: 1
Corpus size: 1
Seed: 3703372827

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.