datalog: Turn `Instruction` into a union of instruction types

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

https://galoisinc.github.io/cclyzerpp/

BSD 3-Clause "New" or "Revised" License

134 stars 15 forks source link

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

This improves type safety, see e.g., the bug in callgraph.dl. Fixes #49.