1 paper · 1 filter
Aaron Bembenek, Stephen Chong
Datalog has become a popular language for writing static analyses. Because Datalog is very limited, some implementations of Datalog for static analysis have extended it with new la…