Bu, en son sürümü Inferversionv1.1.0.zip olarak indirilebilen Infer adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Infer adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN
Ad
Anlam çıkarmak
TANIM
Infer, statik bir analiz aracıdır - Infer'a biraz Java veya C/C++/Objective-C kodu verirseniz, olası hataların bir listesini üretir. Herkes, kritik hataları kullanıcılara gönderilmeden önce durdurmak ve çökmeleri veya düşük performansı önlemeye yardımcı olmak için Infer'ı kullanabilir. Android ve Java kodunda boş işaretçi istisnaları, kaynak sızıntıları, ek açıklama erişilebilirliği, eksik kilit korumaları ve eşzamanlılık yarışı koşulları için çıkarım kontrolleri. Boş gösterici referansları, bellek sızıntıları, kodlama kuralları ve kullanılamayan API'ler için çıkarım kontrolleri. Infer'ı kendiniz indirip denemek için Başlarken kılavuzu ve diğer belgelerimizle başlayın. Infer hala gelişiyor ve onu açık alanda geliştirmeye devam etmek istiyoruz. Diğer projeler için faydalı olacağını umuyoruz, bu yüzden lütfen deneyin veya katkıda bulunun, topluluğa katılın ve bize geri bildirimde bulunun!
Özellikler
- Infer, Facebook içinde dağıtılır ve her kod değişikliğinin belirli özelliklerini doğrulamak için sürekli çalışır.
- Diğer kodlar için de kullanılabilir: Infer ayrıca C kodunu ve Android olmayan Java kodunu da analiz edebilir.
- Çıkarım, boş işaretçi başvurularının neden olduğu sorunları ve kaynak ve bellek sızıntılarını izliyor
- Infer, 2013 yılında doğrulama girişimi Monoidics'i satın alarak Facebook'a geldi.
- C dosyalarını analiz ederken, Infer gcc komutunu yakalar ve onları ayrıştırmak için clang'ı çalıştırır.
- Ek olarak, AL dilini kullanarak sığ sözdizimsel analizleri tanımlamak için Infer linter'larımız var.
Programlama dili
C + +
Kategoriler
Bu, https://sourceforge.net/projects/infer.mirror/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
