The high price of static analysis obstinacy

by