Skip to content
#

fuzz-testing

Here are 103 public repositories matching this topic...

CrossHair
pschanely
pschanely commented Jan 4, 2021

Today, many string methods cause symbolic strings to be "materialized" (the symbolic string becomes a concrete string and then gets handed to the native string implementation).

For some of these operations, this is likely the best we can do, but others may be implementable with the SMT solver directly. This is a list of those methods, and we'll check them off when we've decided that we have th

Improve this page

Add a description, image, and links to the fuzz-testing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the fuzz-testing topic, visit your repo's landing page and select "manage topics."

Learn more