echidna

Commit Graph

Author	SHA1	Message	Date
Emilio López	b74eb17ca5	Fix ffi test by using python instead of echo Some echo implementations don't support `-n` unfortunately.	2 years ago
Gustavo Grieco	89cbbb4f40	Allow to use the FFI cheatcode from HEVM in Echidna (#750 ) * allow ffi to be used * added allowFFI in default.yaml * implement a system call to perform a ffi * allow ffi in the etheno json, if the proper flag is used * Remove unsafePerformIO and cleanup VM creation * FFI test Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com>	2 years ago

Author

SHA1

Message

Date

Emilio López

b74eb17ca5

Fix ffi test by using python instead of echo

Some echo implementations don't support `-n` unfortunately.

2 years ago

Gustavo Grieco

89cbbb4f40

Allow to use the FFI cheatcode from HEVM in Echidna (#750 )

* allow ffi to be used

* added allowFFI in default.yaml

* implement a system call to perform a ffi

* allow ffi in the etheno json, if the proper flag is used

* Remove unsafePerformIO and cleanup VM creation

* FFI test

Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com>

2 years ago

2 Commits (dev-all-events)