./devel/deepstate, Augments C/C++ Test-Driven Development with Symbolic Execution

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.1nb1, Package name: deepstate-0.1nb1, Maintainer: khorben

DeepState is a framework that provides C and C++ developers with a common
interface to various symbolic execution and fuzzing engines. Users can write
one test harness using a Google Test-like API, then execute it using multiple
backends without having to learn the complexities of the underlying engines. It
supports writing unit tests and API sequence tests, as well as automatic test
generation.


Master sites:


Version history: (Expand)


CVS history: (Expand)


   2020-09-29 05:17:20 by Pierre Pronchery | Files touched by this commit (1)
Log message:
deepstate: deepstate-libfuzzer also uses Makefile.common
   2020-09-29 05:01:16 by Pierre Pronchery | Files touched by this commit (2)
Log message:
deepstate: correctly install the binaries

While there, appease pkglint a tad.

Bumps PKGREVISION.
   2020-09-29 04:50:52 by Pierre Pronchery | Files touched by this commit (5)
Log message:
deepstate: import version 0.1

DeepState is a framework that provides C and C++ developers with a common
interface to various symbolic execution and fuzzing engines. Users can write
one test harness using a Google Test-like API, then execute it using multiple
backends without having to learn the complexities of the underlying engines. It
supports writing unit tests and API sequence tests, as well as automatic test
generation.