ResearchTrend.AI
Validating Network Protocol Parsers with Traceable RFC Document Interpretation

Validating Network Protocol Parsers with Traceable RFC Document Interpretation

Mingwei Zheng
Danning Xie
Qingkai Shi
Chengpeng Wang
Xinming Zhang
ArXiv (abs)PDFHTML

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
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
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
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
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
Evaluating Language Models for Efficient Code Generation
Jiawei Liu
Songrun Xie
Junhao Wang
Yuxiang Wei
Yifeng Ding
Lingming Zhang
63
38
0
12 Aug 2024
Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM
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

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.