A vulnerability detection framework by focusing on critical execution paths.