[Cython] [cython-users] "Stack" checker for undefined behaviour in C code

[Lisandro Dalcin]

On 31 October 2013 20:25, Stefan Behnel <stefan_ml at behnel.de> wrote:
> Hi,
>
> I just came across this paper:
>
> http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf
>
> They describe an analysis tool that checks C code for bugs that exploit
> undefined behaviour and that are thus up to the mercy of compiler
> assumptions and "optimisations" to do the right thing or not. They made it
> available on github:
>
> https://github.com/xiw/stack/
>
> If anyone wants to take the time to set it up for checking some Cython
> generated code, I'd be interested to see if it finds something.
>

I tested with mpi4py and got 0 warnings. I'll run it on Cython's testsuite.


-- 
Lisandro Dalcin
---------------
CIMEC (UNL/CONICET)
Predio CONICET-Santa Fe
Colectora RN 168 Km 472, Paraje El Pozo
3000 Santa Fe, Argentina
Tel: +54-342-4511594 (ext 1016)
Tel/Fax: +54-342-4511169