Displaying 3 results from an estimated 3 matches for "alloca2".
Did you mean:
alloca
2012 Apr 03
0
[LLVMdev] Google Summer of Code proposal: Adding memory safety checks to the LLVM bitcodes
...h array, the variables that are equal to its allocated
size. Thus, if this information is available in the sites that the
array is used, we can insert a safety check there. For instance,
consider the program below:
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
char* alloca2(int size) {
return (char*) malloc(size * sizeof(char));
}
int main() {
char* c = alloca2(10);
char* x;
strcpy(c, "hello!");
x = c;
while (*x != '\0') {
putc(*x, stdout);
x++;
}
}
The inter-procedural analysis should be able to relate 10 with the
size of array c. The...
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.
>
2012 Apr 05
1
[LLVMdev] Google Summer of Code proposal: Adding memory safety checks to the LLVM bitcodes
...e. For instance,
> consider the program below:
As I mentioned before, SAFECode and SoftBound already insert the
checks. Your analysis would be used to remove those that are unneeded.
>
> #include<stdlib.h>
> #include<string.h>
> #include<stdio.h>
>
> char* alloca2(int size) {
> return (char*) malloc(size * sizeof(char));
> }
>
> int main() {
> char* c = alloca2(10);
> char* x;
> strcpy(c, "hello!");
> x = c;
> while (*x != '\0') {
> putc(*x, stdout);
> x++;
> }
> }
>
> The i...