Efficient file fuzz testing using automated analysis of binary file format