fix: check for negative values when parsing JAZZER_MAXIMIZE_MAX_COUNTERS

kyakdan · kyakdan · commit 99bc264ca163 · 2026-02-06T09:14:27.000+01:00
diff --git a/src/main/java/com/code_intelligence/jazzer/runtime/CountersTracker.java b/src/main/java/com/code_intelligence/jazzer/runtime/CountersTracker.java
@@ -261,7 +261,11 @@ private static int initMaxCounters() {
       return DEFAULT_MAX_COUNTERS;
     }
     try {
-      return Integer.parseInt(value.trim());
+      int parsed = Integer.parseInt(value.trim());
+      if (parsed <= 0) {
+        return DEFAULT_MAX_COUNTERS;
+      }
+      return parsed;
     } catch (NumberFormatException e) {
       return DEFAULT_MAX_COUNTERS;
     }

Original file line number	Diff line number	Diff line change
`@@ -261,7 +261,11 @@ private static int initMaxCounters() {`
`261`	`261`	`return DEFAULT_MAX_COUNTERS;`
`262`	`262`	`}`
`263`	`263`	`try {`
`264`		`- return Integer.parseInt(value.trim());`
	`264`	`+ int parsed = Integer.parseInt(value.trim());`
	`265`	`+ if (parsed <= 0) {`
	`266`	`+ return DEFAULT_MAX_COUNTERS;`
	`267`	`+ }`
	`268`	`+ return parsed;`
`265`	`269`	`} catch (NumberFormatException e) {`
`266`	`270`	`return DEFAULT_MAX_COUNTERS;`
`267`	`271`	`}`