Comment Feed for Channel 9 - Margus Veanes - Rex - Symbolic Regular Expression Exploration http://ecn.channel9.msdn.com/o9/ch9/7/4/9/3/4/5/rex_512_ch9.png Channel 9 - Margus Veanes - Rex - Symbolic Regular Expression Exploration Margus Veanes, a Researcher from the RiSE group at Microsoft Research, gives an overview of Rex, a tool that generates matching string from .NET regular expressions. Rex turns regular expressions into symbolic automatons, then gives them to a constraint solver to find matching strings. Try Rex in your web browser at http://rise4fun.com/rex !Download Rex and play with it! The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. en Thu, 23 May 2013 06:22:01 GMT Thu, 23 May 2013 06:22:01 GMT Rev9 Re: Margus Veanes - Rex - Symbolic Regular Expression Exploration Nice, maybe this will find its way into a Microsoft fuzzing toolkit soon?

posted by Jason Fossen

]]> http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634069696900000000 Thu, 15 Apr 2010 23:08:10 GMT http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634069696900000000 Jason Fossen Re: Margus Veanes - Rex - Symbolic Regular Expression Exploration Meanwhile, don't hesitate to download it and try it. Rex is a simple command line tool but you can also use the API to drive the Regex generation.

posted by peli

]]> http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634069882800000000 Fri, 16 Apr 2010 04:18:00 GMT http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634069882800000000 peli Re: Margus Veanes - Rex - Symbolic Regular Expression Exploration rex looks really cool Smiley

i wonder how well it plays with Pex.. what would be nice is if you not only could generate regexp matches but also check if a string matches a specified regexp. RegExp.Match and pex doesnt seem to get along that well (atleast last time i tried) but rex seems like it would do better

posted by aL_

]]> http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634070056670000000 Fri, 16 Apr 2010 09:07:47 GMT http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634070056670000000 aL_ Re: Margus Veanes - Rex - Symbolic Regular Expression Exploration Integration with Pex is definitely something we want to investigate in the future.

posted by peli

]]> http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634070080110000000 Fri, 16 Apr 2010 09:46:51 GMT http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634070080110000000 peli Re: Margus Veanes - Rex - Symbolic Regular Expression Exploration Rex error: The following constructs are currently not supported: anchors \G, \b,

 \B, named groups, lookahead, lookbehind, as-few-times-as-possible quantifiers,

backreferences, conditional alternation, substitution

 

 

posted by DarkWalker

]]> http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634071293750000000 Sat, 17 Apr 2010 19:29:35 GMT http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634071293750000000 DarkWalker Re: Margus Veanes - Rex - Symbolic Regular Expression Exploration The constructs that are currenly not supported have an operational meaning that is much more expressive than regular expressions, and algorithimically pose a challenge when it comes to generation of matching strings. Some of the contructs are future-work and will hopefully be supported in future releases though Smiley .

posted by margus

]]> http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634073000240000000 Mon, 19 Apr 2010 18:53:44 GMT http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration#c634073000240000000 margus