Infer
(Ohjattu sivulta Facebook Infer)
| 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]
Lähteet
[muokkaa | muokkaa wikitekstiä]- ↑ Release 1.2.0, (viitattu ). Tieto on haettu Wikidatasta.
- ↑ 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)
- ↑ Abel Avram: Facebook Open Sources Infer, a Static Analysis Tool infoq.com. 11.6.2015. Viitattu 14.8.2024. (englanniksi)
- ↑ 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)
- ↑ Lecture Notes: Hoare Logic (PDF) cs.cmu.edu. Viitattu 14.8.2024. (englanniksi)
- ↑ 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)