Static Analysis of Active Queue Management code