[LLVMdev] Google Summer of Code proposal: Adding memory safety checks to the LLVM bitcodes

[Raphael Ernani Rodrigues]

>>  Second, I have good experience with programming, with
>> almost six years of experience in many languages (Java, C, C++, C#,
>> VB, VBA, Object Pascal, SQL, etc...). Third, I'm already working with
>> LLVM passes. I already know some LLVM tools and I already have the
>> basic knowledge to start this project. I have written a pass to
>> instrument LLVM bitcodes, in order to find the minimum and maximum
>> values that each variable assumes at runtime.
>
>
> Did this pass find the dynamic minimum and maximum values when the program
> was executed?
>

Yes. We're using it to measure our static range analysis precision.



John,

Thank you very much for your feedback. It was very important to me to
produce the official proposal, aligned with the actual needs of
SAFEcode. I tried to answer all your questions and follow your
advices.

The proposal can be found at:
http://www.google-melange.com/gsoc/proposal/review/google/gsoc2012/raphaelernani/1

Regards,

Raphael Ernani