Andrea Fioraldi

Yes, it works with angr 8 but not 9 I guess, I don't have time or desire to update this repo. If you need it, feel free to open a...

Please correct the spelling. Start with capital letters each sentence and use a proper markdown formatting.

Why not? ``` state = StateShot() symfile.set_state(state) state.memory.store(address, symbolic_item) ```

state.fs to access the filesystem plugin. I donàt get the point, StateShot returns an angr state and so you can just use the angr api (as said, state.fs is the...

If you read the angrdbg readme is easy. If you need more features for reason X, feel free to submit a PR.

Btw I found all the bugs using the dumb mode of afl-fuzz (-n) + ASan (commenting out ` printf("%s\n", file_contents);`) so, unless you insert hard to reach vulns, this is...

> I propose a slack channel. you pay? 😛

Cool!

Hi @virtuald @QiuhaoLi (the coreutils one in your case) can you give me an identifier of the bugs that you reported linking just the commit with the patch? A ticket...

yes i just put your github nick, will change asap