Infer

Wikipediasta
Siirry navigaatioon Siirry hakuun
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]

  1. Release 1.2.0, (viitattu ). Tieto on haettu Wikidatasta.
  2. Peter O'Hearn & Dino Distefano & Cristiano Calcagno: Open-sourcing Facebook Infer: Identify bugs before you ship engineering.fb.com. 11.6.2015. Viitattu 14.8.2024. (englanniksi)
  3. Abel Avram: Facebook Open Sources Infer, a Static Analysis Tool infoq.com. 11.6.2015. Viitattu 14.8.2024. (englanniksi)
  4. Matthias Kettl & Thomas Lemberger: The Static Analyzer Infer in SV-COMP (Competition Contribution) (PDF) link.springer.com. 30.3.2022. Viitattu 14.8.2024. (englanniksi)
  5. Lecture Notes: Hoare Logic (PDF) cs.cmu.edu. Viitattu 14.8.2024. (englanniksi)
  6. Abstract interpretation : A unified lattice model for static analysis of programs by construction or approximation of fixpoints (PDF) di.ens.fr. Viitattu 14.8.2024. (englanniksi)