Vulnerability detection has always been the most important task in the field of software
security. With the development of technology, in the face of massive source code, automated …

The development of Symbiotic 9 focused mainly on two components. One is the symbolic
executor Slowbeast, which newly supports backward symbolic execution including its …

Symbiotic 10 brings four substantial improvements. First, we extended our clone of Klee
called JetKlee with lazy memory initialization. With this extension, JetKlee can symbolically …

Symbiotic 8 extends the traditional combination of static analyses, instrumentation, program
slicing, and symbolic execution with one substantial novelty, namely a technique mixing …

The prevalence and severity of software configuration-induced issues have driven the
design and development of a number of detection and diagnosis techniques. Many of these …

Smart contracts have been widely used in the blockchain world these years, and
simultaneously vulnerability detection has gained more and more attention due to the …

As a fundamental component of Internet of Things (IoT) devices, firmware plays an essential
role. Nowadays, the development of IoT firmware relies extensively on third-party …

Bounded model checking (BMC) and fuzzing techniques are among the most effective
methods for detecting errors and security vulnerabilities in software. However, there are still …

We introduce new algorithms for computing non-termination sensitive control dependence
(NTSCD) and decisive order dependence (DOD). These relations on vertices of a control …

Taint analysis of value flows, as a static analysis technique, has gained widespread
application in the fields of software security and vulnerability mining. However, when dealing …