This repository was archived by the owner on Aug 4, 2025. It is now read-only.
This repository was archived by the owner on Aug 4, 2025. It is now read-only.
Types are not propagated due to incorrect parameters #14
Description
Sometimes the parameters of the entry point will directly be passed to a subfunction, without any parameter assignment instruction on the stack. Binary Ninja doesn't recognize these parameters and as a result, the type propagation gets lost here.
As the above issue mentioned, we probably can temporarily solve this by using set_call_type_adjustments API