Static Analysis Is Best Described As