Fuzz introspector: CaseFamilyModelFuzzer
For issues and ideas: https://github.com/ossf/fuzz-introspector/issues

Fuzz blockers

The following nodes represent call sites where fuzz blockers occur.

Amount of callsites blocked Calltree index Parent function Callsite Largest blocked function
187 0 EP call site: 00000 [org.safere.fuzz.CaseFamilyChecks].assertCaseFamilyClosureSafeRe(com.code_intelligence.jazzer.api.FuzzedDataProvider)

Fuzzer calltree

0 [org.safere.fuzz.CaseFamilyModelFuzzer].fuzzerTestOneInput(com.code_intelligence.jazzer.api.FuzzedDataProvider) [function] [call site] 00000
1 [org.safere.fuzz.CaseFamilyChecks].assertCaseFamilyClosureSafeRe(com.code_intelligence.jazzer.api.FuzzedDataProvider) [function] [call site] 00001
2 [java.util.List].of(String,String,String,String,String,String,String,String) [function] [call site] 00002
2 [com.code_intelligence.jazzer.api.FuzzedDataProvider].pickValue(org.safere.fuzz.CaseFamilyChecks) [function] [call site] 00003
2 [org.safere.fuzz.CaseFamilyChecks].toArray() [function] [call site] 00004
2 [com.code_intelligence.jazzer.api.FuzzedDataProvider].consumeInt(int,int) [function] [call site] 00005
2 [com.code_intelligence.jazzer.api.FuzzedDataProvider].consumeInt(int,int) [function] [call site] 00006
2 [com.code_intelligence.jazzer.api.FuzzedDataProvider].consumeInt(int,int) [function] [call site] 00007
2 [org.safere.Pattern].compile(org.safere.fuzz.CaseFamilyChecks,org.safere.fuzz.CaseFamilyChecks) [function] [call site] 00008
2 [String].<init>(org.safere.fuzz.CaseFamilyChecks) [function] [call site] 00009
2 [org.safere.Pattern].matcher(String) [function] [call site] 00010
2 [org.safere.Matcher].matches() [function] [call site] 00011
3 [org.safere.Matcher].beginDiagnostics(org.safere.Matcher) [function] [call site] 00012
3 [org.safere.Matcher].matchesImpl() [function] [call site] 00013
4 [org.safere.Matcher].prepareAnchoredAttempt() [function] [call site] 00014
5 [org.safere.Matcher].rememberPreviousMatchEnd() [function] [call site] 00015
6 [org.safere.Matcher].resolveCaptures() [function] [call site] 00016
7 [org.safere.Pattern].prog() [function] [call site] 00017
7 [org.safere.Matcher].activeScanner() [function] [call site] 00018
8 [org.safere.StringInputScanner].<init>(String) [function] [call site] 00019
7 [org.safere.Matcher].enginePathOptions() [function] [call site] 00020
8 [org.safere.Pattern].enginePathOptions() [function] [call site] 00021
7 [EnginePathOptions].onePass() [function] [call site] 00022
7 [org.safere.Pattern].canOnePassSubmatch() [function] [call site] 00023
8 [org.safere.Pattern].onePassAnalysis() [function] [call site] 00024
9 [AstAnalysis].hasLazy() [function] [call site] 00025
9 [org.safere.Prog].numCaptures() [function] [call site] 00026
9 [org.safere.OnePass].build(org.safere.Prog) [function] [call site] 00027
10 [org.safere.Prog].start() [function] [call site] 00028
10 [org.safere.Prog].numCaptures() [function] [call site] 00029
10 [org.safere.OnePass].buildBoundaries(org.safere.Prog) [function] [call site] 00030
11 [org.safere.IntArrayList].<init>() [function] [call site] 00031
12 [org.safere.IntArrayList].<init>(int) [function] [call site] 00032
11 [org.safere.IntArrayList].add(int) [function] [call site] 00033
12 [java.util.Arrays].copyOf(int[],int) [function] [call site] 00034
11 [org.safere.IntArrayList].add(int) [function] [call site] 00035
11 [org.safere.Prog].size() [function] [call site] 00036
12 [java.util.List<org.safere.Inst>].size() [function] [call site] 00037
11 [org.safere.Prog].inst(org.safere.OnePass) [function] [call site] 00038
11 [org.safere.IntArrayList].add(int) [function] [call site] 00039
11 [org.safere.IntArrayList].add(int) [function] [call site] 00040
11 [org.safere.Inst].simpleFold(org.safere.OnePass) [function] [call site] 00041
11 [org.safere.IntArrayList].add(int) [function] [call site] 00042
11 [org.safere.IntArrayList].add(int) [function] [call site] 00043
11 [org.safere.Inst].simpleFold(int) [function] [call site] 00044
11 [org.safere.IntArrayList].add() [function] [call site] 00045
11 [org.safere.IntArrayList].add(int) [function] [call site] 00046
11 [org.safere.IntArrayList].toSortedUniqueArray() [function] [call site] 00047
12 [java.util.Arrays].sort(org.safere.IntArrayList,int,int) [function] [call site] 00048
12 [org.safere.IntArrayList].mergeRuns(org.safere.IntArrayList,int,org.safere.IntArrayList) [function] [call site] 00049
12 [java.util.Arrays].copyOf(int[],org.safere.IntArrayList) [function] [call site] 00050
10 [org.safere.OnePass].maxOnePassStates(org.safere.Prog) [function] [call site] 00051
11 [org.safere.Prog].size() [function] [call site] 00052
11 [org.safere.Prog].inst(org.safere.OnePass) [function] [call site] 00053
10 [org.safere.OnePass].exceedsActionBudget(int,org.safere.OnePass) [function] [call site] 00054
10 [org.safere.Prog].size() [function] [call site] 00055
10 [java.util.Arrays].fill(org.safere.OnePass) [function] [call site] 00056
10 [org.safere.OnePass.BuildTables].<init>(org.safere.OnePass,int) [function] [call site] 00057
10 [org.safere.Prog].start() [function] [call site] 00058
10 [org.safere.OnePass.BuildTables].addState() [function] [call site] 00059
11 [org.safere.OnePass.BuildTables].ensureStateCapacity(int) [function] [call site] 00060
12 [java.util.Arrays].copyOf(long[],org.safere.OnePass.BuildTables) [function] [call site] 00061
12 [java.util.Arrays].copyOf(long[],org.safere.OnePass.BuildTables) [function] [call site] 00062
11 [java.util.Arrays].fill(long[],org.safere.OnePass.BuildTables,org.safere.OnePass.BuildTables,org.safere.OnePass.BuildTables) [function] [call site] 00063
11 [java.util.Arrays].fill(long[],org.safere.OnePass.BuildTables,org.safere.OnePass.BuildTables,org.safere.OnePass.BuildTables) [function] [call site] 00064
10 [org.safere.Prog].size() [function] [call site] 00065
10 [org.safere.Prog].size() [function] [call site] 00066
10 [java.util.Arrays].fill(org.safere.OnePass) [function] [call site] 00067
10 [org.safere.Prog].size() [function] [call site] 00068
10 [org.safere.Prog].inst(org.safere.OnePass) [function] [call site] 00069
10 [java.util.Arrays].copyOf(org.safere.OnePass,int) [function] [call site] 00070
10 [java.util.Arrays].copyOf(org.safere.OnePass,int) [function] [call site] 00071
10 [java.util.Arrays].copyOf(org.safere.OnePass,int) [function] [call site] 00072
10 [java.util.Arrays].copyOf(org.safere.OnePass,int) [function] [call site] 00073
10 [java.util.Arrays].copyOf(org.safere.OnePass,int) [function] [call site] 00074
10 [org.safere.Inst].matchesChar(org.safere.OnePass) [function] [call site] 00075
10 [org.safere.OnePass.BuildTables].stateCount() [function] [call site] 00076
10 [org.safere.OnePass.BuildTables].addState() [function] [call site] 00077
10 [org.safere.OnePass.BuildTables].stateCount() [function] [call site] 00078
10 [org.safere.OnePass.BuildTables].addState() [function] [call site] 00079
10 [org.safere.OnePass].encodeAction(int,org.safere.OnePass,org.safere.OnePass) [function] [call site] 00080
10 [org.safere.OnePass.BuildTables].matchAction(org.safere.OnePass) [function] [call site] 00081
10 [org.safere.OnePass.BuildTables].setMatchAction(org.safere.OnePass,long) [function] [call site] 00082
10 [org.safere.OnePass].encodeAction(org.safere.OnePass,org.safere.OnePass) [function] [call site] 00083
10 [org.safere.OnePass.BuildTables].action(org.safere.OnePass,org.safere.OnePass) [function] [call site] 00084
10 [org.safere.OnePass.BuildTables].setAction(org.safere.OnePass,org.safere.OnePass,long) [function] [call site] 00085
10 [org.safere.OnePass.BuildTables].actions() [function] [call site] 00086
10 [org.safere.OnePass.BuildTables].matchActions() [function] [call site] 00087
11 [java.util.Arrays].copyOf(long[],org.safere.OnePass.BuildTables) [function] [call site] 00088
10 [org.safere.Prog].anchorEnd() [function] [call site] 00089
10 [org.safere.Prog].dollarAnchorEnd() [function] [call site] 00090
10 [org.safere.Prog].dollarAnchorUnixLines() [function] [call site] 00091
10 [org.safere.Prog].hasGraphemeSemantics() [function] [call site] 00092
10 [org.safere.OnePass].<init>(org.safere.OnePass,org.safere.OnePass,int[],boolean,boolean,boolean,boolean) [function] [call site] 00093
9 [org.safere.OnePass].search(String,boolean,int) [function] [call site] 00094
10 [org.safere.StringInputScanner].<init>(String) [function] [call site] 00095
10 [String].length() [function] [call site] 00096
10 [org.safere.OnePass].search(org.safere.StringInputScanner,int,org.safere.OnePass,boolean,int) [function] [call site] 00097
9 [AstAnalysis].hasNullableAlt() [function] [call site] 00098
9 [org.safere.Prog].hasGraphemeSemantics() [function] [call site] 00099
9 [org.safere.Prog].anchorStart() [function] [call site] 00100
9 [OnePassAnalysis].<init>(org.safere.OnePass,org.safere.Pattern,org.safere.Pattern,org.safere.Pattern) [function] [call site] 00101
8 [OnePassAnalysis].canSubmatch() [function] [call site] 00102
7 [org.safere.Pattern].astAnalysis() [function] [call site] 00103
7 [AstAnalysis].hasNullableAlt() [function] [call site] 00104
7 [org.safere.Matcher].diagnosticCapture(org.safere.Matcher) [function] [call site] 00105
7 [org.safere.Prog].numCaptures() [function] [call site] 00106
7 [org.safere.Pattern].onePass() [function] [call site] 00107
8 [org.safere.Pattern].onePassAnalysis() [function] [call site] 00108
8 [OnePassAnalysis].onePass() [function] [call site] 00109
7 [org.safere.Prog].numCaptures() [function] [call site] 00110
7 [org.safere.OnePass].search(org.safere.InputScanner,int,int,boolean,int,int[],int[]) [function] [call site] 00111
8 [org.safere.OnePass].create(org.safere.InputScanner,boolean) [function] [call site] 00112
8 [org.safere.OnePass].search(org.safere.InputScanner,int,int,boolean,int,int[],int[],org.safere.OnePass) [function] [call site] 00113
7 [org.safere.Prog].numCaptures() [function] [call site] 00114
7 [org.safere.Matcher].searchWithBitStateOrNfa(org.safere.Prog,org.safere.InputScanner,int,int,int,int,boolean,boolean,boolean,int,boolean,int[]) [function] [call site] 00115
8 [org.safere.BitState].maxTextSize(org.safere.Prog) [function] [call site] 00116
9 [org.safere.Prog].size() [function] [call site] 00117
8 [org.safere.Matcher].enginePathOptions() [function] [call site] 00118
8 [EnginePathOptions].bitState() [function] [call site] 00119
8 [org.safere.Prog].hasGraphemeSemantics() [function] [call site] 00120
8 [org.safere.Prog].hasGraphemeSemantics() [function] [call site] 00121
8 [org.safere.Prog].numLoopRegs() [function] [call site] 00122
8 [org.safere.Prog].anchorEnd() [function] [call site] 00123
8 [org.safere.InputScanner].length() [function] [call site] 00124
8 [org.safere.Prog].anchorStart() [function] [call site] 00125
8 [org.safere.Prog].anchorEnd() [function] [call site] 00126
8 [org.safere.Pattern].borrowBitState() [function] [call site] 00127
9 [ThreadLocal<org.safere.BitState>].get() [function] [call site] 00128
9 [ThreadLocal<org.safere.BitState>].set(null) [function] [call site] 00129
8 [org.safere.BitState].getOrCreate(org.safere.BitState,org.safere.Prog,org.safere.InputScanner,int,org.safere.Matcher,org.safere.Matcher,boolean,org.safere.Matcher) [function] [call site] 00130
8 [org.safere.BitState].doSearchWindow(int,int,org.safere.Matcher,org.safere.Matcher) [function] [call site] 00131
8 [org.safere.BitState].doSearch(int,int,org.safere.Matcher,org.safere.Matcher) [function] [call site] 00132
8 [org.safere.Pattern].returnBitState(org.safere.BitState) [function] [call site] 00133
9 [org.safere.BitState].releaseInput() [function] [call site] 00134
9 [ThreadLocal<org.safere.BitState>].set(org.safere.BitState) [function] [call site] 00135
8 [org.safere.BitState].budgetExceeded() [function] [call site] 00136
8 [org.safere.Matcher].diagnosticExact(org.safere.Matcher) [function] [call site] 00137
8 [org.safere.Matcher].diagnosticDecision(org.safere.Matcher,org.safere.Matcher) [function] [call site] 00138
8 [org.safere.Matcher].diagnosticDecision(org.safere.Matcher,org.safere.Matcher) [function] [call site] 00139
8 [org.safere.Matcher].diagnosticExact(org.safere.Matcher) [function] [call site] 00140
8 [org.safere.Matcher].searchNfa(org.safere.Prog,int,int,int,int,int,org.safere.Matcher,org.safere.Matcher,boolean,int[]) [function] [call site] 00141
4 [org.safere.Matcher].cannotMatchLength(org.safere.Matcher) [function] [call site] 00142
4 [org.safere.Matcher].applyFailedMatchResult() [function] [call site] 00143
5 [org.safere.Matcher].clearDeferredCaptureState() [function] [call site] 00144
4 [org.safere.Matcher].getTextLength() [function] [call site] 00145
5 [String].length() [function] [call site] 00146
5 [org.safere.InputScanner].length() [function] [call site] 00147
4 [org.safere.Matcher].regionTextAnchorCannotMatch() [function] [call site] 00148
5 [org.safere.Pattern].prog() [function] [call site] 00149
5 [org.safere.Prog].anchorStart() [function] [call site] 00150
5 [org.safere.Prog].anchorEnd() [function] [call site] 00151
5 [org.safere.Matcher].regionEndCanSatisfyTextEnd(org.safere.Prog) [function] [call site] 00152
6 [org.safere.Matcher].getTextLength() [function] [call site] 00153
6 [org.safere.Prog].hasGraphemeSemantics() [function] [call site] 00154
6 [org.safere.Matcher].regionEndsInsideSurrogatePair() [function] [call site] 00155
7 [org.safere.Matcher].getTextLength() [function] [call site] 00156
7 [org.safere.Matcher].activeScanner() [function] [call site] 00157
7 [org.safere.InputScanner].isCodePointBoundary(int) [function] [call site] 00158
6 [org.safere.Prog].dollarAnchorEnd() [function] [call site] 00159
6 [org.safere.Matcher].activeScanner() [function] [call site] 00160
6 [org.safere.Prog].dollarAnchorUnixLines() [function] [call site] 00161
6 [org.safere.InputScanner].trailingLineTerminatorStart(boolean,int) [function] [call site] 00162
4 [org.safere.Matcher].applyFailedMatchResult() [function] [call site] 00163
4 [org.safere.Pattern].prog() [function] [call site] 00164
4 [org.safere.Matcher].needsFullTextRegionContext(org.safere.Matcher,org.safere.Prog) [function] [call site] 00165
4 [org.safere.Matcher].matchesTransparentRegion() [function] [call site] 00166
5 [org.safere.Pattern].prog() [function] [call site] 00167
5 [org.safere.Matcher].graphemeConsumeEndPos(org.safere.Prog,int) [function] [call site] 00168
6 [org.safere.Prog].hasGraphemeClusterInstruction() [function] [call site] 00169
6 [org.safere.Matcher].getTextLength() [function] [call site] 00170
6 [org.safere.Matcher].activeScanner() [function] [call site] 00171
6 [org.safere.InputScanner].isCodePointBoundary(int) [function] [call site] 00172
5 [org.safere.Matcher].searchWithBitStateOrNfa(org.safere.Prog,org.safere.InputScanner,int,int,int,int,boolean,boolean,boolean,int,boolean,int[]) [function] [call site] 00173
5 [org.safere.Matcher].applyFullMatchResult(int[]) [function] [call site] 00174
6 [org.safere.Matcher].clearDeferredCaptureState() [function] [call site] 00175
4 [org.safere.Utf8InputScanner].slice(int,int) [function] [call site] 00176
5 [org.safere.Utf8InputScanner].<init>(org.safere.Utf8InputScanner,org.safere.Utf8InputScanner,org.safere.Utf8InputScanner) [function] [call site] 00177
4 [org.safere.Pattern].preparedMatchRunner(org.safere.Matcher) [function] [call site] 00178
4 [Matcher.PreparedMatchRunner].matches() [function] [call site] 00179
4 [org.safere.Matcher].resolveCapturesBeforeRestoringRegion() [function] [call site] 00180
5 [org.safere.Matcher].activeScanner() [function] [call site] 00181
5 [org.safere.InputScanner].length() [function] [call site] 00182
5 [org.safere.Matcher].resolveCaptures() [function] [call site] 00183
3 [org.safere.Matcher].matchesImpl() [function] [call site] 00184
3 [org.safere.Matcher].completeDiagnostics(DiagnosticOperation) [function] [call site] 00185
3 [org.safere.Matcher].abortDiagnostics(DiagnosticOperation) [function] [call site] 00186
2 [AssertionError].<init>(org.safere.fuzz.CaseFamilyChecks) [function] [call site] 00187