Programmable verification and analysis tool for C++
