Question: How to use options like use_value_profile in Junit

[vcth4nh]

Like the title, how can I use options like use_value_profile, keep_going,... when fuzzing with Junit?
I added jazzer.use_value_profile=1 to the junit-platform.properties but it not work.
The doc said

the jazzer.some_opt JUnit configuration parameter

but I'm not sure what that mean.
Can you provide an example?
Thanks a lot

[bertschneider]

You can specify Jazzer parameters in junit-platform.properties, but -use_value_profile=1 is libFuzzer internal and not configurable that way.

As value profile is a common requirement we added dedicated JUnit handling for it. You can find an example test at

jazzer/examples/junit/src/test/java/com/example/ValueProfileFuzzTest.java

Line 23 in 1f2bdf9

class ValueProfileFuzzTest {

@vcth4nh - Thanks for your question! I hoped @bertschneider helped you. Are you still using Jazzer?
You may have seen there haven't been any updates for a while....We stopped maintaining Jazzer/Jazzer.js as open source.
But we'd be happy to understand what you're trying to achieve with it, and help you if we can!
Ping me if interested?
david[dot]merian [at] code-intelligence[dot]com

[vcth4nh]

Thanks for getting back to me.
Just letting you know, I no longer use Jazzer anymore.
You can go ahead and close this issue. Thanks!

Thank you, Vũ! We'll close the issue. May I ask how you determined to stop using Jazzer? *--* *David MERIAN | Account Executive* Mobile: +49 (0) 1517 5488298 | LinkedIn <https://cVqtd04.na1.hs-sales-engage.com/Ctc/I6+23284/cVqtd04/JkM2-6qcW6N1vHY6lZ3m3W7H8Vcv876RztW4xtz-Y3BsfRqW8RtKgg5-trkqW6Tc1yr575tnTW1_fSHs36Cr7JW5Js4HN7xhB7bW8f0g-R3GbVwqW83lN-j2sQ2ttW9bKmw61_2Y66V54Vvr6yqWmGW45C1cz8ttM8_W6ycl483LHjpVW8RnvZf43-yzBW92Mcyx4bd5p7W5c0jqb3W3M7SN2kx6M4JBqk8W7VJhzT265fXTW2vPnKh411HFfN622P0NFYnSqW4yB86D3qrrt0W7MwQ_s5ff2q7W84wLSj29LyjRf6SQ5g004> ***@***.*** ***@***.***> Code Intelligence GmbH Rheinwerkallee 6 | D-53227 Bonn web: www.code-intelligence.com District Court of Bonn | HRB 23408 Managing Directors: Sergej Dechand, Dr. Khaled Yakdan, Dr. Eric Brüggemann

…

On Sun, Mar 17, 2024 at 9:28 PM Vũ Chí Thành ***@***.***> wrote: Thanks for getting back to me. Just letting you know, I no longer use Jazzer anymore. You can go ahead and close this issue. Thanks! — Reply to this email directly, view it on GitHub <#877 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/A4ZAO7AAKOZCW6ZPJGXM4RDYYX4FNAVCNFSM6AAAAAA6HUO776VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMBSGYYDMOBYGY> . You are receiving this because you commented.Message ID: ***@***.***>

[vcth4nh]

Hi,
I just want to try some fuzz programs to see how it work, that's all.