[LLVMdev] Finding tools to solve symbolic equation in llvm

[Peter Chang]

Hello,

I want to do points-to anlysis in llvm IR. I want it to be path sensitive,
which means that when I print out the result, I need append the condition
for the "May" Points-to.

I plan to using symbolic execution to achieve this goal.

Are there any tools in llvm, or stand-alone tools to solve the symbolic
equation.

Thank you!

----Peter Chang
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20131118/b588abc6/attachment.html>