Validating Network Protocol Parsers with Traceable RFC Document Interpretation

25 April 2025

Papers citing "Validating Network Protocol Parsers with Traceable RFC Document Interpretation"

6 / 6 papers shown

Title
PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust Yifei Gao Chengpeng Wang Pengxiang Huang Xuwei Liu Mingwei Zheng Xiangyu Zhang 97 0 0 07 May 2025
Large Language Models for Validating Network Protocol Parsers Mingwei Zheng Danning Xie Xinming Zhang 65 3 0 18 Apr 2025
The Hitchhiker's Guide to Program Analysis, Part II: Deep Thoughts by LLMs Haonan Li Hang Zhang Kexin Pei Zhiyun Qian 118 1 0 16 Apr 2025
ChatHTTPFuzz: Large Language Model-Assisted IoT HTTP Fuzzing Zhe Yang Hao Peng Yanling Jiang Xuzhao Li Haohua Du Shuhai Wang Jianwei Liu 114 3 0 18 Nov 2024
Evaluating Language Models for Efficient Code Generation Jiawei Liu Songrun Xie Junhao Wang Yuxiang Wei Yifeng Ding Lingming Zhang 66 38 0 12 Aug 2024
Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM Gabriel Ryan Siddhartha Jain Mingyue Shang Shiqi Wang Xiaofei Ma M. K. Ramanathan Baishakhi Ray LRM 69 68 0 31 Jan 2024