A discrete solution static analysis application.