Displaying 3 results from an estimated 3 matches for "blankboy2011".
2013 Nov 18
0
[LLVMdev] Finding tools to solve symbolic equation in llvm
...9;m sure we can narrow it down or suggest something new.
Also, Ben Hardekopf & Calvin Lin have an article in CGO'11 about a
flow-sensitive pointer analysis. You might take a look and see if they used
something that might help you out.
H.
On Mon, Nov 18, 2013 at 11:31 AM, Peter Chang <blankboy2011 at gmail.com>wrote:
> 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 thi...
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
2013 Nov 13
0
[LLVMdev] How to get information from llvm's metadata
I have two questions:
1) Given the getelementPtr instruction, how can I get the field name using
metada??
eg.
%b = getelementptr inbounds %struct.T* %7, i32 0, i32 1, !dbg !31
I want get it's field name "b".
2) Given a llvm.dbg.declare, how can I get it's llvm value.
eg.
call void @llvm.dbg.declare(metadata !{i32** %r}, metadata !23), !dbg !24
I want get the Value i32**