> Isn't it a dynamic analysis tool, i.e. a C interpreter that keeps an eye out for UB? Indeed, I'm sorry, I had tis-analyzer in mind. tis-interpreter is indeed

> Isn't it a dynamic analysis tool, i.e. a C interpreter that keeps an eye out for UB? Indeed, I'm sorry, I had tis-analyzer in mind. tis-interpreter is indeed closer to Valgrind. It interprets the C code according to its semantics, without going down to assembly level nor executing the code.