It's worth noting that a professional security and pentest company I know of had a Python-based exploit authoring DSL that automatically generated exploit code

It's worth noting that a professional security and pentest company I know of had a Python-based exploit authoring DSL that automatically generated exploit code across a very wide range of processor architectures and OSes. Makes sense. If entire OSes can be written in an intermediate representation, then exploits can be as well.