Comments on: Randomly Testing a Static Analyzer http://blog.regehr.org/archives/680 Thu, 23 May 2013 17:10:41 +0000 hourly 1 http://wordpress.org/?v=3.5.1 By: regehr http://blog.regehr.org/archives/680/comment-page-1#comment-3907 regehr Fri, 03 Feb 2012 17:59:56 +0000 http://blog.regehr.org/?p=680#comment-3907 Hi Octoploid- Sorry about that! I’ll commit a fix in a minute that makes c_delta auto-detect whether clang_delta is available.

clang_delta is new and experimental, but works well already. Let me see what I can do to get it out there. Its in our internal SVN now, maybe we should just move it to github.

]]> By: regehr http://blog.regehr.org/archives/680/comment-page-1#comment-3906 regehr Fri, 03 Feb 2012 17:57:52 +0000 http://blog.regehr.org/?p=680#comment-3906 Whoops– fixed in the article, thanks Pascal!

]]> By: Octoploid http://blog.regehr.org/archives/680/comment-page-1#comment-3905 Octoploid Fri, 03 Feb 2012 17:13:52 +0000 http://blog.regehr.org/?p=680#comment-3905 Quick off-topic question:
A tool named “clang_delta” is now called
from c_delta.pl. Is clang_delta available
for download somewhere?

]]> By: Pascal Cuoq http://blog.regehr.org/archives/680/comment-page-1#comment-3904 Pascal Cuoq Fri, 03 Feb 2012 16:54:40 +0000 http://blog.regehr.org/?p=680#comment-3904 A link to see only the bugs in Frama-C related to Csmith testing:

http://j.mp/csmithbugs

]]>