[LLVMdev] Tracing values in llvm IR

Jin Huang
Fri, 03 Jan 2014 03:32:25 -0000

Thank you , James.

But this way needs to determine whether the instruction is a LOAD/STORE
,and if I want to preserve the operations on these variables for further
dynamic symbolic execution usage(just like KLEE ,but it's a static analysis
,not dynamic),I had to backtrace instructions ,this may be not very
efficient if the operation is very complex!

-Jin Huang


2014/1/3 Jin Huang <54jin.huang at gmail.com>

> Thank You ! John and Swarup. I have already downloaded the code!
>
>
>
>
> 2014/1/3 Sahoo, Swarup Kumar <ssahoo2 at illinois.edu>
>
>  Hi Jin Huang,
>>
>> The updated Giri code is available at
https://github.com/liuml07/giri<https://github.com/liuml07/giri.>.
>> This will give you an idea of how to instrument the program to trace
>> different values. You can modify the code to achieve your goals.
>>
>> -Swarup.
>>
>>  ------------------------------
>> *From:* Criswell, John T
>> *Sent:* Thursday, January 02, 2014 2:12 PM
>> *To:* Jin Huang; llvmdev at cs.uiuc.edu; Sahoo, Swarup Kumar
>> *Subject:* Re: [LLVMdev] Tracing values in llvm IR
>>
>>   On 1/1/14 11:39 PM, Jin Huang wrote:
>>
>>  Hi, everyone.
>>
>>  I want to writing a Pass to get the variable value while the program
is
>> running ,the basic idea is to insert an STL map in the program ,and get
>> every value and address a program use ,but whether it's possible to
do this
>> by transforming the llvm IR?
>>
>>  I didn't find any useful functions to get a variable's address
in LLVM
>> IR .It seems that the IR is an SSA form and we can not get a
value's
>> address in compiling time.Is that right? But how can I dynamically get
the
>> variable's value in run time by writing a Pass ?
>>
>>
>> The giri project does dynamic tracing of values stored to and loaded
from
>> memory.  It stores the trace of memory accesses on disk because they
get
>> very large very quickly.  You can either reuse the Giri code or modify
it
>> to suit your purposes.
>>
>> Swarup, is there a place where people can download the updated Giri
code
>> that your Google Summer of Code student worked on?
>>
>> -- John T.
>>
>>
>>
>> _______________________________________________
>> LLVM Developers mailing listLLVMdev at cs.uiuc.edu
http://llvm.cs.uiuc.eduhttp://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>>
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20140103/65722b63/attachment.html>