[google/syzkaller] df65c0: pkg/aflow/tool/codeexpert: restrict filename guess...

[Alexander Potapenko]

Branch: refs/heads/gh-readonly-queue/master/pr-7456-cc0956393c53a7771406d126236893fae27c3e27
Home: https://github.com/google/syzkaller
Commit: df65c052de1c2e62e773d97ea49b9bcb94bfcab4
https://github.com/google/syzkaller/commit/df65c052de1c2e62e773d97ea49b9bcb94bfcab4
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-06-08 (Mon, 08 Jun 2026)

Changed paths:
M pkg/aflow/tool/codeexpert/codeexpert.go

Log Message:
-----------
pkg/aflow/tool/codeexpert: restrict filename guessing and broad searches

Update codeexpert agent instructions to prevent guessing and reading
non-existent paths, treat missing files as completely absent, and
avoid broad git-log searches without a PathPrefix to prevent command
timeouts.


Commit: 13b890387c90b3b1b72c2476067f302e1df04eb5
https://github.com/google/syzkaller/commit/13b890387c90b3b1b72c2476067f302e1df04eb5
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-06-08 (Mon, 08 Jun 2026)

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

Log Message:
-----------
pkg/aflow/flow/reproc: prevent compiler checks and handle missing codebase files

Update reproc instructions to:
- Prevent generator from checking for compilation tools or using
system() shell functions.
- Instruct oracle to trigger TerminalError if target source files or
functions, or required hardware dependencies are missing from the
environment/codebase.


Commit: 656e94c64cf6d2cf6e13f9bbe93a03e73688e3ba
https://github.com/google/syzkaller/commit/656e94c64cf6d2cf6e13f9bbe93a03e73688e3ba
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-06-08 (Mon, 08 Jun 2026)

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

Log Message:
-----------
pkg/aflow/flow/reproc: feed back C code and logs into generator prompt

Update generatorPrompt to include previous code attempts and execution
logs directly in subsequent iterations. This bridges the context gap
between generator and oracle agents, allowing for localized C code
debugging.


Compare: https://github.com/google/syzkaller/compare/df65c052de1c%5E...656e94c64cf6

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/cc0956393c53...656e94c64cf6