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.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct