Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

Jingqi Long

dblp:426/4223 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 77% Program analysis · 23%
Network and information security
1 paper
Systems and software security · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security › vulnerability discovery
fuzzing
0.912025
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths · ASE 2025
Systems and software security
vulnerability discovery
0.912025
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths · ASE 2025
Software testing
fuzzing
0.912025
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths · ASE 2025
Software testing › fuzzing
hybrid fuzzing
0.912025
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths · ASE 2025
Program analysis
constraint solving
0.312025
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths · ASE 2025
Program analysis
dynamic analysis
0.312025
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths · ASE 2025

Methods — techniques the papers use, named apart from their topics

program analysis · 1.7hybrid fuzzing · 1.7constraint solving · 1.7
YearPublicationVenuePosition
2025 Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths
abstract
Fuzz testing is a widely used method for finding security issues in software. However, certain code paths can only be explored under specific program states. Flag variables, which represent internal states, are crucial in influencing program behavior through flag-guarded branches. Unfortunately, existing fuzzing tools struggle to efficiently explore them due to the implicit data dependency between flag variables and the input. As a result, they commonly lack awareness of the dependency between program input and the assignments of critical flag variables, leading to a blind or random approach to satisfy flag-checking constraints, which greatly impacts the fuzzing efficiency.To address this issue, this paper proposes a dynamic flag-guided hybrid fuzzing approach, which automates the identification of flag variables and provides guidance for fuzz testing. Specifically, we first design a pre-fuzzing program analysis to recognize flag variables and a novel data structure to present how flag variables guard code branches. Then, we propose a new constraint-solving approach by separating complex flag-checking constraints into a set of atomic ones and sequentially solving them by traversing our FDG to locate execution paths that could assign the flag variables with the desired values.We implement a prototype tool, called Algernon, and evaluate it on 20 popular open-source programs. Across all tested programs, Algernon outperforms QSYM, Angora, AFL++, and INVSCOV in terms of both code coverage and vulnerability discovery, demonstrating the effectiveness of our approach. During our experiments, Algernon successfully found 30 zero-day vulnerabilities with 11 CVE IDs assigned.
Lei Zhang 0006, Jingqi Long, Wenzheng Hong, Zhemin Yang, Yuan Zhang 0009, Donglai Zhu, Min Yang 0002
ASE3