IssueName - 用作可疑问题的标题。FunctionName - 函数的名称。FoundIn - 包含可能感兴趣的引用的函数。地址- 检测到的呼叫的地址。状态- 审查状态，初始Not Checked分配给每个新项目。其他状态是False Positive和。这些可以使用给定项目上的右键单击菜单进行设置，并且应该反映给定函数调用的手动审查结果。SuspiciousVulnerable优先级- 尝试将更有趣的呼叫优先于不太有趣的呼叫。可能的值为High和。优先级与文件中的其他规则一起定义。MediumLowvulfi_rules.json评论- 给定项目的用户定义评论。

[    // 规则数组    {        "name" : " RULE NAME " , // 规则的名称        "alt_names" :[             " function_name_to_look_for "  // 应与此规则中定义的条件匹配的所有函数名称的列表        ],        "wrappers" : true ,     // 也寻找上述函数的包装器（注意包装的函数也必须匹配规则）        "mark_if" :{             "High" : " True " ,   // If 计算结果为 True,标记为高优先级（参见下面的规则）            “中”：“假”，//如果计算结果为真，则标记为优先中（参见下面的规则）            “低”：“假”  //如果计算结果为真，优先标记低（见下面的规则）        }    }]

{     “名称”：“可能的空指针取消引用”，     “ alt_names” ：[         “ malloc ”，         “ _ malloc” ，         “. malloc ”    ],    “包装器”：假，     “mark_if”：{         “高”：“不是 param[0].is_constant() 而不是 function_call.return_value_checked() ”，         “中”：“假”，         “低”：“假”    }}

param[<index>]: 用于访问函数调用的参数（索引从 开始0）function_call：用于访问函数调用事件param_count: 保存传递给函数的参数计数

参数是否为常数：param[<index>].is_constant()获取参数的数值：param[<index>].number_value()获取参数的字符串值：param[<index>].string_value()调用后参数是否设置为null：param[<index>].set_to_null_after_call()是否检查函数的返回值：function_call.return_value_checked(<constant_to_check>)

标记对第三个参数大于 5 的函数的所有调用：param[2].number_value() > 5标记对第二个参数包含“%s”的函数的所有调用："%s" in param[1].string_value()标记对第二个参数不是常量的函数的所有调用：not param[1].is_constant()标记对函数的所有调用，其中根据等于参数数量的值验证返回值：function_call.return_value_checked(param_count)标记对返回值针对任何值进行验证的函数的所有调用：function_call.return_value_checked()标记对一个函数的所有调用，其中从第三个开始的参数都不是常量：all(not p.is_constant() for p in param[2:])标记对任何参数为常量的函数的所有调用：any(p.is_constant() for p in param)标记对函数的所有调用：True

文章来源：系统安全运维

黑白之道发布、转载的文章中所涉及的技术、思路和工具仅供以安全为目的的学习交流使用，任何人不得将其用于非法用途及盈利等目的，否则后果自行承担！

END