bek
How will these sanitizers behave?
loading...
'►' shortcut: Alt+B
about Bek - A domain specific language for writing and analyzing common string functions
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? More general than regular expressions, BEK has been specifically tailored to capture common idioms in string manipulating functions.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2017 Microsoft