Skip to content

Author

Haipeng Cai

We have 6 of 39 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Aug 2026

How Reliable Are NVD CWE Labels? A Large-Scale Semantic Audit with Seclometry

CWE labels in the National Vulnerability Database (NVD) are widely treated as ground truth for vulnerability search, scanner evaluation, benchmark construction, learning-based security tools, and vulnerability prioritization. Yet their reliability has not been systematically measured at scale, despite growing concerns...

Yu Nong, Yao Du, Majid Behravan et al. · 0 citations
Preprint Aug 2026

A Comprehensive Study of Native Code Bugs in Python Applications

The impact of Python applications has been evidenced by their widespread presence in some of the most impactful software domains, such as machine learning frameworks and scientific computing platforms. These applications often integrate native code components written in a lower-level programming language like C. This m...

Haoran Yang, Hai-Peng Cai · 0 citations
#software testing Preprint Sep 2026

The Data Problem in Software Vulnerability Analysis: Artifacts, Quality, and Consumption

This work investigates the data behind vulnerability analysis through a dataset-centric taxonomy that separates what an artifact is (code, metadata, patches, tests/PoCs, reasoning, traces), how good it is (realism, label evidence, scale, diversity, leakage, availability), and what it is used for.

Yu Nong, Yao Du, Tian-Xiang Xu et al. · 0 citations
#software testing Preprint Aug 2026

POLYFLOW: A Neuro-Symbolic Framework for Static Cross-Language Information Flow Analysis

PolyFlow is a neural-symbolic framework for statically reasoning about information flow across language boundaries, combining large language models (LLMs) and static analysis synergistically, and is cost-effective and superior to various kinds of state-of-the-art baselines.

Haoran Yang, Zhi-Xuan Zhong, Jiawei Guo et al. · 0 citations
Preprint Aug 2026

Neuro-Symbolic Proof-of-Vulnerability Generation with Open-Weight Models

POVGEN, a low-cost neuro-symbolic framework that makes PoV generation cost-effective via semantic focusing and LLM-guided constraint reasoning using open-weight models, and fine-tuned open-weight models match frontier commercial LLMs on key sub-tasks while running locally at no per-sample API cost.

Yu Nong, Hai-Peng Cai · 0 citations
Preprint Aug 2026

Dissecting Software Graphs: Structural Insights for Driver-Guided Fuzzing

A structural abstraction is proposed that uses a static call graph as a shared backbone and projects driver-specific dynamic coverage onto it to derive driver-induced subgraphs and shows that multi-driver fuzzing is fundamentally a structural exploration problem.

Bai-Hong Chen, Ming Hua, Wei-Feng Pan et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.