symbolic-execution
Các kho mã nguồn mở đang theo dõi được gắn thẻ symbolic-execution, sắp xếp theo số sao.
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng symbolic-execution trên cùng một kho mã.
Mới nổi gần đây
Các kho mã tạo trong 90 ngày qua và được gắn thẻ symbolic-execution.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1
Triton là một thư viện phân tích nhị phân động. Xây dựng các công cụ phân tích chương trình của riêng bạn, tự động hóa kỹ thuật đảo ngược, thực hiện xác minh phần mềm hoặc giả lập mã.
★ 4.281+7Thay đổi số sao trong 7 ngày qua - #2
Mythril là một công cụ phân tích bảo mật dựa trên thực thi ký hiệu (symbolic execution) dành cho EVM bytecode. Nó phát hiện các lỗ hổng bảo mật trong smart contract được xây dựng cho Ethereum và các blockchain tương thích với EVM khác.
★ 4.265+0Thay đổi số sao trong 7 ngày qua - #3★ 3.947+3Thay đổi số sao trong 7 ngày qua
- #4★ 2.975+1Thay đổi số sao trong 7 ngày qua
- #5★ 2.254+1Thay đổi số sao trong 7 ngày qua
- #6★ 1.627+0Thay đổi số sao trong 7 ngày qua
- #7
Danh sách tổng hợp các tài nguyên thực thi tượng trưng tuyệt vời, bao gồm các bài báo nghiên cứu thiết yếu, bài giảng, video và công cụ.
★ 1.497+1Thay đổi số sao trong 7 ngày qua - #8
Công cụ phân tích cho Python làm mờ ranh giới giữa kiểm thử và hệ thống kiểu dữ liệu.
★ 1.319+2Thay đổi số sao trong 7 ngày qua - #9★ 1.163+4Thay đổi số sao trong 7 ngày qua
- #10★ 1.090+0Thay đổi số sao trong 7 ngày qua
- #11
Giao diện giống như kiểm thử đơn vị (unit test) dành cho fuzzing và thực thi biểu tượng (symbolic execution).
★ 862+0Thay đổi số sao trong 7 ngày qua - #12
Sử dụng angr trong Ghidra.
★ 623+0Thay đổi số sao trong 7 ngày qua - #13★ 588+1Thay đổi số sao trong 7 ngày qua
