Đây là ứng dụng Linux có tên Infer có bản phát hành mới nhất có thể được tải xuống là Inferversionv1.1.0.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng này có tên là Infer with OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
MÀN HÌNH:
Suy luận
SỰ MIÊU TẢ:
Infer là một công cụ phân tích tĩnh - nếu bạn cung cấp cho Infer một số mã Java hoặc C / C ++ / Objective-C, nó sẽ tạo ra một danh sách các lỗi tiềm ẩn. Bất kỳ ai cũng có thể sử dụng Infer để chặn các lỗi nghiêm trọng trước khi chúng được chuyển đến tay người dùng và giúp ngăn chặn sự cố hoặc hiệu suất kém. Suy ra kiểm tra các ngoại lệ con trỏ rỗng, rò rỉ tài nguyên, khả năng truy cập lại chú thích, thiếu bộ bảo vệ khóa và các điều kiện chạy đua đồng thời trong mã Android và Java. Suy ra kiểm tra các tham chiếu con trỏ rỗng, rò rỉ bộ nhớ, quy ước mã hóa và API không khả dụng. Bắt đầu với hướng dẫn Bắt đầu và các tài liệu khác của chúng tôi để tải xuống và thử tự suy luận. Infer vẫn đang phát triển và chúng tôi muốn tiếp tục phát triển nó trong thời gian mở. Chúng tôi hy vọng nó sẽ hữu ích cho các dự án khác, vì vậy hãy dùng thử hoặc đóng góp cho nó, tham gia cộng đồng và phản hồi cho chúng tôi!
Tính năng
- Infer được triển khai trong Facebook và nó đang chạy liên tục để xác minh các thuộc tính được chọn của mọi sửa đổi mã
- Nó cũng có thể được sử dụng cho các mã khác: Suy ra cũng có thể phân tích mã C và mã Java không phải là Android
- Suy ra là sự cố theo dõi do tham chiếu con trỏ rỗng gây ra và rò rỉ tài nguyên và bộ nhớ
- Infer đến với Facebook với việc mua lại công ty khởi nghiệp xác minh Monoidics vào năm 2013
- Khi phân tích các tệp C, Infer nắm bắt lệnh gcc và chạy tiếng kêu thay vì phân tích cú pháp chúng
- Ngoài ra, chúng tôi có linters Infer để mô tả các phân tích cú pháp nông cạn, sử dụng ngôn ngữ AL
Ngôn ngữ lập trình
C + +
Danh Mục
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/infer.mirror/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.