[google/syzkaller] c6f96e: pkg/aflow: extend If condition

[Aleksandr Nogikh]

Branch: refs/heads/gh-readonly-queue/master/pr-7081-6d91b118a650c3631a0ae497f406ba3c822d35b5
Home: https://github.com/google/syzkaller
Commit: c6f96e9b0a1ea97afe46f16b93fc47eb31ffa83a
https://github.com/google/syzkaller/commit/c6f96e9b0a1ea97afe46f16b93fc47eb31ffa83a
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-04-28 (Tue, 28 Apr 2026)

Changed paths:
M pkg/aflow/flow/reproc/reproc.go
M pkg/aflow/if.go
A pkg/aflow/if_test.go
A pkg/aflow/testdata/TestIf/BoolFalse.trajectory.json
A pkg/aflow/testdata/TestIf/BoolTrue.trajectory.json
A pkg/aflow/testdata/TestIf/False.trajectory.json
A pkg/aflow/testdata/TestIf/IntFalse.trajectory.json
A pkg/aflow/testdata/TestIf/IntTrue.trajectory.json
A pkg/aflow/testdata/TestIf/StringFalse.trajectory.json
A pkg/aflow/testdata/TestIf/StringTrue.trajectory.json
A pkg/aflow/testdata/TestIf/True.trajectory.json

Log Message:
-----------
pkg/aflow: extend If condition

Log trajectory.
Fill in variables in the false path.
Improve verification.


Commit: 29fe71690701aca833b11ea3fea4e35becf667a0
https://github.com/google/syzkaller/commit/29fe71690701aca833b11ea3fea4e35becf667a0
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-04-28 (Tue, 28 Apr 2026)

Changed paths:
M pkg/aflow/loop.go
M pkg/aflow/loop_test.go
A pkg/aflow/testdata/TestForEach/Basic.trajectory.json
A pkg/aflow/testdata/TestForEach/UnexportedOutput.trajectory.json

Log Message:
-----------
pkg/aflow: add a ForEeach operator

The operator will let workflows iterate over an array and do processing
for each item separately.


Commit: 184d19a290cb8dbdc51a32da10edbf3ad5fe04ea
https://github.com/google/syzkaller/commit/184d19a290cb8dbdc51a32da10edbf3ad5fe04ea
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-04-28 (Tue, 28 Apr 2026)

Changed paths:
M pkg/aflow/execute.go
M pkg/aflow/flow.go
M pkg/aflow/schema.go
M pkg/aflow/schema_test.go
M pkg/aflow/template.go
M pkg/aflow/template_test.go

Log Message:
-----------
pkg/aflow: support nested variables

This will be necessary to let workflows take / produce more complex
inputs.


Commit: 0154ae3c52fdf7371d7bf6166732c5c433abe847
https://github.com/google/syzkaller/commit/0154ae3c52fdf7371d7bf6166732c5c433abe847
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-04-28 (Tue, 28 Apr 2026)

Changed paths:
M pkg/aflow/schema.go
M pkg/aflow/schema_test.go

Log Message:
-----------
pkg/aflow: support time.Time unmarshalling


Commit: f2bf1216b11e13db80a20acf92f34d4f298a7158
https://github.com/google/syzkaller/commit/f2bf1216b11e13db80a20acf92f34d4f298a7158
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-04-28 (Tue, 28 Apr 2026)

Changed paths:
M pkg/aflow/ai/ai.go
M pkg/aflow/flow/patching/actions.go
A pkg/aflow/flow/patching/iteration.go
M pkg/aflow/flow/patching/patching.go
M pkg/aflow/template.go

Log Message:
-----------
pkg/aflow: add patch iteration workflow

The patching workflow was previously only capable of generating the initial
V1 patch. Add a new `patch-iteration` workflow that automatically addresses
reviewer feedback on generated patches.

The workflow executes the following high-level pipeline:
1. Verdict: Analyzes the new comments to decide if they require a new code
revision, or just a textual reply.
2. Patch Generation: If a code change is needed, reapplies the previous
patch to a clean kernel tree, instructs the LLM to modify it to
address the feedback, and generates a new changelog.
3. Triage: Evaluates each individual comment to decide whether it requires
a direct reply.
4. Aggregation: Aggregates the generated replies and outputs them along
with the (possible) V+1 patch.


Commit: 15d8aa183145def9509f4d5d9d43374961427a1c
https://github.com/google/syzkaller/commit/15d8aa183145def9509f4d5d9d43374961427a1c
Author: Aleksandr Nogikh <nog...@google.com>
Date: 2026-04-28 (Tue, 28 Apr 2026)

Changed paths:
M pkg/aflow/flow/patching/iteration.go
M pkg/aflow/template.go

Log Message:
-----------
pkg/aflow/flow/patching: switch iteration to JSON escaping

It should not distort comments as much as html escaping does.


Compare: https://github.com/google/syzkaller/compare/c6f96e9b0a1e%5E...15d8aa183145

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/6d91b118a650...15d8aa183145