Function refine_file_name_constraint

src/program/infer/static_infer.rs:419–431

LLM is possible to assign a string argument with "input_file" name, so check whether this constraint is well inferred

(func: &str, constraints: Vec<Constraint>)

/// LLM is possible to assign a string argument with "input_file" name, so check whether this constraint is well inferred
fn refine_file_name_constraint(func: &str, constraints: Vec<Constraint>) -> Vec<Constraint> {
    let mut retained = Vec::new();
    let deopt = Deopt::new(get_library_name()).unwrap();
    for constraint in constraints {
        if let Constraint::FileName(arg_pos) = constraint {
            if !check_func_arg_is_file_name(func, arg_pos, &deopt).unwrap() {
                continue;
            }
        }
        retained.push(constraint);
    }
    retained
}

fn check_func_arg_is_file_name(func: &str, arg_pos: usize, deopt: &Deopt) -> Result<bool> {
    let succ_seeds = deopt.get_library_succ_seed_dir()?;