search

hashgraph / hedera-smart-contracts

Contains Hedera Smart Contract Service supporting files
Apache License 2.0
38 stars 53 forks source link

Explore Manticore support #673

Closed Nana-EC closed 3 weeks ago

Nana-EC commented 7 months ago

Problem

It's unclear to what degree https://github.com/trailofbits/manticore is supported on the network

Solution

Explore https://github.com/trailofbits/manticore in a POC Capture any integration issues encountered

Alternatives

No response

Nana-EC commented 3 weeks ago

@se7enarianelabs I think the Ariane labs team did this right. Please note the merged PR that resolved this and close it. If not let's comment here what's left. Thanks

se7enarianelabs commented 3 weeks ago

@se7enarianelabs I think the Ariane labs team did this right. Please note the merged PR that resolved this and close it. If not let's comment here what's left. Thanks

In this PR (https://github.com/hashgraph/hedera-smart-contracts/pull/767), we briefly analyzed the tools MAIAN, Manticore, and Slither. It's important to note that Manticore is no longer developed or maintained.