nescio007

I stumbled upon the same issue today with the `jq` version from the arch linux repositories and might be able to add some datapoints: For me, the crash occurs when...

Yes, `target-address` is the address that should receive the funds. `shellcode-address` is the address of a contract that will be executed by exploits using `CALLCODE` or `DELEGATECALL` in the context...

Hi, `solc` if installed correctly should have a `--bin` option (see https://docs.soliditylang.org/en/latest/using-the-compiler.html). The `solcjs` command line tool available from `npm` appears to be incompatible: > The commandline options of `solcjs`...

Apologies, apparently my notes were incorrect, `require` was only introduced with v0.4.10 (and the contract compiles well with v0.4.11): ``` docker run -ti ethereum/solc:0.4.11 --bin - pragma solidity ^0.4.0; contract...

Hi @chusanchen, unfortunately no, teEther should be able to find an exploit for the example. I suspect it is an issue with the interface to z3. Could you post the...

Hi, if you installed `z3-solver` using `pip` you can use ```bash pip freeze | grep z3 ``` Otherwise, `z3.get_version_string()` works from within python: ```bash python -c 'import z3;print(z3.get_version_string())' ```

Sorry, it's easy to forget that python3 is not the default for everyone yet :) Thanks for posting your z3 version, I'll see whether I can recreate your issues. In...

@semchapeu I guess you saw [SIGFLAG write-up](https://www.sigflag.at/blog/2019/writeup-ructfe2019-engine/) and the [twitter thread](https://twitter.com/hackerdom/status/1198923447650471938) already?

Hi, I noticed the same issue. For what it's worth, here is the example given in the 1982 McGregor paper ["_Backtrack Search Algorithms and the Maximal Common Subgraph Problem_"](https://onlinelibrary.wiley.com/doi/pdf/10.1002/spe.4380120103) ...

Hi @mojtaba-eshghie, could you paste the contents of the file `test.code`? It should contain the **hex-encoded bytecode** of the contract under test, not the Solidity source code.