From 86baf83222b3e6e8e0665bf9a89490f8eaace33a Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Mon, 9 Mar 2026 14:37:20 +0100
Subject: 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
---
 pkg/aflow/flow/repro/repro.go | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

(limited to 'pkg')

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 = `
-- 
cgit mrf-deployment