Added static analysis example