Displaying 2 results from an estimated 2 matches for "61a0d480".
Did you mean:
61a0d00
2013 Nov 18
0
[LLVMdev] Finding tools to solve symbolic equation in llvm
...LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20131118/61a0d480/attachment.html>
2013 Nov 18
2
[LLVMdev] Finding tools to solve symbolic equation in llvm
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