http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.pnghttp://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/Patrice Godefroid - Automated Whitebox Fuzz Testing with SAGEhttp://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/en-usThu, 16 Jul 2009 15:13:02 GMTThu, 16 Jul 2009 15:13:02 GMTEvNet (EvNet, Version=1.0.3608.3122, Culture=neutral, PublicKeyToken=null)<p>Makes you wonder just how many advances we are going to get because of symbolic anylsis of constraints.</p>http://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/?CommentID=479179Thu, 16 Jul 2009 15:13:02 GMThttp://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/?CommentID=4791790http://channel9.msdn.com/479179/WebViewBug.aspx?EVT=0Makes you wonder just how many advances we are going to get because of symbolic anylsis of constraints.cdwatkins0http://channel9.msdn.com/479179/Trackback.aspx<p>i see, thanks :) </p> <p>&nbsp;</p>http://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/?CommentID=478981Wed, 15 Jul 2009 16:35:55 GMThttp://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/?CommentID=4789810http://channel9.msdn.com/478981/WebViewBug.aspx?EVT=0i see, thanks :) &nbsp;Allan Lindqvist0http://channel9.msdn.com/478981/Trackback.aspx<p>SAGE and Pex both use some of the same techniques (like DART), but SAGE is for security testing of unmanaged code (x86 binary analysis) while Pex is for unit testing of managed code (MSIL .NET binaries).</p> <p>For more information on how they differ, please see <a href="http://research.microsoft.com/en-us/um/people/pg/public_psfiles/ieeesw2008.pdf">http://research.microsoft.com/en-us/um/people/pg/public_psfiles/ieeesw2008.pdf</a></p> <p>Patrice</p>http://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/?CommentID=478829Wed, 15 Jul 2009 00:19:09 GMThttp://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/?CommentID=4788290http://channel9.msdn.com/478829/WebViewBug.aspx?EVT=0SAGE and Pex both use some of the same techniques (like DART), but SAGE is for security testing of unmanaged code (x86 binary analysis) while Pex is for unit testing of managed code (MSIL .NET binaries). For more information on how they differ, please see&#8230;patriceg0http://channel9.msdn.com/478829/Trackback.aspx<p>cool :) but isnt this pex? maybe sage is the new name for pex?</p>http://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/?CommentID=478825Tue, 14 Jul 2009 23:45:31 GMThttp://channel9.msdn.com/posts/Peli/Automated-Whitebox-Fuzz-Testing-with-SAGE/?CommentID=4788250http://channel9.msdn.com/478825/WebViewBug.aspx?EVT=0cool :) but isnt this pex? maybe sage is the new name for pex?Allan Lindqvist0http://channel9.msdn.com/478825/Trackback.aspx