On VIBES we're working mainly with Thumb binaries, and in BAP a substantial portion of the semantics for Thumb instructions are not being provided by any of the available BIL lifters. However, the current way that calls to intrinsic functions is being detected relies on there being a BIL lifter available.
As a consequence, we're unable to provide any meaningful info (such as user function specs) about function calls in these binaries. We should change how such intrinsic calls are detected.
bmourad01
commented
2 years ago
On VIBES we're working mainly with Thumb binaries, and in BAP a substantial portion of the semantics for Thumb instructions are not being provided by any of the available BIL lifters. However, the current way that calls to intrinsic functions is being detected relies on there being a BIL lifter available.
As a consequence, we're unable to provide any meaningful info (such as user function specs) about function calls in these binaries. We should change how such intrinsic calls are detected.