What can you do if available memory becomes a problem during a product’s lifetime?
Switching to another microcontroller model supporting more memory means additional investment: time, effort, and money.
Reducing code size manually is not only tedious and error-prone, but involves additional expense into the bargain. The result: Precious engineering resources are wasted.
By contrast, abstract interpretation and advanced pattern matching techniques provide for a cost-effective generic approach for automatically reducing code size.