search for: ruwase

...orm a run-time check on the constant expression GEP to make sure it was in bounds; if it was out-of-bounds, the check had to return a rewritten pointer value that would cause a fault on dereference (this is how SAFECode permits out-of-bound pointers that are never dereferenced; see the paper by Ruwase and Lam for more details). SAFECode converted *all* constant expression GEPs into GEP instructions. It really should have converted only those that went out of bounds (which were relatively few in real programs). That's something I'll have to fix when I reintroduce BreakConstantGEPs i...

Hello, Is the SVA codebase publically available, and if so, where can I find it? Thanks. -- gregory malecha -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110627/4f816aa6/attachment.html>

Hi, Who can recommand me some books about static analysis including systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis. I want to read some basic books about the topic, Thank you! With Best Regards to you！ --------------

Hi Duncan, Why to break? I wish to analyse all the operands of getelemetptr instructions. For which I iterate over the code and get the instruction of interest by getopcode == getelementptr. But the getelementptrs in this form as in my last mail are getting away from my pass. So i wish to break it. I have a work around if breaking is not possible, but I think it may be a common requirement by

Hi John, On 25 May 2016 at 16:11, John Criswell <jtcriswel at gmail.com> wrote: > Dear Pierre, > > Stepping up a level, what is your goal in replacing calls to malloc() and > free()? Is it any different than what SAFECode, SoftBound, or ASan do? > That's a good question. I didn't knew about SoftBound until now, so thank you for the name =). Anyway here is what I

...ents to cipher_init are Breakpoint 5, cipher_init (cc=0x814ede0, cipher=0x813fc40, key=0x8189480 "?\2110\231?%\210??d?\222zv\236?6QO]", keylen=16, iv=0x8189420 "nf?^'oQo?V???????\f?W", ivlen=16, encrypt=1) at cipher.c:224 Below is the output i obtained running directly [tjruwase at speedracer openssh-3.2.2p1]$ ./ssh tjruwase at minnow Bounds Checking GCC v gcc-3.0-3.0 Copyright (C) 1995 Richard W.M. Jones Bounds Checking comes with ABSOLUTELY NO WARRANTY. For details see file `COPYING' that should have come with the source to this program. Bounds Checking is free softw...