https://topicsec.github.io//posts/datalog-disassembly/