Fuzz testing / symbolic execution 🐨

ChristoferVikstroem / FaTS

An open-source repository for a smart contract implementation in the KTH course DD2485.

MIT License

1 stars 0 forks source link

Fuzz testing / symbolic execution 🐨 #14

Closed vivi365 closed 8 months ago

vivi365 commented 9 months ago

An idea is to use Echidna or Mythrill From #1

[ ] Bonus: Fuzzing/symbolic execution: the protocol has a harness for fuzzing or symbolic execution

vivi365 commented 9 months ago

/'--.._ `'-="""=-'` _..--'\
|   ~. )  _     _  ( .~   |
 \  '~/   a  _  a   \~'  /
  \  `|     / \     |`  /
   `'--\    \_/    /--'`
       .'._  J__.-'.
      / /  '-/_ `-  \
     / -"-'-.  '-.__/
     \__,-.\/     | `\
     /  ;---.  .--'   |
    |     /\'-'      /
    '.___.\   _.--;'`)