EDN Admin
Well-known member
In this video, http://research.microsoft.com/en-us/people/dmolnar/ David Molnar and http://research.microsoft.com/en-us/people/margus/ Margus Veanes , both Researchers at Microsoft Research, give a demo of BEK (you can try it too at http://rise4fun.com/bek http://rise4fun.com/bek ) . BEK is a domain specific language for writing common string functions, combined with state of the art analysis. With BEK, you can answer questions like, Do these two programs output the same string? Can this program ever output a target string? What happens if I compose these two programs? Does the order matter? Once youve authored and analyzed your sanitizer in BEK, you can automatically get a C#/Javascript version of it. http://research.microsoft.com/rise The Research in Software Engineering team (RiSE) coordinates Microsofts research in Software Engineering in Redmond, USA. <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:da011aefb6654203b6659e59012d05ed
View the full article
View the full article