Skip to content

Commit 52863e8

Browse files
committed
runtime: Do not track map key comparisons per key
With a dynamic map, this very quickly overflows the feature table and stalls fuzzer progress due to the rapidly increasing feature count for distinct keys. In the future, we may be able to detect static keys and reenable this more fine-grained tracking.
1 parent e3291c1 commit 52863e8

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

src/main/java/com/code_intelligence/jazzer/runtime/TraceCmpHooks.java

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -816,12 +816,10 @@ public static void mapGet(
816816
}
817817
// Modify the hook ID so that compares against distinct valid keys are traced separately.
818818
if (lowerBoundKey != null) {
819-
TraceDataFlowNativeCallbacks.traceGenericCmp(
820-
currentKey, lowerBoundKey, hookId + lowerBoundKey.hashCode());
819+
TraceDataFlowNativeCallbacks.traceGenericCmp(currentKey, lowerBoundKey, hookId);
821820
}
822821
if (upperBoundKey != null) {
823-
TraceDataFlowNativeCallbacks.traceGenericCmp(
824-
currentKey, upperBoundKey, hookId + upperBoundKey.hashCode());
822+
TraceDataFlowNativeCallbacks.traceGenericCmp(currentKey, upperBoundKey, 31 * hookId + 11);
825823
}
826824
}
827825

0 commit comments

Comments
 (0)