Case Studies of a Machine Learning Process for Improving the Accuracy of Static Analysis Tools