[Q] How to enable value profiling when running a Junit @FuzzTest ? #668

Activity

1. mdindoffer commented on Mar 17, 2023

   

   mdindoffer

   on Mar 17, 2023

   Last edited by mdindoffer

   Author

   More actions

   OK, I think I found the answer browsing the code at

   jazzer/src/main/java/com/code_intelligence/jazzer/junit/FuzzTestExecutor.java

   Line 140 in cec3a81

   context.getConfigurationParameter("jazzer.valueprofile").orElse("false"))) {

   The solution is to add a system property with the name hardcoded in jazzer before executing the unit test.

       @BeforeAll
       static void beforeAll() {
           System.setProperty("jazzer.valueprofile", "true");
       }

   I will leave this open for someone to confirm that this is actually the intended way to do this. Might be worth adding to the docs.
3. mdindoffer commented on Feb 26, 2024

   

   mdindoffer

   on Feb 26, 2024

   Last edited by mdindoffer

   Author

   More actions

   Ah I forgot about this.
   I am using Jazzer from time to time, haven't used it since October 2023 though (version 0.21.1).

   That said, my previous comment was wrong. Setting the value via System.setProperty makes no difference, because that sets only the Java "System Property", while Jazzer is (was?) looking for environment variables.

   Therefore, I ended up setting the environment variable textfield in my Intellij Idea IDE run configurations with JAZZER_FUZZ=1;jazzer.valueprofile=true.
   

   This works for me well enough, since I'm used to fuzz from the IDE anyway. For CLI/CI one has to pass the value in a different way of course.

   Well, to further confuse you, I was wrong. I just checked and seems the System.setProperty call is actually the way to go, lol.