EnglishFrenchSpanyol

Favicon OnWorks

Muat turun Slither untuk Linux

Muat turun percuma aplikasi Slither Linux untuk dijalankan dalam talian di Ubuntu dalam talian, Fedora dalam talian atau Debian dalam talian

Ini ialah apl Linux bernama Slither yang keluaran terbarunya boleh dimuat turun sebagai 0.10.0sourcecode.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.

Muat turun dan jalankan dalam talian apl bernama Slither ini dengan OnWorks 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


Menyelinap


DESCRIPTION

Slither ialah rangka kerja analisis statik Solidity yang ditulis dalam Python 3. Ia menjalankan set pengesan kelemahan, mencetak maklumat visual tentang butiran kontrak dan menyediakan API untuk menulis analisis tersuai dengan mudah. Slither membolehkan pembangun mencari kelemahan, meningkatkan pemahaman kod mereka dan membuat prototaip analisis tersuai dengan cepat. Slither ialah rangka kerja analisis statik sumber terbuka pertama untuk Solidity. Slither adalah pantas dan tepat; ia boleh menemui kelemahan sebenar dalam beberapa saat tanpa campur tangan pengguna. Ia sangat boleh disesuaikan dan menyediakan satu set API untuk memeriksa dan menganalisis kod Solidity dengan mudah. Kami menggunakannya dalam semua ulasan keselamatan kami. Kini anda boleh menyepadukannya ke dalam proses semakan kod anda. Kami membuka sumber enjin analisis teras Slither. Teras ini menyediakan ciri analisis statik lanjutan, termasuk perwakilan perantaraan (SlithIR) dengan keupayaan penjejakan kotoran di atas analisis kompleks (“pengesan”) boleh dibina.



Ciri-ciri

  • Mengesan kod Solidity yang terdedah dengan positif palsu yang rendah (lihat senarai trofi)
  • Mengenal pasti di mana keadaan ralat berlaku dalam kod sumber
  • Mudah disepadukan ke dalam penyepaduan berterusan dan binaan Truffle
  • 'Pencetak' terbina dalam melaporkan maklumat kontrak penting dengan cepat
  • API Pengesan untuk menulis analisis tersuai dalam Python
  • Keupayaan untuk menganalisis kontrak yang ditulis dengan Solidity >= 0.4


Bahasa Pengaturcaraan

Python, Solidity


Kategori

Rangka Kerja, Blockchain

Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/slither.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.


Pelayan & Stesen Kerja Percuma

Muat turun apl Windows & Linux

  • 1
    IPef2
    IPef2
    Alat trafik rangkaian untuk mengukur
    Prestasi TCP dan UDP dengan metrik
    sekitar kedua-dua pemprosesan dan kependaman. The
    matlamat termasuk mengekalkan aktif
    iperf cod...
    Muat turun IPrf2
  • 2
    fre:ac - penukar audio percuma
    fre:ac - penukar audio percuma
    fre:ac ialah penukar audio dan CD percuma
    ripper untuk pelbagai format dan pengekod.
    Ia menampilkan MP3, MP4/M4A, WMA, Ogg
    Format Vorbis, FLAC, AAC dan Bonk
    sokongan,...
    Muat turun fre:ac - penukar audio percuma
  • 3
    Matplotlib
    Matplotlib
    Matplotlib ialah perpustakaan yang komprehensif
    untuk mencipta statik, animasi, dan
    visualisasi interaktif dalam Python.
    Matplotlib menjadikan perkara mudah menjadi mudah dan
    benda susah...
    Muat turun Matplotlib
  • 4
    Botman
    Botman
    Tulis logik chatbot anda sekali dan
    sambungkannya ke salah satu yang tersedia
    perkhidmatan pemesejan, termasuk Amazon
    Alexa, Pengutus Facebook, Slack,
    Telegram atau pun anda...
    Muat turun BotMan
  • 5
    Joplin
    Joplin
    Joplin ialah sumber percuma dan terbuka
    aplikasi mengambil nota dan tugasan yang
    boleh mengendalikan sejumlah besar nota dalam
    Format penurunan harga, susunkannya ke dalam
    buku nota dan...
    Muat turun Joplin
  • 6
    gerbv � pemapar Gerber (RS-274X).
    gerbv � pemapar Gerber (RS-274X).
    Gerbv ialah fail Gerber sumber terbuka
    (RS-274X sahaja) pemapar. Gerbv membenarkan anda
    memuatkan beberapa fail di atas satu sama lain,
    lakukan pengukuran pada imej yang dipaparkan,
    dan lain-lain. ...
    Muat turun gerbv � pemapar Gerber (RS-274X).
  • Lebih »

Arahan Linux

Ad