Dịch mã machinecode thành LLVM IR (tháo gỡ/lắp ráp X86_64. X86. Mã ARM vào mã bit LLVM)

Question

Tôi muốn dịch X86_64, x86, thực thi ARM thành LLVM IR (tháo gỡ).

Bạn đề xuất giải pháp nào?

Answer 1

Tôi nghi ngờ sẽ có giải pháp phổ quát (suy nghĩ về các nhánh gián tiếp, vv), LLVM IR có nhiều "cấp cao hơn" so với bất kỳ bộ lắp ráp nào. Mặc dù có thể dịch trên cơ sở cho mỗi BB. Bạn có thể muốn kiểm tra các dự án llvm-qemu và libcpu trong số những người khác.

Answer 2

Cân nhắc sử dụng công cụ RevGen được phát triển trong số S2E project. Nó cho phép chuyển đổi x86 nhị phân sang LLVM IR. Mã nguồn có thể được kiểm tra từ chi nhánh Revgen của kho GIT có sẵn bằng url https://dslabgit.epfl.ch/git/s2e/s2e.git.

Answer 3

Chỉ cần gửi một số tài liệu tham khảo về dịch ARM nhị phân để LLVM IR:

giải giáp - cánh tay nhị phân để llvm ir disassembler

https://code.google.com/p/disarm/

Tuy nhiên, tôi đã không thử nó, do đó không chắc chắn về nó chất lượng và sự ổn định. Bất kỳ ai khác có thể đăng thông tin bổ sung về dự án này?

Answer 4

Liên quan đến công cụ RevGen được đề cập bởi @ bsa2000, giấy mới nhất "A compiler level intermediate representation based binary analysis and rewriting system" này đã chỉ ra một số hạn chế trong S2E và Revinc.

Tôi kéo chúng ra khỏi đây.

1. thiếu sót của bản dịch động:

   S2E [16] và Revnic [14] trình bày một phương pháp để tự động dịch x86 để LLVM sử dụng QEMU. Không giống như cách tiếp cận của chúng tôi, các phương pháp này chuyển đổi các khối mã thành LLVM khi đang giới hạn việc áp dụng LLVM chỉ phân tích một khối tại một thời điểm.

2. IR không đầy đủ:

   Revnic [14] và RevGen [15] khôi phục một IR bằng cách sáp nhập các dịch khối, nhưng IR bị thu hồi là không đầy đủ và chỉ có giá trị cho thực hiện hành; do đó, các phân tích toàn bộ chương trình khác nhau sẽ cung cấp thông tin không đầy đủ.

3. không chồng trừu tượng hoặc quảng bá thông tin

   Hơn nữa, mã dịch giữ lại tất cả các giả định của ban song phương nary về cách bố trí ngăn xếp. Chúng không cung cấp bất kỳ phương thức nào để có được ngăn xếp trừu tượng hoặc quảng bá các vị trí bộ nhớ tới các ký hiệu, điều cần thiết cho việc áp dụng một số phân tích cấp nguồn .

Answer 5

Có dự án mới, là trong một số giai đoạn đầu, The libbeauty: https://github.com/jcdutton/libbeauty

Điều về dự án: Libbeauty: Một cụ Xếp-Kỹ thuật, 24 tháng 12 năm 2013, Michael Larabel - http://www.phoronix.com/scan.php?page=news_item&px=MTU1MTU

Nó chỉ hỗ trợ tập hợp con của x86_64 làm đầu vào ngay bây giờ. Một trong những mục tiêu của dự án - là để có thể biên dịch LLVM IR được tạo trở lại để lắp ráp để có được nhị phân có cùng chức năng.

Answer 6

mcsema là bộ tăng tốc nhị phân chất lượng sản xuất. Phải mất x86 và x86-64 và tĩnh "nâng" nó lên LLVM IR. Nó được duy trì tích cực, BSD được cấp phép, và có các bài kiểm tra và tài liệu mở rộng.

https://github.com/trailofbits/mcsema