Datalog Disassembly (2020) https://lobste.rs/s/zchcbj #pdf #logiclangs #reversing https://www.usenix.org/system/files/sec20-flores-montoya.pdf