Learning a strategy for adapting a program analysis via bayesian optimisation

Building a cost-effective static analyser for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost and the precision of ...