VEXEngine: Terminate the execution of a block as soon as a conditional branch is taken.

[ltfish]

Thanks @man0lis for reporting this issue.

[rhelmot]

Can you explain what this fixes? I though producing successors with false guards was a feature.

[ltfish]

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 it wasn't implemented until today.

[rhelmot]

I'm very sure it worked after the refactor... I've seen a lot of people being glad it exists recently. A lot of people implement static analysis using symbolic execution

[ltfish]

@zardus A gentle ping?

[twizmwazin]

@zardus