search for: ranjit

(ccing llvmdev) Hi Ranjit! I only ported Chris's tutorial and Gordon did the vast majority of the bindings, so they deserve most of the praise. I believe there are techniques for walking over the CFG. You can load up code using Llvm_bitreader, use things like Llvm.iter_globals, Llvm.iter_functions, and Llvm.iter_inst...

...? (b) ML bindings for functions like Instruction::getOpcode e.g. functions like val instr_of_value : llvalue -> llinstr val value_is_instr : llvalue -> bool etc. Are these available somewhere ? Even if they are not, I am happy to try to add these bindings ... Thanks!, -Ranjit. > (ccing llvmdev) Hi Ranjit! I only ported Chris's tutorial and Gordon > did the vast majority of the bindings, so they deserve most of the > praise. I believe there are techniques for walking over the CFG. You > can load up code using Llvm_bitreader, use things like > Llvm...

Ranjit, Thanks for the follow up, the open source community is incredible. Long story short, I was able to install through the repositories. Then cleaned up some other issues (tcl/tk, java and others) and did a custom install of 2.10. Which brings me to another question, when yum installed R2.11 as an...

On 2008-12-30, at 21:07, Ranjit Jhala wrote: > thanks Chris and Gordon for the fantasic infrastructure and ocaml > bindings and Erick for the prompt response! > > I'm looking to use LLVM to write program analyses for > C/C++ programs, but to use Ocaml to write the analyses. > I did see there were bindings f...

...set the cache flag to 1 for HPUX. Seems > * to have a significant performance boost when > * lstat calls on /dev access this function. > */ > (devnm(S_IFBLK, S.st_dev, dev_disk, 256, 1)<0)) return (False); > #else 913a921 > #endif Thanks, Ranjit @ HP CIFS Team

...nner said: F-Prot: file.scr Infection: W32/Mydoom.A@mm MailScanner: Windows Screensavers are often used to hide viruses (file.scr) Note: info.midascomm.com in /var/spool/MailScanner/quarantine/20040204 (message i144bFuA015949). -------------------------------------------------------------- Ranjit [ranjit@midascomm.com] Network Administration Group Midas Communication Technologies (P) Ltd. --------------------------------------------------------------

How can I tell who and when users logged in to a Samba server? The clients are a mixture of Win9x computers. I want to compile a chart of computer use by user.

Hello again (I hope it's not too much to have two questions in one day :), Currently I'm testing quota support on Linux system with kernel 2.4.18 + XFS 1.1 patch + Samba 2.2.7 (--with-quota compiled) and I went into one really unpleasant problem when accesing Samba share from Windows 2000 SP3 with Total commander 5.5. When user reach soft limit, then he'll get a warning message

Maybe this has been asked many times, but I could not find it in the list archive (in this case could someone please address me to the right thread?) I've an XP professional client (SP1) connected to a 2.2.7a samba server running on a redhat 6.2 box (kernel 2.2.22). I can log on and access samba shares, but the XP box keeps losing these connections. Log file just tell me that:

...browse/#svn%2Ftrunk%2Fsrc%2FRAInstrumentation). Finally, in the lab where I work there are six other people who work everyday with LLVM; thus, in addition to getting help in the forum, I can easily talk about my project to my colleagues. References ---------- [1] Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar. Checking Memory Safety with Blast. FASE 2005, LNCS 3442, pages 2-18, Springer-Verlag, 2005 [2] Francesco Logozzo, Manuel Fähndrich: Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. 75(9): 796-807 (2010)...

...on > ). > Finally, in the lab where I work there are six other people > who work everyday with LLVM; thus, in addition to getting help in the > forum, I can easily talk about my project to my colleagues. > > References > ---------- > > [1] Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar. > Checking Memory Safety with Blast. FASE 2005, LNCS 3442, pages 2-18, > Springer-Verlag, 2005 > > [2] ABCD: eliminating array bounds checks on demand. Rastislav Bodik > and Rajiv Gupta and Vivek Sarkar. PLDI 2000, ACM, pages 321-333 > > > _________...

...browse/#svn%2Ftrunk%2Fsrc%2FRAInstrumentation ). Finally, in the lab where I work there are six other people who work everyday with LLVM; thus, in addition to getting help in the forum, I can easily talk about my project to my colleagues. References ---------- [1] Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar. Checking Memory Safety with Blast. FASE 2005, LNCS 3442, pages 2-18, Springer-Verlag, 2005 [2] ABCD: eliminating array bounds checks on demand. Rastislav Bodik and Rajiv Gupta and Vivek Sarkar. PLDI 2000, ACM, pages 321-333 -------------- next part -------------- An HTML...

...on). > > Finally, in the lab where I work there are six other people > who work everyday with LLVM; thus, in addition to getting help in the > forum, I can easily talk about my project to my colleagues. > > References > ---------- > > [1] Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar. > Checking Memory Safety with Blast. FASE 2005, LNCS 3442, pages 2-18, > Springer-Verlag, 2005 > > [2] ABCD: eliminating array bounds checks on demand. Rastislav Bodik > and Rajiv Gupta and Vivek Sarkar. PLDI 2000, ACM, pages 321-333 > > > _________...

...n the > forum, I can easily talk about my project to my colleagues. I would drop the last sentence. Having smart colleagues is great, but it's a weak argument when trying to convince someone to hire you. > > References > ---------- > > [1] Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar. > Checking Memory Safety with Blast. FASE 2005, LNCS 3442, pages 2-18, > Springer-Verlag, 2005 > > [2] Francesco Logozzo, Manuel Fähndrich: Pentagons: A weakly > relational abstract domain for the efficient validation of array > accesses. Sci. Comput. Pro...