Library to find bugs in C++11 code via native symbolic execution