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

2013-11-01 Thread Lisandro Dalcin
On 1 November 2013 21:53, Stefan Behnel wrote: > > Erm - interesting. I looked through the code lines above and couldn't find > anything that looked suspicious. I hope I used the same source version as > you did (latest master?). Maybe I was just blinded by macros, but what I > saw looked rather r

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

2013-11-01 Thread Stefan Behnel
Lisandro Dalcin, 01.11.2013 14:52: > On 1 November 2013 15:55, Lisandro Dalcin wrote: >> On 31 October 2013 20:25, Stefan Behnel wrote: >>> 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

Re: [Cython] Files with executable bit on

2013-11-01 Thread Robert Bradshaw
Done. On Fri, Nov 1, 2013 at 6:16 AM, Lisandro Dalcin wrote: > This is in branch 0.19.x. These files should not have the executable > bit on. Can any of you please fix them? > > [dalcinl@macarena cython-dev]$ ls -al $(find Cython -name '*.py') | grep rwx > -rwxr-xr-x 1 dalcinl staff4286 Feb

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

2013-11-01 Thread Lisandro Dalcin
On 1 November 2013 15:55, Lisandro Dalcin wrote: > On 31 October 2013 20:25, Stefan Behnel 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 beha

[Cython] Files with executable bit on

2013-11-01 Thread Lisandro Dalcin
This is in branch 0.19.x. These files should not have the executable bit on. Can any of you please fix them? [dalcinl@macarena cython-dev]$ ls -al $(find Cython -name '*.py') | grep rwx -rwxr-xr-x 1 dalcinl staff4286 Feb 14 2013 Cython/Build/BuildExecutable.py -rwxr-xr-x 1 dalcinl staff

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

2013-11-01 Thread Lisandro Dalcin
On 31 October 2013 20:25, Stefan Behnel 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 > assump