angr / angr-management

The official angr GUI.
BSD 2-Clause "Simplified" License
859 stars 108 forks source link

Config schema, preferences UI generation #1219

Open mborgerson opened 3 months ago

mborgerson commented 3 months ago

Description

It would be nice to auto-generate the preferences interface based on a well-defined schema to reduce the friction of adding new config options. Further, we could replace existing config management with an existing schema based validation library.

Alternatives

1003

Additional context

No response