This repository includes the implementation for the paper "Learning to Boost Disjunctive Static Bug-Finders."It improves the efficiency of the disjunctive static analyzer, Infer, by a machine-learning technique. - View it on GitHub