hybrid data-flow testing hybrid data-flow testing framework based on KLEE, BLAST, CPAchecker and CBMC