search for: whaley

...gt; > version, even if you turn off BDD caching, etc. > > > > > > The thing you have to understand is that these context sensitive BDD > > > algorithms work okay on java, but fall down pretty badly on C/C++, > > > because it is a much bigger problem. Whaley's is just brute force, > > > and Zhu's is pretty darn complex. > > > > I was interested to see whether Whaley's algorithm really works > > particularly, given its simplicity and the claims made in the papers. > > I have implemented a tool based on...

...is actually more memory efficient than the BDD > version, even if you turn off BDD caching, etc. > > The thing you have to understand is that these context sensitive BDD > algorithms work okay on java, but fall down pretty badly on C/C++, > because it is a much bigger problem. Whaley's is just brute force, > and Zhu's is pretty darn complex. I was interested to see whether Whaley's algorithm really works particularly, given its simplicity and the claims made in the papers. > Both are amenable to the same style of offline variable optimizations > that H...

...nd used: > > /opt/rsync/bin/rsync -WHa --stats > --link-dest=/big2/200310240100_t3snap/ > /t3data/faculty/200310250100_t3snap/ /big2/200310250100_t3snap/ > > > listings for source, link-dest, and dest: > > [root@moss big2]# ls -al > /t3data/faculty/200310240100_t3snap/whaley/Thumbs.db > -rwxrwxrwx 134 root root 7168 Aug 19 2003 > /t3data/faculty/200310240100_t3snap/whaley/Thumbs.db > [root@moss big2]# ls -al /big2/200310240100_t3snap/whaley/Thumbs.db > -rwxrwxrwx 1 root root 7168 Aug 19 2003 > /big2/200310240100_t3snap/whale...

FWIW, Ben Hardekopf asked me to post this for him on the subject Regarding Whaley and Lam's BDD-based approach to context-sensitive analysis, there is a paper by the same research group (Avots et al in ICSE'05) that adapts their technique for C. The results are not very encouraging -- their system doesn't scale nearly as well for C as it did for Java. The primary dif...

...efficient than the BDD > > version, even if you turn off BDD caching, etc. > > > > The thing you have to understand is that these context sensitive BDD > > algorithms work okay on java, but fall down pretty badly on C/C++, > > because it is a much bigger problem. Whaley's is just brute force, > > and Zhu's is pretty darn complex. > > I was interested to see whether Whaley's algorithm really works > particularly, given its simplicity and the claims made in the papers. I have implemented a tool based on the Phoenix compiler framework at...

...Nowadays, the bitmap version is actually more memory efficient than the BDD version, even if you turn off BDD caching, etc. The thing you have to understand is that these context sensitive BDD algorithms work okay on java, but fall down pretty badly on C/C++, because it is a much bigger problem. Whaley's is just brute force, and Zhu's is pretty darn complex. Both are amenable to the same style of offline variable optimizations that Hardekopf, et al (Ben and a friend have been helping out with implementation of andersen's in LLVM), and that may actually make them usable for real world...

...entation of such an analysis, that trades off computational efficiency for a more precise computation of aliasing would be a beneficial addition to the LLVM project. In terms of which algorithm to actually implement, I am considering implementing a BDD based algorithm, possible candidate include: Whaley + Lam [2] which simply clones points on the call-graph to generate different contexts and then performs a context insensitive analysis. This uses BDDs to reduce memory consumption. Zhu [3] Which utilises a BDD base approach for a custom context sensitive, flow insenstitive algorithm, Were I to us...

...e a windows 2003 AD domain and a server joined to that domain. Winbind is being used as an idmap. Most everything seems to work fine. Winbind gets user info correctly: [root@samba ~]# wbinfo -u TESTDOMAIN\administrator TESTDOMAIN\guest TESTDOMAIN\support_388945a0 TESTDOMAIN\krbtgt TESTDOMAIN\swhaley TESTDOMAIN\test [root@samba ~]# wbinfo -g BUILTIN\administrators BUILTIN\users TESTDOMAIN\domain computers TESTDOMAIN\domain controllers TESTDOMAIN\schema admins TESTDOMAIN\enterprise admins TESTDOMAIN\domain admins TESTDOMAIN\domain users TESTDOMAIN\domain guests TESTDOMAIN\group policy creator o...

My environment: Ubuntu LTS 12.04, carbon (https://github.com/graphite-project/carbon) 0.9.9 installed using "pip". I just learned why when I run "pip freeze" on a system I don''t see the "carbon" package even when it installed successfully - I should run it with "PYTHONPATH=/opt/graphite/lib/ pip freeze". (ref:

We have two samba boxes using ads security in a windows domain, and would like for members of the Domain Admins group to be able to create shares on the samba boxes using the Computer Management snap-in. When I attempt to do this I get access denied errors. Is this possible, and if so, how would I go about setting it up? Here is the relevant portion from smb.conf [global] workgroup =

...s over Lapack/Blas used by Octave). You can find the whole thread at http://www.che.wisc.edu/octave/mailing-lists/help-octave/2000/ Regards, Dirk --KtpR20HXM2 Content-Type: message/rfc822 Content-Transfer-Encoding: 7bit From: "John W. Eaton" <jwe@bevo.che.wisc.edu> To: R Clint Whaley <rwhaley@cs.utk.edu> cc: help-octave@bevo.che.wisc.edu Subject: Re: ATLAS and octave Date: Wed, 9 Feb 2000 03:05:13 -0600 (CST) Here is all I did to build a copy of Octave that uses ATLAS: 1. build ATLAS 2. merge all four of the libraries that the ATLAS build creates into a single...

Hello all, I've been able to successfully set up a small network, using Samba as a PDC. I'm currently using the latest updated version of Fedora 7, and the latest version of Samba. I'm really new to DNS and WINS, so please excuse my ignorance if I've completely overlooked something. Perhaps you could point me in the right direction... My Samba server is set up as a domain

...> two. > > 4. Using a BDD cloning approach for CFL-AA doesn't make much sense, the > whole point of CFL is not having to generate explicit points-to sets if you > don't want to. Plus, followup papers and researchers have *never* been able > to reproduce the scalability of Whaley's work. > > Not to mention it's done on Java. Java is a language where doing things > like field-sensitivity always increase precision, which is not true for C. > > If you really want to attempt this, I would suggest using one of the > demand driven context-sensitive appro...

Hello John, I've finished the first version of my proposal on enhancing alias analysis. The proposal can be downloaded at http://james0zan.github.io/resource/GSoC15-Proposal-AA.pdf. I hope I've successfully justified the necessity and benefits of this project. If possible, please find some time to review it and give me some more feedbacks. Thank you very much! P.S. I'm working on

...Using a BDD cloning approach for CFL-AA doesn't make much sense, the >>> whole point of CFL is not having to generate explicit points-to sets if you >>> don't want to. Plus, followup papers and researchers have *never* been able >>> to reproduce the scalability of Whaley's work. >>> >>> Not to mention it's done on Java. Java is a language where doing things >>> like field-sensitivity always increase precision, which is not true for C. >>> >>> If you really want to attempt this, I would suggest using one of the &g...

Since upgrading from CentOS 4.3 to CentOS 5 the smbclient tar commands seem to be broken. The version on 4.3 was 3.0.10 I believe, while on 5 it is 3.0.23c-2. Here's what happens. Running the command: $ /usr/bin/smbclient \\\\host.domain.com\\backup -A /tmp/ntcredentials works fine. It connects no problem. But: $ /usr/bin/smbclient \\\\host.domain.com\\backup -A /tmp/ntcredentials -Tc