Static Analysis of Digital Filters