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