FRRouting 本次发布的数据集 Bidirectional Forwarding Detection (BFD) Protocol Implementation, 该数据集包含了来自FRRouting的基于C语言实现的BFD协议代码以及相应的官方协议标准RFC 5880。该数据集已被用于评估PARVAL框架在识别实现与RFC标准之间不一致性方面的有效性,并实现了较低的假阳性率。该数据集的规模专注于基于C语言的BFD协议实现,其任务是对网络协议解析器与协议标准的一致性进行验证。
查看Bidirectional Forwarding Detection (BFD) Protocol Implementation
关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库,涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。





_1769672084863.jpg)