Open enzoevers opened 1 year ago
https://github.com/eth-sri/securify2
Reading the articles below gives the impression that Securify2 does some interesting analysis, but that there are quite some false positives because of this.
https://github.com/eth-sri/securify2
Reading the articles below gives the impression that Securify2 does some interesting analysis, but that there are quite some false positives because of this.