用途：用于编写接收外部数据的函数时，系统校验所有不可信输入，避免“垃圾进、垃圾出”，降低错误结果与安全漏洞。
主要能力：区分断言与错误处理两层防御：断言用于程序内部缺陷与前后置条件；错误处理用于生产环境可能出现的异常。覆盖类型、范围、格式、空值、集合、必填字段等校验模式，并涉及 SQL 注入、命令注入、路径遍历、缓冲区溢出、整数溢出、XSS 等安全校验。提供校验清单与常见反模式。
使用方式：先识别所有外部输入；记录合法范围、类型、格式、长度以及是否允许空值；思考可能出错的情况；显式实现校验；决定无效数据的处理策略。外部数据应主动校验，内部不变量可用断言记录假设。
适用场景：接收用户输入、外部 API 响应、数据库结果、文件内容、网络数据、配置文件等函数。
限制：资料未说明具体安装或调用方式、依赖平台、价格与性能数据；示例代码未完整展示，实际应用需结合语言与业务规则决定校验强度。