aboutsummaryrefslogtreecommitdiffstats
path: root/pkg
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2026-03-09 14:37:20 +0100
committerDmitry Vyukov <dvyukov@google.com>2026-03-09 20:48:02 +0000
commit86baf83222b3e6e8e0665bf9a89490f8eaace33a (patch)
tree65af4752c285be5e73f08edb2bee1b5bc8dd3ac5 /pkg
parentadb99c927933d5fd31ced759de42e32351828881 (diff)
pkg/aflow/flow/repro: give agent relevant docs
LLM seems to have some knowledge about syzkaller program syntax, but presumably it's still useful to give it all details about syntax. Update #6878
Diffstat (limited to 'pkg')
-rw-r--r--pkg/aflow/flow/repro/repro.go19
1 files changed, 17 insertions, 2 deletions
diff --git a/pkg/aflow/flow/repro/repro.go b/pkg/aflow/flow/repro/repro.go
index 507f41aee..62bf1e062 100644
--- a/pkg/aflow/flow/repro/repro.go
+++ b/pkg/aflow/flow/repro/repro.go
@@ -4,6 +4,7 @@
package repro
import (
+ "github.com/google/syzkaller/docs"
"github.com/google/syzkaller/pkg/aflow"
"github.com/google/syzkaller/pkg/aflow/action/kernel"
"github.com/google/syzkaller/pkg/aflow/ai"
@@ -28,11 +29,15 @@ func init() {
&aflow.Flow{
Root: aflow.Pipeline(
aflow.Provide(struct {
- SyzkallerCommit string
- DescriptionFiles []string
+ SyzkallerCommit string
+ DescriptionFiles []string
+ DocProgramSyntax string
+ DocSyscallDescriptionsSyntax string
}{
prog.GitRevisionBase,
syzlang.DescriptionFiles(),
+ docs.ProgramSyntax,
+ docs.SyscallDescriptionsSyntax,
}),
kernel.Checkout,
kernel.Build,
@@ -66,6 +71,16 @@ without backticks.
Don't make assumptions about the kernel source code, use the provided codesearch tools
to examine the kernel code instead.
+
+Document about syzkaller program syntax:
+===
+{{.DocProgramSyntax}}
+===
+
+Document about syzlang system call descriptions syntax:
+===
+{{.SyscallDescriptionsSyntax}}
+===
`
const reproPrompt = `