search

hashgraph / hedera-smart-contracts

Contains Hedera Smart Contract Service supporting files
Apache License 2.0
37 stars 51 forks source link

Adds Manticore tool analysis report #729

Closed nabialek-arianelabs closed 1 month ago

nabialek-arianelabs commented 2 months ago

Adds Manticore tool analysis report, and docker file. Is dependent upon: https://github.com/hashgraph/hedera-smart-contracts/pull/726/files

AlfredoG87 commented 2 months ago

What is the objective of adding manticore?

I believe that the correct output should be a report that runs automatically on a CI for every PR, is this possible?

arianejasuwienas commented 1 month ago

Replaced with: https://github.com/hashgraph/hedera-smart-contracts/pull/740