FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis

Zhenghong Yu, Hangdong Zhao, Wanzhu Hou +1

Datalog is widely used to build static analyzers, yet existing engines often force a tradeoff between efficiency and extensibility. In practice, static analyses are not run once an…