Comprehensive Static Analysis Using Polyspace Products