Add AdaCore to "Using Infer" list

facebook / infer

A static analyzer for Java, C, C++, and Objective-C

http://fbinfer.com/

MIT License

14.93k stars 2.01k forks source link

Closed yakobowski closed 1 year ago

facebook-github-bot commented 1 year ago

@jvillard has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

facebook-github-bot commented 1 year ago

@jvillard merged this pull request in facebook/infer@3e8916db35ff9e482fe061f4b732346c785afdbf.