Svadev mailing list

["Sean McBride" <sean AT rogue-research.com>]

On Wed, 21 Dec 2011 16:38:09 -0600, John Criswell said:

>I haven't tried SAFECode on Objective-C and Objective-C++ programs, so 
>there's a good chance that it won't work.  That said, this looks like a 
>bug that could trigger in C/C++ applications.

Ah.  Can you give me a rough idea of where SAFECode is known to work?  ie 
with something more than toy examples, or large C/C++ codebases too?  Can it 
build & analyze clang itself for example?

>Can you send to the list a small Objective-C++ program that reproduces 
>the error?

I will try...

>Can you try the compile with an unmodified Clang from LLVM 3.0?

I could, but I do know that this codebase builds with the gcc, llvm-gcc, and 
clang included in both Xcode 3.2.6 and 4.2, as well as with clang trunk from 
a few weeks ago.  I suspect it would build with clang 3.

I got a smaller Obj-C app to compile and link and run.  I introduced a buffer 
overrun but it was not caught, or I'm not looking in the right place for the 
output.  I checked in both Xcode's console and Console.app.

Cheers,

-- 
____________________________________________________________
Sean McBride, B. Eng                 
sean AT rogue-research.com
Rogue Research                        www.rogue-research.com 
Mac Software Developer              Montréal, Québec, Canada