TyDsa

Python ★ 6 updated 7y ago

Type-sensitive points-to analysis prototype in Datalog for an llvm-like language

No plain-English explanation yet — one is being written right now. Check back in a minute.