Là một kỹ thuật static analysis giúp nhận dạng được thứ tự thực hiện của các câu lệnh có trong chương trình. Kỹ thuật này quan tâm đến control flow (luồng thực thi) của chương trình nhằm tìm ra cách mà một chương trình thực thi.
Flow senstitive có thể giúp tìm ra các lỗi runtime chẳng hạn như null pointer, uninitialized variables, …