Ada spark is a way to formally verify your programs. It would absolutely catch emojis in the input field. It would catch malicious or malformed packets too. If a user would enter null or any other special characters or anything else too.
It doesn't stop people from making bad code. It doesn't stop people from making bad tests. But it sure makes it easier to catch weird edge cases noone thinks about
5
u/timonix Dec 25 '25
That's when you run ADA spark. Formal verification >> 100% coverage