A study on improving static analysis tools: Why are we not using them? | IEEE Conference Publication | IEEE Xplore