[klee-dev] Unhandled Vs Exec error

[Frank Busse]

Hi,


On Mon, 5 Jul 2021 16:28:41 +0530 (IST)
kmohit <kmohit at cdac.in> wrote:

> * Unhandled error  :   Unhandled intsructions hit

Currently raised when you

1) have a symbolic exception pointer (C++)
2) call an unimplemented intrinsic
3) call insertelement with symbolic index
4) call extractelement with symbolic index

> * Exec error            :   Trying to execute an unexpected
> instructions

Raised under some conditions when handling landing pads (C++, see:
Executor::serializeLandingpad).


Kind regards,

Frank