subject:"\[klee\-dev\] Using KLEE in LLVM Pass"

Re: [klee-dev] Using KLEE in LLVM Pass

2017-07-20 Thread Dan Liew

Hi, On 19 July 2017 at 13:55, Khaled Yakdan wrote: > Hi, > > I am working on an LLVM analysis pass where I need to reason about whether > two values are equal. I am wondering if KLEE can be used for this purpose. > One idea would be to symbolically execute the given

[klee-dev] Using KLEE in LLVM Pass

2017-07-19 Thread Khaled Yakdan

Hi, I am working on an LLVM analysis pass where I need to reason about whether two values are equal. I am wondering if KLEE can be used for this purpose. One idea would be to symbolically execute the given function and then ask the solver if two expressions of interest are actually equal. Can