Kết hợp phân tích tĩnh và kiểm tra động trong việc xây dựng đô thị luồng điều khiển phục vụ phân tích mã nhị phân