Convenience wrapper for HipHop's static analyzer