Fish

This PR is breaking existing test cases. I can help debug it when I have some time.

> But the price is, it has to be used first. Is there any way for us to enforce this in angr?

Thanks a lot, @schieb ! BTW I'm thinking of redesigning & documenting `BackwardSlice` and `AnnotatedCFG` soon. The existing implementation disgusts me. It's a good time to submit PRs if you...

Thanks a lot, Andrew! Due to our recent workload, we will have to let this branch stay for a while before we can review and merge it into master. But...

It is a feature requested by fastpath mode. However, it is never needed by symbolic execution. The functionality used to exist before the major refactor. No one noticed that the...

@zardus A gentle ping?

Mind providing a test case ;) ?

@rhelmot it will fail if you remove the `stach='active'`.

Yan was in a comma last night when he was writing up this test case... so I won't blame him.

@tyb0807 Thanks for your fix! > `lsl r2, r2, #0x2`: for ARM 32-bit, `capstone` only returns 2 operands here, which is wrong imho. But as discussed with @rhelmot, it is...