Re: [klee-dev] klee can't handle when the constant is a statement label, how to solve this problem?

Hi, this is due to KLEE lacking support for the indirectbr instruction and blockaddress constants. I added them to https://github.com/klee/klee/issues/678, which keeps track of unhandled parts of the LLVM language. Best, Cristian On 11/05/17 04:13, Xuzhijian wrote: Hi,all,I’m sorry to

[klee-dev] klee can't handle when the constant is a statement label, how to solve this problem?

Hi,all,I'm sorry to disturb you. I had open an issue on GitHub(https://github.com/klee/klee/issues/615), Klee can't handle the constant when it is a statement label. I gave a test example before and thanks andreamattavelli gave me a solution. However, this