[google/syzkaller] 6bcdfa: pkg/aflow/action: use NonStrict mode for syzlang f...

[Aleksandr Nogikh]

Branch: refs/heads/gh-readonly-queue/master/pr-7627-eb10e821d067bd4c789b6246b5ff99103ee1b917
Home: https://github.com/google/syzkaller
Commit: 6bcdfae0b2eb79f8e2c70e0ae4f565b70aee8f0d
https://github.com/google/syzkaller/commit/6bcdfae0b2eb79f8e2c70e0ae4f565b70aee8f0d
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-07-17 (Fri, 17 Jul 2026)

Changed paths:
M pkg/aflow/action/actionsyzlang/format.go

Log Message:
-----------
pkg/aflow/action: use NonStrict mode for syzlang formatting

LLMs occasionally generate syzkaller programs with minor syntax errors,
such as omitted arguments or slightly incorrect values. Using prog.NonStrict
allows the parser to automatically fix these minor issues during formatting
instead of failing the entire workflow.


Commit: f9df88505618f79dd82fc67a8a2e153255fb4263
https://github.com/google/syzkaller/commit/f9df88505618f79dd82fc67a8a2e153255fb4263
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-07-17 (Fri, 17 Jul 2026)

Changed paths:
M pkg/aflow/flow/repro/repro.go

Log Message:
-----------
pkg/aflow/flow/repro: validate generated syzkaller programs

Previously, if the crash-repro-finder agent generated an invalid syzkaller
program, the workflow would fail downstream during the formatting step.
By using ValidatedLLMOutputs and attempting to deserialize the program,
we can catch severe syntax errors early and return a BadCallError. This
allows the LLM to see the error message and retry the generation.


Commit: 8aaff637faf982e650315a165d3b33ad33cf708a
https://github.com/google/syzkaller/commit/8aaff637faf982e650315a165d3b33ad33cf708a
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-07-17 (Fri, 17 Jul 2026)

Changed paths:
M pkg/aflow/flow/repro/repro.go

Log Message:
-----------
pkg/aflow/flow/repro: format syzkaller program during validation

Removed the separate Format action and moved the formatting logic into
the validateReproFinderOutputs function. This ensures the formatted
program is passed directly to the next step and simplifies the pipeline.


Compare: https://github.com/google/syzkaller/compare/6bcdfae0b2eb%5E...8aaff637faf9

To unsubscribe from these emails, change your notification settings at https://github.com/google/syzkaller/settings/notifications

[Aleksandr Nogikh]

Branch: refs/heads/master

Compare: https://github.com/google/syzkaller/compare/eb10e821d067...8aaff637faf9