Grammar-agnostic symbolic execution by token symbolization