Up

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs

<span class=abbr>KLOVER</span>: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
1 · 2

1 It is about automatic test generation. They are extending SE tool from C to C++. They use symbolic virtual machine. They use term structural coverage (SE is good for it). They check: memory out-of-bounds access, divide-by-zero, user-defined assertions.

2 KLOVER is built on top of KLEE (which is for C). Flow is similar to KLEE’s.

Sergey Vartanov, 2007–2020