BaseSpec:用于在规范文档和基带实现之间比较蜂窝第3层协议消息的工具

描述 BaseSpec是一个对基带实现和蜂窝网络规范进行比较分析的系统。 BaseSpec的主要直觉是基带软件中的消息解码器将协议规范嵌入到机器友好的结构中，以解析传入的消息。 因此，可以轻松提取嵌入式协议结构并将其与规范进行比较。 这使BaseSpec能够自动执行比较过程，并明确发现协议实施中的不匹配项，这些不匹配项是不符合规范的。 这些不匹配可以在嵌入协议结构或暗示潜在漏洞时直接指出开发人员的错误。 利用BaseSpec，我们分析了来自前三大供应商之一的9种设备型号的18个基带固件映像中蜂窝标准L3消息的实现。 BaseSpec识别出数百种不匹配，这些不匹配既指示功能错误，又指示潜在的易受攻击点。 我们调查了它们的功能和安全隐患，发现了9个错误案例，它们影响了33个不同的消息：其中5个案例是功能错误，其中4个是与内存相关的漏洞。 值得注意的是，其中两个漏洞是关键的远程代码执行（RCE