add ssa_afl_fuzzer, export SSA parser and interpreter#8427
add ssa_afl_fuzzer, export SSA parser and interpreter#8427michaeljklein wants to merge 7 commits intosn/ssa_fuzzer_branchingfrom
Conversation
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: af3ccd0 | Previous: 7be8f56 | Ratio |
|---|---|---|---|
test_report_AztecProtocol_aztec-packages_noir-projects_noir-protocol-circuits_crates_rollup-lib |
367 s |
191 s |
1.92 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @TomAFrench
…llect_outputs' script, 'collect_unique_crashes' script, 'keep_inputs_upto_1kb', script for unique locations
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: af3ccd0 | Previous: 7be8f56 | Ratio |
|---|---|---|---|
private-kernel-tail |
0.016 s |
0.011 s |
1.45 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @TomAFrench
… input files for fuzzing next pass, replace all blocking-panic locations during input validation (before the target pass) with successful exits, fix hang and clear previous outputs in collect_unique_crashes.rb, fuzzing 'inline_functions_with_at_most_one_instruction', use uninitalized parameters for all fuzzing-input parameters, add fuzzing readme, add some fuzzing results
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: af3ccd0 | Previous: 7be8f56 | Ratio |
|---|---|---|---|
private-kernel-inner |
3.814 s |
2.24 s |
1.70 |
private-kernel-reset |
12.08 s |
6.876 s |
1.76 |
private-kernel-tail |
1.704 s |
1.092 s |
1.56 |
rollup-base-private |
33.48 s |
16.74 s |
2 |
rollup-base-public |
41 s |
12.9 s |
3.18 |
rollup-block-root-empty |
1.666 s |
1.238 s |
1.35 |
rollup-block-root-single-tx |
227 s |
126 s |
1.80 |
rollup-block-root |
227 s |
123 s |
1.85 |
rollup-root |
6.926 s |
1.646 s |
4.21 |
This comment was automatically generated by workflow using github-action-benchmark.
CC: @TomAFrench
…to 2kb, make_combined_inputs.rb, add final results from fuzz's
…missing fn, add results, update readme, fix borrow error from cloning parameters
1 participant
Description
Problem*
Summary*
#8407 is focused on modifying the existing
ssa_fuzzerwhile this PR is focused on a new AFL fuzzer using the SSA interpreterAdditional Context
I'm basing this off of
sn/ssa_fuzzer_branching, which is WIP, to get the latest support for CFG-related instructionsDocumentation*
Check one:
PR Checklist*
cargo fmton default settings.