Tiếng AnhTiếng PhápTiếng Tây Ban Nha

Biểu tượng yêu thích OnWorks

Tải xuống Slither cho Linux

Tải xuống miễn phí ứng dụng Slither Linux để chạy trực tuyến trong Ubuntu trực tuyến, Fedora trực tuyến hoặc Debian trực tuyến

Đây là ứng dụng Linux có tên Slither có bản phát hành mới nhất có thể được tải xuống dưới dạng 0.10.0sourcecode.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 dành cho máy trạm.

Tải xuống và chạy trực tuyến ứng dụng này có tên Slither 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

Ad


Trợt


MÔ TẢ

Slither là một khung phân tích tĩnh của Solidity được viết bằng Python 3. Nó chạy một bộ công cụ phát hiện lỗ hổng, in thông tin trực quan về chi tiết hợp đồng và cung cấp API để dễ dàng viết các phân tích tùy chỉnh. Slither cho phép các nhà phát triển tìm ra lỗ hổng, nâng cao khả năng hiểu mã của họ và nhanh chóng tạo nguyên mẫu phân tích tùy chỉnh. Slither là khung phân tích tĩnh nguồn mở đầu tiên cho Solidity. Slither nhanh và chính xác; nó có thể tìm thấy các lỗ hổng thực sự trong vài giây mà không cần sự can thiệp của người dùng. Nó có khả năng tùy biến cao và cung cấp một bộ API để kiểm tra và phân tích mã Solidity một cách dễ dàng. Chúng tôi sử dụng nó trong tất cả các đánh giá bảo mật của chúng tôi. Bây giờ bạn có thể tích hợp nó vào quy trình xem xét mã của mình. Chúng tôi đang mở nguồn công cụ phân tích cốt lõi của Slither. Lõi này cung cấp các tính năng phân tích tĩnh nâng cao, bao gồm biểu diễn trung gian (SlithIR) với khả năng theo dõi vết bẩn, trên đó có thể xây dựng các phân tích phức tạp (“máy dò”).



Tính năng

  • Phát hiện mã Solidity dễ bị tổn thương với tỷ lệ dương tính giả thấp (xem danh sách danh hiệu)
  • Xác định vị trí xảy ra tình trạng lỗi trong mã nguồn
  • Dễ dàng tích hợp vào tích hợp liên tục và xây dựng Truffle
  • 'Máy in' tích hợp nhanh chóng báo cáo thông tin hợp đồng quan trọng
  • Detector API để viết các phân tích tùy chỉnh trong Python
  • Khả năng phân tích hợp đồng viết bằng Solidity >= 0.4


Ngôn ngữ lập trình

Python, Sự vững chắc


Danh Mục

Khung, Blockchain

Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/slither.mirror/. Nó đã được lưu trữ trong OnWorks để có thể chạy trực tuyến theo cách dễ dàng nhất từ ​​một trong các Hệ điều hành miễn phí của chúng tôi.


Máy chủ & Máy trạm miễn phí

Tải xuống ứng dụng Windows & Linux

  • 1
    Quản lý PAC
    Quản lý PAC
    PAC là sự thay thế Perl / GTK cho
    SecureCRT/Putty/vv (linux
    ssh/telnet/... gui)... Nó cung cấp một GUI
    để định cấu hình kết nối: người dùng,
    mật khẩu, quy định EXPECT...
    Tải xuống Trình quản lý PAC
  • 2
    GeoServer
    GeoServer
    GeoServer là một phần mềm mã nguồn mở
    máy chủ được viết bằng Java cho phép người dùng
    để chia sẻ và chỉnh sửa dữ liệu không gian địa lý.
    Được thiết kế cho khả năng tương tác, nó
    xuất bản da ...
    Tải xuống GeoServer
  • 3
    con đom đóm III
    con đom đóm III
    Tài chính cá nhân mã nguồn mở và miễn phí
    giám đốc. Firefly III có một
    hệ thống kế toán kép. Bạn có thể
    nhanh chóng nhập và tổ chức của bạn
    giao dịch tôi ...
    Tải xuống Firefly III
  • 4
    Phần mở rộng Apache OpenOffice
    Phần mở rộng Apache OpenOffice
    Danh mục chính thức của Apache
    Tiện ích mở rộng OpenOffice. Bạn sẽ tìm ra
    các phần mở rộng khác nhau, từ từ điển đến
    công cụ để nhập tệp PDF và kết nối
    với máy lẻ ...
    Tải xuống tiện ích mở rộng Apache OpenOffice
  • 5
    bọ ngựaBT
    bọ ngựaBT
    Mantis là một trang web có thể triển khai dễ dàng
    dựa trên trình kiểm soát lỗi để hỗ trợ lỗi sản phẩm
    theo dõi. Nó yêu cầu PHP, MySQL và
    máy chủ web. Kiểm tra bản demo của chúng tôi và được lưu trữ
    phạm tội ...
    Tải xuống MantisBT
  • 6
    Sứ giả mạng LAN
    Sứ giả mạng LAN
    LAN Messenger là một ứng dụng trò chuyện p2p
    cho giao tiếp mạng nội bộ và không
    yêu cầu một máy chủ. Nhiều loại tiện dụng
    các tính năng được hỗ trợ bao gồm
    thông báo ...
    Tải xuống LAN Messenger
  • Khác »

Lệnh Linux

  • 1
    tuân thủ
    tuân thủ
    abidw - tuần tự hóa ABI của ELF
    file abidw đọc thư viện dùng chung trong ELF
    định dạng và phát ra một biểu diễn XML
    ABI của nó thành đầu ra tiêu chuẩn. Các
    phát ra...
    Chạy tiếp tục
  • 2
    khả năng
    khả năng
    abilint - xác thực một ABI abigail
    đại diện abilint phân tích cú pháp bản địa
    Biểu diễn XML của ABI khi được phát ra
    bởi abidw. Khi nó đã phân tích cú pháp XML
    trả lại ...
    chạy abilint
  • 3
    coresendmsg
    coresendmsg
    coresendmsg - gửi tin nhắn API CORE
    đến daemon lõi-daemon ...
    Chạy coresendmsg
  • 4
    core_server
    core_server
    core_server - Máy chủ chính cho
    Thư rácBayes. MÔ TẢ: Hiện đang phục vụ
    chỉ giao diện web. Cắm vào
    người nghe cho các giao thức khác nhau là TBD.
    Điều này ...
    Chạy core_server
  • 5
    fwflash
    fwflash
    fwflash - chương trình flash tập tin hình ảnh
    với một thiết bị NXT được kết nối ...
    Chạy fwflash
  • 6
    fwts-sưu tầm
    fwts-sưu tầm
    fwts-collect - thu thập nhật ký cho fwts
    báo cáo lỗi. ...
    Chạy fwts-collect
  • Khác »

Ad