Ini ialah apl Linux bernama Infer yang keluaran terbarunya boleh dimuat turun sebagai Inferversionv1.1.0.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama Infer with OnWorks ini secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN
Ad
Nyatakan
DESCRIPTION
Infer ialah alat analisis statik - jika anda memberikan Infer beberapa kod Java atau C/C++/Objective-C ia menghasilkan senarai pepijat yang berpotensi. Sesiapa sahaja boleh menggunakan Infer untuk memintas pepijat kritikal sebelum ia dihantar kepada pengguna dan membantu mengelakkan ranap sistem atau prestasi buruk. Semakan kesimpulan untuk pengecualian penuding nol, kebocoran sumber, kebolehcapaian anotasi, pengadang kunci yang hilang dan keadaan perlumbaan serentak dalam kod Android dan Java. Semakan kesimpulan untuk penolakan penunjuk nol, kebocoran memori, konvensyen pengekodan dan API yang tidak tersedia. Mulakan dengan panduan Bermula dan dokumen kami yang lain untuk memuat turun dan mencuba Infer sendiri. Infer masih berkembang, dan kami mahu terus membangunkannya secara terbuka. Kami berharap ia berguna untuk projek lain, jadi sila cuba atau menyumbang kepadanya, sertai komuniti dan berikan maklum balas kepada kami!
Ciri-ciri
- Infer digunakan dalam Facebook dan ia berjalan secara berterusan untuk mengesahkan sifat terpilih bagi setiap pengubahsuaian kod
- Ia juga boleh digunakan untuk kod lain: Infer juga boleh menganalisis kod C dan kod Java yang bukan Android
- Infer ialah menjejaki masalah yang disebabkan oleh penolakan penunjuk nol dan kebocoran sumber dan memori
- Infer datang ke Facebook dengan pemerolehan Monoidics permulaan pengesahan pada tahun 2013
- Apabila menganalisis fail C, Infer menangkap arahan gcc dan menjalankan clang sebaliknya untuk menghuraikannya
- Selain itu, kami mempunyai simpulan Infer untuk menerangkan analisis sintaksis cetek, menggunakan bahasa AL
Bahasa Pengaturcaraan
C + +
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/infer.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
