jiamao.xf

securify web version

1

Is Securify2 running on https://securify.chainsecurity.com/?

An error occurred after installing mythril: z3.z3types.Z3Exception: libz3.so not found.

2

## Description When I use the following command: myth --version, the following error occurs : Could not find libz3.so; consider adding the directory containing it to - your system's PATH...

Unable to register mythx account

1

1. I go to the "https://dashboard.mythx.io/#/registration" to register mythx account. 2. Then I filled in all the information, which meets the requirements, see the figure below.  3. I also...

How many kinds of Ethereum smart contract problems can be detected by OCTOPUS？

1

Hello, I am a postgraduate from Hohai University. Because I'm investigating related fields, I would like to know how many kinds of Etehereum smart contract problems OCTOPUS can detect. I...

How many smart contract problems can Oyente detect today？

6

Hello, I am a graduate student from Hohai University. I just read the paper Making smart contract smarter, and I also used Oyente, I found that the existing Oyente can...

How to decode some data without IDL files that encoding by Apache thrift TBinaryProtocol?

3

Hello colleagues from Eleme, this is Jia Mao from Ant Group. I have a question about how to use this library and would like to consult with you. I currently...

some docs like guide or quickstart?