Static Analysis In Fem