Nikhil Parasaram
Nikhil Parasaram
Hi @bloodybit, It could be due to incompatibility between rust and blake2b-py, I am waiting for blake2b-py to update their libraries, meanwhile, you can try using the docker container (mythril/myth...
`Why execute_contract_creation even called in the detector scope?` The detectors are executed whenever they encounter an opcode, call_value1 exists in the stack because an instruction triggered `msg.value`(likely the payable check...
`some constraints, and if they succeeded you mark it as a solved.` Yes I append some new constraints using these values to path condition of the received global state. When...
This is the function which solves the constraints and gets the transaction sequence that satisfies those constraints: https://github.com/ConsenSys/mythril/blob/1d4e90f577702ccbfec152ad58c40cc2b7fc4a89/mythril/analysis/module/modules/suicide.py#L78
for `getwordat()`, I think you will get something like 64 bits. Add print statements to your code (or log.info if you prefer that) to check if you are getting what...
Hi, if it was quick, that means it's likely an interface/abstract contract. Run it on contracts that can be instantiated. Mythril's has a large default timeout, so it takes quite...
Can you try it with the develop version of the code and see if the issue still persists?
Did you try `v0.22.2`?
Hi @derawl , this is a different issue, can you log a bug report for this?
Hi @ShangzhiXu are you checking runtime disassembly or creation disassembly? In this case, you'd have to check runtime disassembly.