a lua  static analysis