Conflict Extraction in Probabilistic Datalog Analyses

Siyu Chen, Chungha Sung, Xuyang Li +1

Probabilistic extensions of Datalog enable static analyses such as pointer analysis, data race detection, and side-channel analysis to rank alarms by likelihood, but this added exp…