-
Notifications
You must be signed in to change notification settings - Fork 261
Open
Labels
Component: Type LibrariesEffort: LowIssues require < 1 week of workIssues require < 1 week of workImpact: LowIssue is a papercut or has a good, supported workaroundIssue is a papercut or has a good, supported workaround
Milestone
Description
Version and Platform (required):
- Binary Ninja Version: 5.2.8012
- Edition: Ultimate
- OS: macOS
- OS Version: 15.6
- CPU Architecture: M3
Bug Description:
The err family of libc functions are not marked as noreturn. Compilers assume it won't return and sometimes don't emit valid code after the call.
Steps To Reproduce:
Open up the x86_64 slice of /bin/ls from macOS 15.6. The _start function is in guided analysis mode because of continuing analysis after a call to _err.
Expected Behavior:
Disassembly should stop at calls to the err family of libc functions by adding __noreturn to them, preventing bad disassembly.
Metadata
Metadata
Assignees
Labels
Component: Type LibrariesEffort: LowIssues require < 1 week of workIssues require < 1 week of workImpact: LowIssue is a papercut or has a good, supported workaroundIssue is a papercut or has a good, supported workaround