Binary dynamic, static, and symbolic execution analysis tools for directed test generation