Displaying 4 results from an estimated 4 matches for "gepchecks".
2016 Jun 27
1
[GSoC'16] Weekly Status - June 27 - Zhengyang Liu
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
2012 Apr 03
0
[LLVMdev] Google Summer of Code proposal: Adding memory safety checks to the LLVM bitcodes
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
2015 Jul 22
2
[LLVMdev] (no subject)
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
2012 Apr 03
3
[LLVMdev] Google Summer of Code proposal: Adding memory safety checks to the LLVM bitcodes
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.
>