Path to this page:
./
devel/deepstate-libfuzzer,
Augments C/C++ Test-Driven Development with Symbolic Execution
Branch: CURRENT,
Version: 0.1,
Package name: deepstate-libfuzzer-0.1,
Maintainer: khorbenDeepState 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.
This package adds support for libfuzzer to DeepState.
Master sites:
Version history: (Expand)
- (2020-09-29) Package added to pkgsrc.se, version deepstate-libfuzzer-0.1 (created)
CVS history: (Expand)
2020-12-29 15:07:34 by Nia Alarie | Files touched by this commit (1) |
Log message:
deepstate-libfuzzer: Add missing py-setuptools dependency
|
2020-12-24 05:29:58 by Makoto Fujiwara | Files touched by this commit (1) |
Log message:
(devel/deepstate-libfuzzer) Add clang as BUILD_DEPENDS.
|
2020-09-29 05:03:54 by Pierre Pronchery | Files touched by this commit (3) |
Log message:
deepstate-libfuzzer: 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.
This package adds support for libfuzzer to DeepState.
|