Flow là một công cụ phân tích tĩnh (trình kiểm tra tĩnh – static checker) sử dụng một tập hợp siêu ngôn ngữ, cho p...