Function run_static_check

src/static_check.py:93–205

(checker:str, args, function_name:str, falcon:Falcon, text:str)

    return pattern.lower() in text.lower()

def run_static_check(checker:str, args, function_name:str, falcon:Falcon, text:str) -> bool:
    # if there is a vulnerability, return true
    match checker:
        case "find_data_dependency":
            if args[0] is None or args[0] == '' or args[0] == 'N/A':
                return False
            if args[1] is None or args[1] == '' or args[1] == 'N/A':  # TODO 'N/A' for the case of return value
                return False
            if args[1] == args[0]:
                return True

            console.print(rich_utils.make_args_table(args, "find_data_dependency"))

            lines = text.splitlines()
            for line in lines:
                 # if these two variable are in the same line, they have dependency
                if args[0] in line and args[1] in line and '=' in line:
                    return True
                # if first parameter is in the return statement
                if args[0] in line and 'return ' in line:
                    return True
                    
            if falcon is None:
                logger.warning("Falcon is not initialized, skipping data dependency check")
                return False
            
            return falcon_adapter.find_data_dependency(args[0], args[1], function_name, falcon)
        
        case "first_deposit_check":
            if falcon is None:
                logger.warning("Falcon is not initialized, skipping first deposit check")
                return False
            varB = args[0]
            varC = args[1]
            varA = args[2]
            logger.info(f"first_deposit_check: VariableA: {varA}; VariableB: {varB}; VariableC: {varC}")
            # check Variable C
            if varC == "" or varC == "N/A":
                return False
            
            console.print(rich_utils.make_args_table(args, "first_deposit_check"))

            # check if (VariableB == 0) or in the else branch via __has_larger_check(varB, "0", text)) but need if
            checkB = __has_eq_check(varB, "0", text)
            # check VariableA = VariableC  or  mint(VariableC)
            return checkB and falcon_adapter.first_deposit_check(varB, varC, varA, function_name, falcon)
        
        case "has_check":
            init_value = None
            for arg in args:
                if arg is None:
                    continue
                new_value = __has_check(arg, text)
                if new_value is None:
                    continue
                if init_value == None:
                    init_value = not new_value
                else: