Dear mentors, I am looking for a sponsor for my package "esbmc". Package name : esbmc
Version : 8.3.0+dfsg-4 Upstream author : ESBMC Development Team < [email protected] > URL :
https://esbmc.org License : Apache-2.0 and BSD-4-Clause Section : devel It builds a single
binary package: esbmc -- Efficient SMT-based Context-Bounded Model Checker ESBMC is a
context-bounded model checker for the verification of single- and multi-threaded C/C++ and
Python programs. It can automatically verify safety properties such as array bounds, pointer
safety, and arithmetic overflow using SMT solvers including Z3. The package is available on
mentors.debian.net: https://mentors.debian.net/package/esbmc/ ITP bug:
https://bugs.debian.org/1138660 Lintian output for 8.3.0+dfsg-4 shows only experimental (X)
tags; no errors or warnings. Regards, Weiqi Wang
