reusable properties for ethereum contracts, by trailofbits

This commit is contained in:
steinkirch.eth 2023-03-08 10:35:04 -08:00 committed by GitHub
parent 5eef73eb5d
commit c2d0866191
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -59,3 +59,8 @@
* [another solidity vscode plugin](https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity)
<br>
##### advanced readings
* [reusable properties for ethereum contracts, by trailofbits](https://blog.trailofbits.com/2023/02/27/reusable-properties-ethereum-contracts-echidna/)