search

CodeIntelligenceTesting / jazzer

Coverage-guided, in-process fuzzing for the JVM
https://code-intelligence.com
Other
1.03k stars 137 forks source link

Question: How to use options like use_value_profile in Junit #877

Open vcth4nh opened 1 year ago

vcth4nh commented 1 year ago

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 commented 11 months ago

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 https://github.com/CodeIntelligenceTesting/jazzer/blob/1f2bdf936b6856b6ecff6a79f5dfd4085db1adb1/examples/junit/src/test/java/com/example/ValueProfileFuzzTest.java#L23

ghost commented 8 months ago

@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 commented 8 months ago

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!

ghost commented 8 months ago

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 https://github.com/CodeIntelligenceTesting/jazzer/issues/877#issuecomment-2002606886, or unsubscribe https://github.com/notifications/unsubscribe-auth/A4ZAO7AAKOZCW6ZPJGXM4RDYYX4FNAVCNFSM6AAAAAA6HUO776VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMBSGYYDMOBYGY . You are receiving this because you commented.Message ID: @.***>

vcth4nh commented 8 months ago

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