Structured Type Editor

In Binary Ninja the only way to edit types directly is through free-form text. Though this approach has many advantages there are also some disadvantages. The some of the disadvantages of this approach are as follows:

• C-syntax may not be well known by the user.
• C-syntax is incapable of expressing somethings that our type system can express such as:
• Structures with slack space
• Offset pointers
• Confidence
• CONTAINING_RECORD
• Function Parameters with specified storage
• (Register) Stack adjustments
• System Calls

Our current approach to the above is to add special extensions to the clang type parser to allow for these which works but requires users to understand new custom syntax.

To address these concerns we plan to devise a Structured Type Editor. This would allow users an alternative method for constructing types which would give users a more guided approach to creating structures as well as exposure of some features which aren't currently possible with the current free-form editor.

The idea would be to keep the existing interfaces as is, and augment them with a new alternative type editing interface.

No files, tests, or entry points are named. Start by reviewing the existing type-editing interfaces and the current clang type-parser extensions; the work is done when a defined structured editing interface covers the listed type-system features without changing existing interfaces.