On Nov 27, 2013, at 9:14 PM, Bradley Lucier lucier@math.purdue.edu wrote:

Marc:

Did you every run LLVM/clang's scan-build on the gambit sources to do a static analysis search for possible errors in the code? It's interesting stuff, but I can't tell whether it's actually found any real bugs.

I've put the output of the results on my ubuntu box on my web page here:

http://www.math.purdue.edu/~lucier/scan-build-2013-11-27-1/

Brad

Indeed the results are interesting... added to my TODO.

Marc