Datalog Disassembly: A fast and accurate disassembler