program-analysis

Trình gỡ lỗi chế độ người dùng mã nguồn mở dành cho Windows. Được tối ưu hóa cho kỹ thuật đảo ngược và phân tích phần mềm độc hại.

Chương trình xác định loại tệp tin cho Windows, Linux và MacOS.

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ã.

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.

Framework kỹ thuật đảo ngược giống UNIX và bộ công cụ dòng lệnh.

Công cụ DIE

Trình phân tích tĩnh cho C/C++ dựa trên lý thuyết Thông dịch Trừu tượng.

Nhanh chóng tìm điểm khác biệt và tương đồng trong mã nguồn đã dịch ngược

Nền tảng phân tích nhị phân

Jar Analyzer - Công cụ phân tích GUI gói JAR, tích hợp trợ lý AI hỗ trợ phân tích, hỗ trợ phân tích JAR DIFF, tìm kiếm quan hệ gọi phương thức, phân tích thuật toán DFS chuỗi gọi phương thức, phân tích mô phỏng luồng JVM để xác minh kết quả DFS, tìm kiếm chuỗi, phân tích điểm vào thành phần Java Web, phân tích chương trình CFG, phân tích khung ngăn xếp JVM, tìm kiếm biểu thức tùy chỉnh, v.v.

Công cụ phát hiện gian lận và đồng lõa mã nguồn tiên tiến. Kiểm tra tình trạng đạo văn trong một tập hợp các chương trình.

Phân tích mã tĩnh - Static Code Analysis

cwe_checker tìm kiếm các mẫu dễ bị tổn thương trong tệp thực thi nhị phân

Các quy tắc Semgrep Community Edition, được duy trì bởi Semgrep và cộng đồng. Miễn phí sử dụng theo Giấy phép Quy tắc Semgrep.

Các bài tập Tai-e cho phân tích chương trình tĩnh

Giao diện GUI chính thức của angr.

Một framework phân tích tĩnh dựa trên LLVM.

Thư viện T.J. Watson dành cho phân tích, với giao diện cho Java, Android, JavaScript và nhiều phân tích chương trình tĩnh phổ biến.

Hiểu mọi codebase ngay lập tức. Hệ thống thông minh cho codebase, được xây dựng cho con người và AI.

Phiên bản mới của Soot với kiến trúc được đại tu hoàn toàn

Danh sách tổng hợp các tài nguyên hữu ích liên quan đến LLVM (bao gồm Clang, v.v.)

Bộ sưu tập toàn diện các bảng cheat cho kỹ thuật đảo ngược, phân tích nhị phân và các công cụ lập trình hợp ngữ. Kho lưu trữ này đóng vai trò là tài liệu tham khảo một cửa cho các nhà nghiên cứu bảo mật, kỹ sư đảo ngược và lập trình viên cấp thấp.

Khung phân tích nhị phân bằng Rust

Một frontend trình biên dịch cho ngôn ngữ lập trình C.

[LLVM Static Slicer] Các phân tích chương trình, xây dựng đồ thị phụ thuộc và cắt chương trình (program slicing) của LLVM bitcode.