Aceasta este aplicația Linux numită Infer a cărei ultimă versiune poate fi descărcată ca Inferversionv1.1.0.zip. Poate fi rulat online în furnizorul gratuit de găzduire OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Infer with OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
SCREENSHOTS
Ad
Deduce
DESCRIERE
Infer este un instrument de analiză statică - dacă dați Infer un cod Java sau C/C++/Objective-C, acesta produce o listă de erori potențiale. Oricine poate folosi Infer pentru a intercepta erori critice înainte ca acestea să fie livrate utilizatorilor și pentru a ajuta la prevenirea blocărilor sau a performanței slabe. Deduceți verificări pentru excepții de pointer nul, scurgeri de resurse, accesibilitatea adnotărilor, lipsa dispozitivelor de protecție de blocare și condițiile de cursă simultană în codul Android și Java. Deduceți verificări pentru dereferințe de pointer nul, scurgeri de memorie, convenții de codare și API-uri indisponibile. Începeți cu ghidul Noțiuni introductive și cu celelalte documente ale noastre pentru a descărca și încercați Deduceți singur. Infer încă evoluează și dorim să continuăm să o dezvoltăm în mod deschis. Sperăm că va fi util pentru alte proiecte, așa că vă rugăm să îl încercați sau să contribuiți la el, alăturați-vă comunității și oferiți-ne feedback!
DESCRIERE
- Infer este implementat în Facebook și rulează continuu pentru a verifica proprietățile selectate ale fiecărei modificări de cod
- Poate fi folosit și pentru alt cod: Infer poate analiza, de asemenea, codul C și codul Java care nu este Android
- Deducerea este de urmărire a problemelor cauzate de dereferențele pointerului nul și de scurgeri de resurse și memorie
- Infer a venit pe Facebook odată cu achiziția startup-ului de verificare Monoidics în 2013
- Când analizează fișierele C, Infer captează comanda gcc și rulează clang pentru a le analiza
- În plus, avem Infer linters pentru descrierea analizelor sintactice superficiale, folosind limbajul AL
Limbaj de programare
C ++
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/infer.mirror/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.