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.

Frédéric Tuong

dblp:81/10475 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
1since 2021 · last 2023
0009-0009-2462-6669ORCID · corroborated

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

Software engineering, systems software and programming languages · 2 · 1 first-author · 1 since 2021Theory of computation · 1

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 · 67% Program analysis · 33%

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

TopicWeightPapersLastEvidence papers
Program analysis › symbolic execution
dynamic symbolic execution
0.712023
SymRustC: A Hybrid Fuzzer for Rust · ISSTA 2023
Software testing
fuzzing
0.712023
SymRustC: A Hybrid Fuzzer for Rust · ISSTA 2023
Software testing › fuzzing
hybrid fuzzing
0.712023
SymRustC: A Hybrid Fuzzer for Rust · ISSTA 2023

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

fuzzing · 0.7concolic execution · 0.7
YearPublicationVenuePosition
2023 SymRustC: A Hybrid Fuzzer for Rust
abstract
We present SymRustC, a hybrid fuzzer for Rust. SymRustC is hybrid in the sense that it combines fuzzing and concolic execution. SymRustC leverages an existing tool called SymCC for its concolic execution capability and another existing tool called LibAFL for its fuzzing capability. Since SymCC instruments LLVM IR (Intermediate Representation) for concolic execution and the Rust compiler uses LLVM as a backend, we integrate SymCC with the Rust compiler to instrument Rust programs for concolic execution. LibAFL provides a framework to develop a fuzzer, and we use it to develop a hybrid fuzzer that combines fuzzing and our concolic execution. We discuss our implementation as well as four case studies to demonstrate that SymRustC can generate inputs that discover errors in Rust programs.
Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko
ISSTA1
2011 First Steps towards the Certification of an ARM Simulator Using Compcert
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui
CPP3