symbolic-execution
Repositori open source terpantau bertanda symbolic-execution, diurutkan berdasarkan bintang.
Topik terkait
Topik yang sering muncul berdampingan dengan symbolic-execution di repositori yang sama.
Yang sedang naik
Repositori yang dibuat dalam 90 hari terakhir dan bertanda symbolic-execution.
Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.
- #1
Triton adalah pustaka analisis biner dinamis. Bangun alat analisis program Anda sendiri, otomatiskan reverse engineering, lakukan verifikasi perangkat lunak, atau sekadar emulasikan kode.
★ 4.281+6Perubahan bintang dalam 7 hari terakhir - #2
Mythril adalah alat analisis keamanan berbasis eksekusi simbolik untuk bytecode EVM. Alat ini mendeteksi kerentanan keamanan pada smart contract yang dibuat untuk Ethereum dan blockchain lain yang kompatibel dengan EVM.
★ 4.265-1Perubahan bintang dalam 7 hari terakhir - #3★ 3.947+3Perubahan bintang dalam 7 hari terakhir
- #4★ 2.975+1Perubahan bintang dalam 7 hari terakhir
- #5★ 2.254+0Perubahan bintang dalam 7 hari terakhir
- #6★ 1.627+0Perubahan bintang dalam 7 hari terakhir
- #7
Daftar kurasi sumber daya eksekusi simbolik yang luar biasa termasuk makalah penelitian penting, kuliah, video, dan alat.
★ 1.497+0Perubahan bintang dalam 7 hari terakhir - #8
Alat analisis untuk Python yang mengaburkan batas antara pengujian dan sistem tipe.
★ 1.319+0Perubahan bintang dalam 7 hari terakhir - #9★ 1.163+2Perubahan bintang dalam 7 hari terakhir
- #10★ 1.090+0Perubahan bintang dalam 7 hari terakhir
- #11★ 862+0Perubahan bintang dalam 7 hari terakhir
- #12
Gunakan angr di Ghidra
★ 624-1Perubahan bintang dalam 7 hari terakhir - #13★ 588+1Perubahan bintang dalam 7 hari terakhir
