Bug#1139283: RFS: esbmc/8.3.0+dfsg-4 [ITP] -- Efficient SMT-based Context-Bounded Model Checker

Package: sponsorship-requests
Severity: wishlist

Dear mentors,

I am looking for a sponsor for my package "esbmc":

 * Package name     : esbmc
   Version          : 8.3.0+dfsg-4
   Upstream contact : ESBMC Development Team <[email protected]>
 * URL              : https://esbmc.org
 * License          : Apache-2.0 and BSD-4-Clause
 * Vcs              : https://github.com/esbmc/esbmc
   Section          : devel

The source builds the following binary packages:

  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.

To access further information about this package, please visit the
following URL:

  https://mentors.debian.net/package/esbmc/

Alternatively, you can download the package with 'dget' using this command:

  dget -x https://mentors.debian.net/debian/pool/main/e/esbmc/esbmc_8.3.0+dfsg-4.dsc

ITP bug: https://bugs.debian.org/1138660

Changes since the last upload:

  * Fix debian/watch: switch to mode=git to bypass GitHub's
    JavaScript-rendered tags page; use dversionmangle to strip +dfsg
    and .0 suffix from the Debian version for comparison with
    upstream's 2-part tags (e.g. v8.3). uscan now correctly reports
    the package as up to date.

Lintian output for 8.3.0+dfsg-4 shows only experimental (X) tags;
no errors or warnings.

Regards,
Weiqi Wang