search for: baggyboundscheck

...;ve also tried using addAttributes() and > setAttributes() to set the alignment to 0, but this seems to be > ignored... SAFECode clones a function to change the alignment of byval arguments. You can look at the code at http://llvm.org/viewvc/llvm-project/safecode/branches/release_32/lib/BaggyBoundsChecks/BaggyBoundsChecks.cpp?revision=177641&view=markup. Note that the code works with LLVM 3.2. -- John T. > > Any help on this? :) > > Thanks, > Ralf > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://...

Hi, I am again struggling to find my way around the Attribute classes. What I want to do is clone a function into a declaration where some parameters may have a different alignment. CloneFunctionInto in debug mode hits an assertion which is marked with a FIXME (Attributes.cpp:673). I would be totally fine with any kind of workaround, e.g. removing all attributes from the target declaration,

...ddAttributes() and >> setAttributes() to set the alignment to 0, but this seems to be >> ignored... > > SAFECode clones a function to change the alignment of byval arguments. > You can look at the code at > http://llvm.org/viewvc/llvm-project/safecode/branches/release_32/lib/BaggyBoundsChecks/BaggyBoundsChecks.cpp?revision=177641&view=markup. > > > Note that the code works with LLVM 3.2. > > -- John T. > >> >> Any help on this? :) >> >> Thanks, >> Ralf >> _______________________________________________ >> LLVM Developers m...

Hi, I am a final year French student doing an internship at the University of Portsmouth. As I was taking hands on AddressSanitizer I took a look at BoundsChecking (both are in the lib/Transforms/Instrumentation folder). I found nothing on it except for the LLVM Documentation and references to BaggyBoundsCheck (which is not the same project. As far as I understood it is part of the SAFECode project). Does anyone knows about it (BoundsChecking)? I have some inquiries I will try to explain just below... I modified a bit the registration process of the Pass (the BoundsChecking one) to get the .so generated...

...g pass. It's true there's little documentation about it (only mentioned in: http://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html#availablle-checks). You can run it with 'clang -fsanitize=bounds' or 'opt -bounds-checking'. The BoundsChecking pass, AddressSanitizer and BaggyBoundsCheck are all different code bases, each exploring a different set of tradeoffs. The goal of the BoundsChecking pass was that the runtime penalty should be low enough to enable usage in production. Some information about the BoundsChecking pass: - It is intra-procedural only. If you dereference a po...

...9;s true there's little documentation about it (only mentioned in: > http://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html#availablle-checks). > You can run it with 'clang -fsanitize=bounds' or 'opt -bounds-checking'. > The BoundsChecking pass, AddressSanitizer and BaggyBoundsCheck are all > different code bases, each exploring a different set of tradeoffs. The > goal of the BoundsChecking pass was that the runtime penalty should be low > enough to enable usage in production. > > Some information about the BoundsChecking pass: > - It is intra-procedural onl...

...? > That's a good question. I didn't knew about SoftBound until now, so thank you for the name =). Anyway here is what I know: - ASan is a shadow-based memory protection, which allows accesses to an addressable field - I don't know every aspects of SAFECode. What I looked at was BaggyBoundsCheck which is an object based memory protection. In this way it still allows wild accesses inside an allocation - I quickly looked at SoftBound and it does protect the memory at a precise level. However metadata is separately stored which involve higher overhead My point is BoundsChecking has been de...

Dear LLVM and SVA community: This is to brief you the progress of this week. I mainly focused on minor fixes this week. Following is what I finished this week. 1. Move the implementation of runOnModule of RegisterGlobalVar pass from .h back to .cpp file. 2. Introduce two new functions to register and unregister function prototypes on llvm.compiler.used. 3. Added two regression tests for

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? Regards, John Criswell On 5/25/16 8:05 AM, Pierre Gagelin via llvm-dev wrote: > Hi everyone, > > I am having troubles but this shouldn't be hard to solve for many > people here. I am beginning a runtime feature for the

Hi everyone, I am having troubles but this shouldn't be hard to solve for many people here. I am beginning a runtime feature for the BoundsChecking pass and I want to replace the libc malloc&free. I followed the design of AddressSanitizer (Asan) and tried to use the INTERCEPTOR macro from the interception.h file of compiler-rt library. Here is the problem. The file I modify

Hello, I have tried a lot fix this error but am not able to can you please find me a solution am trying to compile the SAFECode in Cygwin Environment to work for windows. used make -j4 command to make the files in cygwin i have got this error make[5]: Leaving directory '/home/uidr7475/Work/LLVM_OBJ/projects/safecode/tools/clang/include' /usr/bin/cp: cannot stat