Tag: Automated Reasoning

The resource leak detector in CodeGuru Reviewer combines static code analysis algorithms with machine learning to surface only the high confidence leaks. It has a high developer acceptance rate and has alerted developers within Amazon to thousands of leaks before those leaks hit production.