A positional keyword-based approach to inferring fine-grained message formats