search for: giri

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, > >...

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. ____________________...

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...

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 slicing code. It lo...

...tion 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. >> >> -------...

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: Silky Arora; llvmdev at...

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 cs.uiuc.edu; micah.villmo...

John, Thanks for your quick reply. Firstly, I'd like to employ a slicer for our benchmarking work (in one word, reducing the long-time irrelevant computing). I find the giri project and the LLVMSlicer[1]. However, the giri doesn't seem a complete implementation to me. I admit that I have not finished reading document/discussion, e.g. the previous threads in this mailing list. While the latter has no documents/comments, which is of great importance to a beginner. S...

...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 slicing too if this proposal is accepted. > > I'd like to study and enhance the Giri code to make it better. > However, I don't know the exact part to which I can contribute. I'll > ask Swarup (I cc this emai...

...ut using LLVM, > instead > of rewriting C ! > > > [1] http://docs.oracle.com/cd/E24457_01/html/E22003/ctrace.1.html > Thanx in advance, No, I don't believe there is a tool quite like that in LLVM. However, we have a research prototype dynamic backwards slicing tool called Giri written with LLVM. Giri instruments a program to record all basic block and loads/store executions in a trace file and can then use this trace to find all LLVM IR instructions that were executed in that execution of the program. You could probably enhance Giri with additional features to do w...

...n pass to print the CFG of a function without its body to a dot file, but I am interested in generating the source code which gets printed to a dot file. There are two static backwards slicing passes for LLVM. The first is a partial implementation I wrote for a course project. The code is in the giri project: svn co https://llvm.org/svn/llvm-project/giri/trunk giri The Giri code runs with an older version of LLVM and probably needs some TLC. It also only backtracks until it hits a load; additional code must be written to backtrack further to find potentially reaching stores. The second op...

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 project yet like I had originally thou...

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

...e 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 slicing too if this proposal is accepted. I'd like to study and enhance the Giri code to make it better. However, I don't know the exact part to which I can contribute. I'll ask Swarup (I cc this email to him) for help. I would...

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] S...

Hi, This is my first post on this forum so please use soft batons (-; I'm wondering if there is feature already in LLVM or clang to embed variable tracing instructions in the compiled output, so that on execution of the program, a dump of various variables values over time is generated. It's a little like the old unix program ctrace[1], but using LLVM, instead of rewriting C

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. The static slicing code works with LLVM 2.7 and the release_27 branch of the poolalloc project (the poolalloc project contains our DSA points-to analysis pass which t...

.... 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 2.7? 'cause I saw [2]. And the release_26 branch of llvm and poolalloc indeed produced a working poolalloc module on my box, though giri failed to build with llvm 2.6. By the way, llvm-gcc v.2.7 was on the PATH while the build break was happ...

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

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,