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 _______________________________________________ cython-devel mailing list cython-devel@python.org https://mail.python.org/mailman/listinfo/cython-devel
