Hello, Our UC-KLEE tool found an out-of-bounds dereference in the bin/tests/dst/t_dst.c regression test. When the signature file contains an odd number of non-newline bytes, the loop in sig_fromfile will attempt to read one byte past the end of the buffer. Clearly a bug in one of the regression tests isn't an urgent matter, but it's probably worth fixing in case the code ever gets copied elsewhere. The bug occurs in the latest git HEAD. Attached is a proposed fix. Thanks, -David