search for: ptrcheck

i want to do something about llvm and valgrind.i have read some information about it in llvm.org. Port Valgrind <http://valgrind.org/> to use LLVM codegeneration and optimization passes instead of its own. is somebody working on it ? can you give me some addvice? is there some project like it? thank you -------------- next part -------------- An HTML attachment was scrubbed... URL:

Hi: I have been working on Valgrind [porting it to non-supported architectures] and wanted to know what you guys think of Valgrind for LLVM. I haven't thought through fully myself - so wanted to get your inputs before becoming rigid in my own opinion. Original Valgrind works on object code - translating the asm to its own IR [intermediate representation]. But for LLVM, probably putting the

...Clang with SAFECode has the following advantages over tools such as Valgrind: o) It is faster since it does not use dynamic binary translation and can optimize away some run-time checks. o) It is more accurate since it knows the boundaries of individual stack and global objects (Valgrind's ptrcheck tool needs to use heuristics to find these boundaries). o) It provides better error diagnostics that give more useful information about each memory safety violation. The current release primarily detects dereferences of pointers that are generated from buffer overflows. There are many features...

...he following advantages over tools such as > Valgrind: > > o) It is faster since it does not use dynamic binary translation and can > optimize away some run-time checks. > o) It is more accurate since it knows the boundaries of individual stack > and global objects (Valgrind's ptrcheck tool needs to use heuristics to > find these boundaries). > o) It provides better error diagnostics that give more useful > information about each memory safety violation. > > The current release primarily detects dereferences of pointers that are > generated from buffer overflows...

...when a memory safety error is detected at run-time. While the debugging tool doesn't use all of the fancy tricks we developed in our research, transformed programs still run 2.8x faster on average than Valgrind's memcheck tool (on Mac OS X) and 24x faster on average than Valgrind's ptrcheck tool (on Linux). Currently, the debugging tool does not utilize all of the results from the SAFECode research. Features such as Automatic Pool Allocation and Inter-procedural static array bounds checking are either buggy or disabled. We're working on improving the quality of the code, and...

...over tools such as >> Valgrind: >> >> o) It is faster since it does not use dynamic binary translation and can >> optimize away some run-time checks. >> o) It is more accurate since it knows the boundaries of individual stack >> and global objects (Valgrind's ptrcheck tool needs to use heuristics to >> find these boundaries). >> o) It provides better error diagnostics that give more useful >> information about each memory safety violation. >> >> The current release primarily detects dereferences of pointers that are >> generat...

...e execution of the program, either > emulating it, or instrumenting it to catch errors at runtime. We would > like to implement the detection of array bounds violation statically. First, Valgrind does not do bounds checking in its default mode; it merely finds invalid loads and stores. Its ptrcheck tool does bounds checking but is slow and can sometimes be unreliable. Second, you should actually mention that tools for dynamic array bounds checking do exist (primarily SAFECode and SoftBound). You should emphasize that you're trying to optimize the speed at which SAFECode/SoftBound in...

Dear LLVMers, I wrote a new proposal, to improve the static array bounds checking in SAFEcode, as follows: Improving static array bounds checking in SAFEcode ================================================== Objective --------- the main objective of this project is to improve the static array bounds checking engine used in SAFECode. It was written after the open project at

On Fri, Mar 30, 2012 at 11:49 AM, John Criswell <criswell at illinois.edu>wrote: > On 3/30/12 1:08 PM, Raphael Ernani Rodrigues wrote: > > Dear LLVMers, > > My name is Raphael Ernani, and I am doing my MsC at the Federal > University of Minas Gerais, Brazil. I have been using LLVM for a > while, and I would like to participate in this year's Summer of Code. >