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

[Stefan Behnel]

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.

Stefan