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

Lisandro Dalcin dalcinl at gmail.com
Fri Nov 1 13:55:35 CET 2013

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
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

More information about the cython-devel mailing list