Structural Static Analysis