Mark M

> The create_func should then assert you are creating it at address zero. i'm not sure about this. while yes, technically there is strictly 1 function, beginning at 0x0 in...

Some information to include - [x] what is this repo about? - [x] brief descriptions of each of the vulns - [ ] maybe some toolchain tips on how to...

I haven't really looked in much detail but just based on the error message maybe the machine ran out of memory? On Sun, Apr 21, 2019 at 7:48 PM Gustavo...

I believe the underlying issue is due to the file being `-pie`. possibly also related to it being a .so

[heap0.zip](https://github.com/trailofbits/manticore/files/1115998/heap0.zip)

Now I get something like this ``` 017-06-30 13:29:38,827: [3674] PLATFORM:DEBUG: sys_brk(0x00000000) -> 0x56558000 017-06-30 13:29:39,737: [3674] PLATFORM:DEBUG: sys_newuname(...) -> Linuxubuntu4.4.0-77-generic#98 SMP Fri Jun 30 13:29:39 ART 2017i386 017-06-30 13:29:39,864:...

sounds like a tall order :) we will need to figure out syntax, calling convention, new instructions we will need, maybe have to add an idea of stack?

yeah pretty much

I guess this doesn't really make sense since bf is so minimal. My initial thoughts were for this use case: you have a brainfuck program and you want to get...

Thanks for the bug report! I never used this much with binary files. Unfortunately this software is unmaintained, and I am unable to help debug or create a fix right...