Why don't software developers use static analysis tools to find bugs? | Synapse