: A Symbolic Execution and Automatic Test Generation Tool for Programs
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 (which is for ). Flow is similar to KLEE’s.
Sergey Vartanov, 2007–2020