Massive software applications possess complex data structures or parse complex data
structures; in such cases, vulnerabilities in the software become inevitable. The …

Large language models (LLMs) have recently experienced tremendous popularity and are
widely used from casual conversations to AI-driven programming. However, despite their …

Memory sanitizers are powerful tools to detect spatial and temporal memory errors, such as
buffer overflows and use-after-frees. Fuzzers and software testers often rely on these tools to …

Spatial memory errors such as buffer overflows still rank among the top vulnerabilities in
C/C++ programs. Despite much research in the area, the performance overhead of (even …

Multiple base fuzzers collaborate as a fuzzer combination. Fuzzer combinations have been
proven to perform more robustly and efficiently when fuzzing complicated real-world …

Uncovering bugs in concurrent programs is a challenging problem owing to the
exponentially large search space of thread interleavings. Past approaches towards …

Software security continues to be a critical concern for programs implemented in low-level
programming languages such as C and C++. Many defenses have been proposed in the …

An increasing number of robotic programs are implemented based on Robot Operating
System (ROS), which provides many practical tools and libraries for robot development. To …

Although numerous dynamic testing techniques have been developed, they can hardly be
directly applied to firmware of deeply embedded (eg, microcontroller-based) devices due to …