Li et al. introduce ESBMC v7.6, an enhanced SMT-based model checker for C++ that builds on the Clang-based front-end of ESBMC v7.3. It supports exception handling, improved memory safety analysis, and updated STL operational models using Clang AST. doi.org/10.1016/j.scic…
0
0
3
55
0