[google/syzkaller] e0a645: pkg/aflow/flow/reproc: remove LLM control over rep...

[Alexander Potapenko]

Branch: refs/heads/gh-readonly-queue/master/pr-7153-f250db59430dfb0102692e53ab92e84e82178c3e
Home: https://github.com/google/syzkaller
Commit: e0a64563890245a202eeab55afdfca0775c51c45
https://github.com/google/syzkaller/commit/e0a64563890245a202eeab55afdfca0775c51c45
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-07 (Thu, 07 May 2026)

Changed paths:
M pkg/aflow/flow/reproc/reproc.go
M pkg/aflow/flow/reproc/reproc_test.go

Log Message:
-----------
pkg/aflow/flow/reproc: remove LLM control over reproduction loop

As pointed out in PR #7147, the Oracle LLM does not need to decide whether
to continue the reproduction loop. Since aflow.DoWhile already enforces
MaxIterations: 5, we can simplify the control flow by having the
LoopController automatically continue until a successful reproduction
is found or the max iteration limit is reached.

This removes the ShouldContinue field from the OracleResult schema and
simplifies the LoopControllerFunc logic.


Commit: fdabd8b6c3e4e649d17189aa4f669d3d91a88b5a
https://github.com/google/syzkaller/commit/fdabd8b6c3e4e649d17189aa4f669d3d91a88b5a
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-07 (Thu, 07 May 2026)

Changed paths:
M pkg/aflow/action/crash/run_c_repro.go
M pkg/aflow/flow/reproc/reproc.go

Log Message:
-----------
aflow: do not swallow compilation errors in RunCRepro


Commit: 787e944fa698e33ef76e7a5ed5a2967eba0676ea
https://github.com/google/syzkaller/commit/787e944fa698e33ef76e7a5ed5a2967eba0676ea
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-07 (Thu, 07 May 2026)

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

Log Message:
-----------
aflow: update LLM instructions for C reproducers


Commit: 2d02beca6f5898d01c5d130004f1c2be983f62b4
https://github.com/google/syzkaller/commit/2d02beca6f5898d01c5d130004f1c2be983f62b4
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-07 (Thu, 07 May 2026)

Changed paths:
M pkg/instance/instance.go

Log Message:
-----------
pkg/instance: fail fast on compilation errors in Test


Commit: 233b3ee392da796e2aa8f23444d609bc40c97d69
https://github.com/google/syzkaller/commit/233b3ee392da796e2aa8f23444d609bc40c97d69
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-07 (Thu, 07 May 2026)

Changed paths:
M pkg/aflow/loop.go
M pkg/aflow/loop_test.go
A pkg/aflow/testdata/TestNestedDoWhileOutput.trajectory.json
A pkg/aflow/testdata/TestNestedDoWhileVarLeak.trajectory.json

Log Message:
-----------
pkg/aflow: support nested DoWhile loops by allowing redefinition of loop variables


Commit: e4c25b20580696a0ebe8bbfc965da2f9b05776b0
https://github.com/google/syzkaller/commit/e4c25b20580696a0ebe8bbfc965da2f9b05776b0
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-07 (Thu, 07 May 2026)

Changed paths:
M pkg/aflow/flow/reproc/reproc.go
M pkg/aflow/flow/reproc/reproc_test.go

Log Message:
-----------
pkg/aflow/flow/reproc: add repair-c-prog action with internal loop


Commit: 822fe5fd4014163db7ac2e2b3284a84bc40b097c
https://github.com/google/syzkaller/commit/822fe5fd4014163db7ac2e2b3284a84bc40b097c
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-07 (Thu, 07 May 2026)

Changed paths:
M pkg/aflow/docs/c-repro-from-description.md

Log Message:
-----------
docs: update C reproducer workflow documentation

Rewrite c-repro-from-description.md to reflect the current state of the
repro-c workflow implementation.

- Removed references to MVP and Phases.
- Described the current workflow in detail, including the RepairCProg
action with its self-repair loop and toolkit expansion.
- Clarified the probe strategy for the first iteration.
- Moved unimplemented features to a Potential Improvements section.


Commit: 0211be7bbaf9ae6ee7785739519f88cea30a0379
https://github.com/google/syzkaller/commit/0211be7bbaf9ae6ee7785739519f88cea30a0379
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-05-07 (Thu, 07 May 2026)

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

Log Message:
-----------
pkg/aflow/flow/reproc: update agent persona in instructions


Compare: https://github.com/google/syzkaller/compare/e0a645638902%5E...0211be7bbaf9

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

[Alexander Potapenko]

Branch: refs/heads/master

Compare: https://github.com/google/syzkaller/compare/f250db59430d...0211be7bbaf9