ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ Infer ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ໃນນາມ Inferversionv1.1.0.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີສໍາລັບບ່ອນເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ Infer ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
ໜ້າ ຈໍ
Ad
ຕົວເລກ
ລາຍລະອຽດ
Infer ແມ່ນເຄື່ອງມືການວິເຄາະສະຖິດ - ຖ້າທ່ານໃຫ້ Infer ບາງລະຫັດ Java ຫຼື C / C ++ / Objective-C ມັນຈະສ້າງບັນຊີລາຍຊື່ຂອງແມງໄມ້ທີ່ອາດຈະເກີດຂື້ນ. ທຸກຄົນສາມາດໃຊ້ Infer ເພື່ອສະກັດຂໍ້ບົກຜ່ອງທີ່ສໍາຄັນກ່ອນທີ່ພວກມັນຈະຖືກສົ່ງໄປຫາຜູ້ໃຊ້, ແລະຊ່ວຍປ້ອງກັນການຂັດຂ້ອງຫຼືການປະຕິບັດທີ່ບໍ່ດີ. Infer ກວດສອບການຍົກເວັ້ນຕົວຊີ້ null, ການຮົ່ວໄຫລຂອງຊັບພະຍາກອນ, ການເຂົ້າຫາຄໍາບັນຍາຍ, lock locks ທີ່ຂາດຫາຍໄປ, ແລະເງື່ອນໄຂການແຂ່ງຂັນທີ່ສອດຄ່ອງກັນໃນລະຫັດ Android ແລະ Java. Infer ກວດສອບການ dereferences ຕົວຊີ້ null, ການຮົ່ວໄຫລຂອງຫນ່ວຍຄວາມຈໍາ, ສົນທິສັນຍາການເຂົ້າລະຫັດແລະ API ທີ່ບໍ່ສາມາດໃຊ້ໄດ້. ເລີ່ມຕົ້ນດ້ວຍຄູ່ມືການເລີ່ມຕົ້ນ ແລະເອກະສານອື່ນໆຂອງພວກເຮົາເພື່ອດາວໂຫລດ ແລະລອງພິຈາລະນາດ້ວຍຕົນເອງ. Infer ຍັງພັດທະນາຢູ່, ແລະພວກເຮົາຕ້ອງການທີ່ຈະສືບຕໍ່ພັດທະນາມັນໃນແບບເປີດ. ພວກເຮົາຫວັງວ່າມັນຈະເປັນປະໂຫຍດສໍາລັບໂຄງການອື່ນໆ, ສະນັ້ນກະລຸນາລອງມັນອອກຫຼືປະກອບສ່ວນກັບມັນ, ເຂົ້າຮ່ວມຊຸມຊົນແລະໃຫ້ຄໍາຄິດເຫັນພວກເຮົາ!
ຄຸນລັກສະນະ
- Infer ໄດ້ຖືກນໍາມາໃຊ້ພາຍໃນ Facebook ແລະມັນກໍາລັງດໍາເນີນການຢ່າງຕໍ່ເນື່ອງເພື່ອກວດສອບຄຸນສົມບັດທີ່ເລືອກຂອງທຸກໆການດັດແກ້ລະຫັດ
- ມັນສາມາດຖືກນໍາໃຊ້ສໍາລັບລະຫັດອື່ນໆເຊັ່ນດຽວກັນ: Infer ຍັງສາມາດວິເຄາະລະຫັດ C, ແລະລະຫັດ Java ທີ່ບໍ່ແມ່ນ Android
- Infer ແມ່ນການຕິດຕາມບັນຫາທີ່ເກີດຈາກການ dereferences ຕົວຊີ້ null ແລະຊັບພະຍາກອນແລະຄວາມຈໍາຮົ່ວໄຫຼ
- Infer ມາຮອດ Facebook ດ້ວຍການໄດ້ມາຂອງ Monoidics startup ການຢັ້ງຢືນໃນປີ 2013
- ເມື່ອວິເຄາະໄຟລ໌ C, Infer ຈັບຄໍາສັ່ງ gcc ແລະແລ່ນ clang ແທນເພື່ອວິເຄາະພວກມັນ
- ນອກຈາກນັ້ນ, ພວກເຮົາມີ Infer linters ສໍາລັບການອະທິບາຍການວິເຄາະ syntactic ຕື້ນ, ການນໍາໃຊ້ພາສາ AL.
ພາສາການຂຽນໂປຣແກຣມ
C ++
ປະເພດ
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/infer.mirror/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.
