similar to: [LLVMdev] Tracing values in llvm IR

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

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

You will have to insert callinst to tracing functions immediately after the value is produced, not at the entry points. Giri code has many such examples of how to do this. Thanks, Swarup. ________________________________ From: llvmdev-bounces at cs.uiuc.edu [llvmdev-bounces at cs.uiuc.edu] on behalf of Jin Huang [54jin.huang at gmail.com] Sent: Thursday, January 02, 2014 9:47 PM To: llvmdev at

Yes, the latest version can be downloaded from here https://github.com/liuml07/giri . The LLVM instrumentation code is in TracingNoGiri.cpp<https://github.com/liuml07/giri/blob/master/lib/Giri/TracingNoGiri.cpp> file and runtime code in Tracing.cpp. You may need to delete other unnecessary instrumentation code which you don't need. Thanks, Swarup. ________________________________

Dear John, Now, I want to do dynamic analysis by dynamic slicing based on LLVM. I just see that you have implemented dynamic slicing for LLVM. I also check the Giri project, and I don't find the code. I hope I can learn something from your code. I am very appreciated if you can tell me how to get the code or send me one copy. Thank you very much! Pengfei -- View this message in context:

One can use "-insert-edge-profiling" with opt to collect general metrics (frequency of function execution, frequency of basic block execution). But I'd like to record all call information. So every time a function call is made, I'd like to record [calling function name, callee function name] Is this feasible with with llvm-prof and any of the existing profiling options?

Hi all, This is a GSoC 2013 proposal for LLVM project. Please see the formatted version at here: http://pacman.cs.tsinghua.edu.cn/~liuml07/files/gsoc2013-proposal-program-slicing.pdf Program slicing has been used in many applications, the criteria of which is a pair of statement and variables. I would like to write an inter-procedural program slicing pass in LLVM, which is able to calculate C

Thanks John. I appreciate your help and I look forward to obtaining the code. A proper LLVM sub-project: No rush on this and please take your time. Thanks. - Jin -----Original Message----- From: Criswell, John T [mailto:criswell at illinois.edu] Sent: Saturday, October 08, 2011 11:58 AM To: Jinwook Shin; llvmdev at cs.uiuc.edu Subject: RE: interprocedural static backwards slicing Dear Jin,

Hi all, I had a second thought of the dynamic slicing, as well as the source code generating. Firstly, the dynamic slicing is very useful to software community (I'll illustrate more in the refined proposal later), but it's already implemented by Swarup and John Criswell from UIUC. The static slicing code has been released as Giri project in LLVM, and they would kindly release the dynamic

Thanks John for the super quick checkin. I was a little surprised here. Yesterday/today I spent some time trying to build poolalloc on my mac dev machine. Unfortunately, it failed to build [1]. Looks like the compiler can't find the header files under /usr/include/c++. I also tried to build on my linux box and saw the same problem. giri built successfully. Are you sure poolalloc builds on

On 1/22/13 12:07 PM, Sahoo, Swarup Kumar wrote: > Hi John and Silky, > > I can see a copy of 'giri' slicing project branch here http://llvm.org/viewvc/llvm-project/giri/. Though it may be little older, it will work I think. You can look at the code to see how we do the instrumentation. The giri project is supposed to contain both the static slicing code and the dynamic

On 10/9/11 12:12 AM, Jinwook Shin wrote: > Thanks John. I appreciate your help and I look forward to obtaining the code. > > A proper LLVM sub-project: No rush on this and please take your time. Thanks. Okay, I've created a new LLVM sub-project called Giri(*). It currently contains only the static backwards slicing pass. I'll add the dynamic slicing code to the project later.

Hi, 1. How can I report a bug or commit a patch to the giri progject? I doubt this central commit list is the right place. 2. Are you still maintaining the giri project any more? Thank you. L On Thu, Jun 28, 2012 at 12:49 AM, John Criswell <criswell at illinois.edu>wrote: > On 6/26/12 5:07 PM, amruth.rd wrote: > > Hello, > > > > I am curious to know if

Oh, OK. I didn't check the code. I think it only contains your flow tracking analysis code, isn't it. Our 'Giri' project was completely separate from it. Should we merge it with this or keep it as a separate project? -Swarup. ________________________________________ From: John Criswell [criswell at illinois.edu] Sent: Tuesday, January 22, 2013 12:12 PM To: Sahoo, Swarup Kumar Cc:

On 1/13/13 11:06 PM, Criswell, John T wrote: > There is code that does this for older versions of LLVM. I believe it is in the giri project in the LLVM SVN repository. I can look into more details when I get back from vacation. Swarup may also be able to provide information on the giri code. I took a quick look, and the dynamic slicing code doesn't appear to be checked into the giri

Hi John and Silky, I can see a copy of 'giri' slicing project branch here http://llvm.org/viewvc/llvm-project/giri/. Though it may be little older, it will work I think. You can look at the code to see how we do the instrumentation. Thanks, Swarup. ________________________________________ From: John Criswell [criswell at illinois.edu] Sent: Tuesday, January 22, 2013 10:29 AM To:

On 10/11/11 5:05 PM, Jinwook Shin wrote: > Thanks John for the super quick checkin. I was a little surprised here. Creating a new project was easy, and it seemed the easiest way to send the code to you. :) > > Yesterday/today I spent some time trying to build poolalloc on my mac dev > machine. Unfortunately, it failed to build [1]. Can you do a make VERBOSE=1 and send me the

Hi, I want to find the dynamic slice of a given code. Is this already implemented in LLVM?. If not which functions are there in the LLVM to do dynamic analysis.

Hi, all Is there a way of getting the basic block offset from its parent function ? What I'm trying to do is to get an execution count of each basic blocks, so I need to know the starting address of each basic blocks. Obviously we can't get the absolute address before linking the program, but the offset relative to parent function should be available so I can take it and get the function

Hello, I am curious to know if LLVM offers any passes to do interprocedural slicing, I need to eliminate most of the computations(possibly all, if they don't influence the control flow), but the control flow of the program should be maintained at all cost. I did see an optimization pass to print the CFG of a function without its body to a dot file, but I am interested in generating the