similar to: [LLVMdev] Forward/Backward Interprocedural Slicing in LLVM

Dear Jin, I've talked with Vikram, and we agree that having this code (and a dynamic backwards slicing pass that Swarup and I wrote) in a publicly available SVN repository is a good thing. I'll try to get you a copy of the static slicing code some time next week (I should be able to work on it Monday morning) so that you can start working with it right away. I can work on making a

Hello John et al - I have been struggling to implement static backwards slicing with LLVM. After digging llvmdev postings for some time, I see that other people were having similar difficulties and John's got almost complete code that may be shared. May I get a copy of it, too? Better yet, it would be helpful for many other people if the code were checked in to an example directory or

Dear all, Is anyone aware of any implementation of an inter procedural slicing algorithm for LLVM? I am mostly interested in a static algorithm but a dynamic one can be helpful too. Thanks, Silviu Ganceanu Research Student, Ecole Polytechique Federale de Luasanne -------------- next part -------------- An HTML attachment was scrubbed... URL:

We have done a few class projects on static interprocedural slicing but they are all of "course project" quality. I will put you in touch with some of the students who did those, if you're interested? --Vikram Associate Professor, Computer Science University of Illinois at Urbana-Champaign http://llvm.org/~vadve On Aug 15, 2008, at 8:48 AM, Silviu-Ionut Ganceanu wrote:

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.

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,

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

On 6/26/12 5:07 PM, amruth.rd wrote: > 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

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

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

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

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

On Wed, Dec 12, 2018 at 03:03:41PM +0530, ROHIT SINGH wrote: >Thanks Martin, It’s working now. >Could you please help me with role of xml in libvirt api and what if I >don’t want use of xml in my code. >Please let me know. > Libvirt uses XML for most of the APIs. Depends what you need to do you can transform it with xmltodict or use some higher level API. I'm not sure I can

Hi, I would like to announce that we have integrated libvirt for managing KVM vms on mist.io. Mist.io is an open source project and a service that can assist you in managing your vms on a unified way, providing a simple interface for all of your infrastructure (multiple public cloud providers, OpenStack based public/private clouds, Docker servers, bare metal servers and now KVM hypervisors).

Thanks Martin for help. I will give it a shot. Regards Rohit Singh On Thu, 6 Dec 2018 at 2:55 PM, Martin Kletzander <mkletzan@redhat.com> wrote: > On Wed, Dec 05, 2018 at 09:44:17PM +0530, ROHIT SINGH wrote: > >Hi Martin, > > > >Could you please help me with below issue, I am not sure what’s wrong > here. > >Please find below code and error snippet. > >

Hi Martin, Could you please help me with below issue, I am not sure what’s wrong here. Please find below code and error snippet. Thanks for help. Code Snippet: - from __future__ import print_function import sys import libvirt SASL_USER = <username> SASL_PASS = <password> def request_cred(credentials, user_data): for credential in credentials: if credential[0] ==

On Wed, Nov 28, 2018 at 10:24:55PM +0530, ROHIT SINGH wrote: >Hi Martin, > >Could you please point me to any example codes in python present for esx? >Suppose, I have to power off and power on esx virtual machine, can i get >this code somewhere on python to develop some understanding. > https://www.mail-archive.com/libvir-list@redhat.com/msg17903.html >Actually, I am not

Dear Experts, May be the problem is still solved, however I tried to find the answer in the archives: I use: > R.version _ platform i386-pc-mingw32 arch i386 os mingw32 system i386, mingw32 status major 1 minor 7.1 year 2003 month 06 day 16

Looks like an interesting project for a number of reasons. Do you guys have a mailing list though? Cos I’ve run into a couple of installation issues that I need assistance resolving. -Daniel > On Apr 25, 2016, at 8:17 AM, Markos Gogoulos <mgogoulos@mist.io> wrote: > > Hi Daniel, > > mist.io is an open source project and a Saas for managing clouds, servers and KVM

Hi, I have just started using xapian and I may sound like a noob. I want to know how i can access the content of the document retrieved while searching. I have used the code found on this mailing list itself to index my database. #!/usr/bin/perl -w use strict; use Search::Xapian; use File::Find; my $DATABASE_DIR = '/home/rohit/Desktop/SET/DB'; my $db =