analyzer (static)