simuvex
simuvex copied to clipboard
angr
[DEPRECATED] A symbolic execution engine for the VEX IR
Maybe I'm not understanding or grasping the bigger picture here, but should `posix.open` always return a new `fd` even if a file of the same name exists? As it is...
looks like they all get replaced with a standard `struct None` which contains a single int field
Hi, while working with ```pngpixel``` I have encountered this warning: ``` WARNING | 2017-03-07 06:06:32,781 | simuvex.engines.vex.engine | t28 = LDle:I8(t24) WARNING | 2017-03-07 06:06:32,782 | simuvex.engines.vex.engine | -----0x1018b20 hit...
When a breakpoint is triggered, is there a way to get a list of the basic blocks / branches executed up to that point? I know with a `Path`, we...
This is a feature requested by multiple people. I plan to do it as soon as I have time. @zardus if I put my fingers on `SimPagedMemory`, does it conflict...
I'm trying to run a binary which uses fgets to read a file in. At this point, I'm running concretely with a concrete file system as I have not yet...
Similar to #88 **with CC env** ``` ➜ ~ env CC=/usr/local/bin/gcc-6 pip install angr -I --no-cache-dir --no-binary all ... snipped ... Collecting simuvex>=6.7.1.31 (from angr) Downloading simuvex-6.7.1.31.tar.gz (188kB) 100% |████████████████████████████████|...
Hi all, I think your are already busy :), but is there any change that you would implement the following operations: ``` ERROR | 2017-02-25 06:33:06,901 | simuvex.vex.irop | Unsupported...
Hello everyone, I am currently trying to extract system calls (name, arguments, return value) from PE binaries but the only thing I am able to extract is the name and...
Line 46: ``` self.state.memory.store(where.ret_expr, write_content, size=write_length, strategy=["symbolic_nonzero", "any"], limit=str_strlen.max_null_index+1) ``` `strategy` and `limit` no longer exist. This needs fix.