A study on improving static analysis tools: Why are we not using them? | Synapse