Bernhard Mueller

Hey, I'm happy to hear that you find the project useful! We currently rely on [ThinkGPT](https://github.com/jina-ai/thinkgpt) as the llm backend so we only support what ThinkGPT supports. No plans to...

These two are special bytes as opposed to actual instructions. `ASSERT_FAIL` is actually supposed to be an invalid instruction to cause an exception. In a recent commit I changed the...

Hi @LoCorVin, we're currently discussing possible solutions for this. Here is an example I posted on Gitter yesterday and the resulting [control flow graph](https://files.gitter.im/ConsenSys/mythril-core-dev/0zrl/graph.html). ``` pragma solidity ^0.4.17; contract Callee...

Hi @norhh, thanks for your bug report! We're currently in the process of merging laser-ethereum into [Mythril]( https://github.com/ConsenSys/mythril) & it won't need it's own test suite anymore. Should happen within...

Hey everyone, sorry for not replying, I hadn't noticed that this repo was still active :) It's very likely that the method is outdated as I've not been maintaining the...