some static analysis examples