System programmers often unintentionally create executable stack vulnerabilities through nested function calls.
A static analyzer could flag dangerous calling conventions and suggest safer alternatives.
Sell to security-conscious engineering teams building embedded systems or low-level software.
First version could check just GCC compilation outputs for common anti-patterns.
The niche audience makes scaling challenging.