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

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

Branch: CURRENT, Version: 0.1nb2, Package name: deepstate-libfuzzer-0.1nb2, 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.

This package adds support for libfuzzer to DeepState.

Master sites:

Version history: (Expand)

CVS history: (Expand)


   2024-10-14 08:46:10 by Thomas Klausner | Files touched by this commit (325) 
Log message:
*: clean-up after python38 removal
   2024-10-13 21:56:58 by Thomas Klausner | Files touched by this commit (7) 
Log message:
py-sha3: not for Python 3.13

Mark all dependencies of it the same way.
   2024-08-25 08:19:21 by Thomas Klausner | Files touched by this commit (575) 
Log message:
*: replace CMAKE_ARGS with CMAKE_CONFIGURE_ARGS
   2024-08-07 21:24:31 by Thomas Klausner | Files touched by this commit (7) 
Log message:
*: Try fixing deepstate and dependencies and py-angr and dependencies
   2023-08-14 07:25:36 by Thomas Klausner | Files touched by this commit (1247) 
Log message:
*: recursive bump for Python 3.11 as new default
   2023-06-06 14:42:56 by Taylor R Campbell | Files touched by this commit (1319) 
Log message:
Mass-change BUILD_DEPENDS to TOOL_DEPENDS outside mk/.

Almost all uses, if not all of them, are wrong, according to the
semantics of BUILD_DEPENDS (packages built for target available for
use _by_ tools at build-time) and TOOL_DEPEPNDS (packages built for
host available for use _as_ tools at build-time).

No change to BUILD_DEPENDS as used correctly inside buildlink3.

As proposed on tech-pkg:
https://mail-index.netbsd.org/tech-pkg/2023/06/03/msg027632.html
   2023-03-03 10:25:27 by Thomas Klausner | Files touched by this commit (6) 
Log message:
deepstate*: put distinfo into each directory

This allows patches for only some of the packages.

Add patch for deepstate-hongfuzz to make this configure.
   2022-11-14 15:34:49 by Thomas Klausner | Files touched by this commit (15) 
Log message:
py-pysha3: mark as not for python 3.11

This was only ever intended for python < 3.6, but we do have some
users in pkgsrc on newer python versions.