Dominik Maier 1bb37e4b98
Book: Explain SymCC constraint solving (follow up on #980) (#986)
* Make the kind of solving more clear (follow up on #980)

* Update docs/src/advanced_features/concolic.md

Co-authored-by: julihoh <julihoh@users.noreply.github.com>

Co-authored-by: julihoh <julihoh@users.noreply.github.com>
2023-01-05 11:51:31 +01:00
..
2021-03-22 20:22:42 +01:00
2021-09-27 09:53:15 +02:00
2021-04-23 05:36:07 +02:00

LibAFL Documentation Book

This project contains the out-of-source LibAFL documentation as a book.

Here you can find tutorials, examples, and detailed explanations.

For the API documentation instead, run cargo doc in the LibAFl root folder.

Usage

To build this book, you need mdBook.

mdbook build to build, mdbook serve to serve the book locally.