Binary Ninja is unable to solve indirect dispatch for any array of non-primitive types (e.g. array of structs) that are user defined.
For example, BinaryNinja can resolve these constructs automatically, and create an auto 'jump_table' variable which is a simple array of the load size, and a larger stride. However, if a user tries change the type of the 'jump_table' to a struct, the dispatch site no longer resolves the indirect branches.
bpotchik
commented
2 years ago
Binary Ninja is unable to solve indirect dispatch for any array of non-primitive types (e.g. array of structs) that are user defined.
For example, BinaryNinja can resolve these constructs automatically, and create an auto 'jump_table' variable which is a simple array of the load size, and a larger stride. However, if a user tries change the type of the 'jump_table' to a struct, the dispatch site no longer resolves the indirect branches.