| Infer | |
|---|---|
| Kehityshistoria | |
| Vakaa versio | 1.2.0 ()[1] |
| Tiedot | |
| Lisenssi | MIT-lisenssi |
| Aiheesta muualla | |
| Verkkosivusto | |
| Versiohallinta | |
Infer (myös nimellä Facebook Infer) on staattisen analyysin työkaluohjelma. Ohjelmalla voidaan etsiä ohjelmakoodista ohjelmointivirheitä ennen ohjelman julkaisua. Staattinen analyysi etsii virheitä ilman ohjelman suoritusta ja täydentää dynaamista testaamista. Ohjelman on kehittänyt Facebook, joka on julkaissut sen avoimena lähdekoodina vuonna 2015. Facebook käyttää työkalua Androidille ja iOS:lle julkaistavien ohjelmien virheiden etsintään.[2] Infer tukee C-, C++-, Java- ja Objective-C-kieliä. Infer käyttää käännöstä välikieleen ja tukee useita käännösautomaation työkaluja. Infer käyttää ohjelman oikeellisuuden päättelyyn Hoaren logiikkaa ja abstraktia tulkkausta.[3][4][5][6]