[LLVMdev] Clang + SAFECode Release Announcement

[John Criswell]

On 8/18/11 10:17 AM, Duncan Sands wrote:
> Hi John,
>
>> We have a new release of Clang with SAFECode technology for detecting
>> memory safety errors. Memory safety checking (SAFECode for short) can be
>> turned on with a single command line switch to clang/clang++. The
>> SAFECode techniques do not change the behavior of the clang/clang++
>> compilers in any way when the switch is turned off, so this can be used
>> as a drop-in replacement for clang/clang++.
> sounds great!  However, do you have to use clang (making it useless for
> Fortran etc), or can it work on LLVM IR too?

All of the analysis and transforms work on LLVM IR and are, therefore, 
language independent(*).  We simply integrated the LLVM passes into 
Clang so that they are easier to use.

-- John T.

(*) One caveat here is that we need to know the name of the functions 
used for allocating and freeing memory.  These tend to differ between 
languages, but enhancing the code to recognize them is trivial.

>
> Ciao, Duncan.
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev