请注意，由于add函数的输入参数在运行时被绑定到int类自变量，因此产生了数值的增加。

Note that a numeric addition has occurred because the input parameter to the add function is bound to an int type argument at function execution time. Now, try this.

youdao

穷举法是根据各个自变量所有可能取值相对应的函数值(输出值)寻找参数特征的一种分析方法。

Exhaustive method is an analysis method that looks for parameter property according to all obtainable corresponding function values (output values) for various independent variables.

youdao