No propagation of type

Đang mở
#4,582 7 bình luận 1 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
42/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Đình trệ
Công nghệ
cpp
Lĩnh vực
compilers, reverse-engineering

Hướng nghiên cứu

Reproduce the issue in Binary Ninja using Kernelbase.dll and PsspValidateWin32WalkMarker, then inspect how manually assigned argument types are handled across assignments and dereferences. The fix is complete when setting arg1 to struct OBJECT_ATTRIBUTES** causes the referenced variable to display the propagated OBJECT_ATTRIBUTES* type instead of the original cast type.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

Component: Core Core: Type Propagation Effort: Medium Impact: Low

Version and Platform (required):

  • Binary Ninja Version: 3.5.4480-dev, 60681746
  • OS: windows
  • OS Version: 11
  • CPU Architecture: x86_64

Bug Description:
When setting a variable (var1) or argument to a different or custom type and another variable (var2) references it (e.g. var1 = var2, or var1 = *var2), the type information we set on var1 does not propagate to var2.

Steps To Reproduce:
Open anything (e.g. Kernelbase.dll), find a function (e.g. PsspValidateWin32WalkMarker) and set arg1 to a double pointer (e.g. struct OBJECT_ATTRIBUTES** arg1)

Now view anything that does something like
int32_t rbx_1 = *arg1

Note that in this case above, rbx_1 maintained its old/original type, making this assignment a cast, when I'd want it to propagate the type I specifically set for arg1.

I don't see an option for this either? Which makes finding cross-refs for certain types difficult, as you not only have to change the type in an argument, but all variables that copy its value.

Expected Behavior:
I should expect to see something like:
OBJECT_ATTRIBUTES* rbx_1 = *arg1

Screenshots:
image

Additional Information:

Ngôn ngữ chính
C++
Star
1.3k
Fork
298
Merge trung bình
5 ngày 5 giờ
Pull request đã merge (30 ngày)
19

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của Vector35/binaryninja-api

Tất cả issue của Vector35/binaryninja-api

Issue tương tự

Thêm issue về C++

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.