Displaying 4 results from an estimated 4 matches for "otinn".
Did you mean:
tinn
2012 Apr 06
0
[LLVMdev] GSoC proposal: Common memory safety instrumentation and optimization passes for LLVM
...ways reads initialized memory
Then the actual instrumentation passes will simply consult the metadata.
Equally important would be an exhaustive test suite.
Not sure if it should be in LLVM IR or in C (if in C, other compilers will
benefit too).
On Thu, Apr 5, 2012 at 6:49 PM, Ott Tinn <llvm at otinn.com> wrote:
> This is a proposal to create memory safety instrumentation and
> optimization passes for LLVM.
>
> Abstract:
> The goal of this project is to modify SAFECode and AddressSanitizer
> (ASAN) to use a common set of memory safety instrumentation and
> optimization...
2012 Apr 06
2
[LLVMdev] GSoC proposal: Common memory safety instrumentation and optimization passes for LLVM
...>
> Equally important would be an exhaustive test suite.
> Not sure if it should be in LLVM IR or in C (if in C, other compilers
> will benefit too).
Wilander has a new suite of tests out that might be useful.
-- John T.
>
> On Thu, Apr 5, 2012 at 6:49 PM, Ott Tinn <llvm at otinn.com
> <mailto:llvm at otinn.com>> wrote:
>
> This is a proposal to create memory safety instrumentation and
> optimization passes for LLVM.
>
> Abstract:
> The goal of this project is to modify SAFECode and AddressSanitizer
> (ASAN) to use a com...
2012 Apr 06
2
[LLVMdev] GSoC proposal: Common memory safety instrumentation and optimization passes for LLVM
This is a proposal to create memory safety instrumentation and
optimization passes for LLVM.
Abstract:
The goal of this project is to modify SAFECode and AddressSanitizer
(ASAN) to use a common set of memory safety instrumentation and
optimization passes to increase code reuse. These tools and other
similar ones use varying methods to detect whether memory accesses are
safe, but are fundamentally
2012 Apr 06
0
[LLVMdev] GSoC proposal: Common memory safety instrumentation and optimization passes for LLVM
...ld be an exhaustive test suite.
> Not sure if it should be in LLVM IR or in C (if in C, other compilers will
> benefit too).
>
>
> Wilander has a new suite of tests out that might be useful.
>
> -- John T.
>
>
>
> On Thu, Apr 5, 2012 at 6:49 PM, Ott Tinn <llvm at otinn.com> wrote:
>
>> This is a proposal to create memory safety instrumentation and
>> optimization passes for LLVM.
>>
>> Abstract:
>> The goal of this project is to modify SAFECode and AddressSanitizer
>> (ASAN) to use a common set of memory safety instrument...