-
Notifications
You must be signed in to change notification settings - Fork 146
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Set the -max_len argument in junit #885
Comments
the junit integration in general is missing a bunch of features that make it unusable for some of our fuzz targets. e.g. setting the instrumented classes or the corpus. It would be nice to have some generic, non-internal way of adding jazzer parameters to a FuzzTest. |
Add into junit-platform.properties lines: |
@yawkat - Good feedback! |
@ramzanzan and @svdbtno - same as I wrote to @yawkat above, happy to chat with you all too about your specific wishes/challenges! |
@svdbtno , @ramzanzan, thank you my friends, you have made my day. Here is my reworked option just in case someone needs it outside platform properties file:
|
We want to have more data available in the
FuzzedDataProvider
. Currently we only receive very few bytes. We would like to receive more therefore we want to set the -max_len for libFuzzer.We currently get the following info log=
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
.We tried setting it using the following command:
JAZZER_FUZZ=1 mvn test -Dtest=ourTest#testMethod -Djazzer.internal.args.0="-max_len=50000"
and we triedJAZZER_FUZZ=1 mvn test -Dtest=ourTest#testMethod -Dmax_len=50000
both did not work. Any suggestions?PS.
jazzer.internal.args.0
is used, since we saw the following:jazzer/src/main/java/com/code_intelligence/jazzer/junit/FuzzTestExecutor.java
Lines 270 to 280 in 1f2bdf9
The text was updated successfully, but these errors were encountered: