Kernel source summarization

[ramosian-glider]

---

Before sending a pull request, please review Contribution Guidelines:
https://github.com/google/syzkaller/blob/master/docs/contributing.md

---

[tarasmadan]

@gemini-cli /review

[tarasmadan]

@gemini-cli /review

[tarasmadan]

@gemini-cli /review

[github-actions]

🤖 Hi @tarasmadan, I've received your request, and I'm working on it now! You can track my progress in the logs for more details.

[github-actions]

## 📋 Review Summary

This PR introduces a Just-In-Time (JIT) summarization system using Clang AST parsing and LLM-based semantic analysis for the Linux kernel. The implementation is well-structured and makes good use of libclang to minimize the context sent to the LLM, though there are a few critical issues around slice modification and environment-specific artifacts that need to be resolved.

🔍 General Feedback

• Slices and Pointers: Be cautious when taking pointers to elements of a slice that is subsequently modified (e.g., via slices.DeleteFunc), as this can lead to memory corruption or unexpected zero values.
• Environment Artifacts: Several absolute symlinks to .so files for LLVM 19 were checked into the repository (e.g., libclang-cpp.so, libclang.so). These should be removed, as they will break on machines where LLVM is installed in a different directory. Ensure the build scripts or Makefile correctly link against libclang instead.
• Cleanups: There are some leftover debug print statements (llvm::errs() and echo "DEBUG: ...") that should be removed to reduce noise during normal execution.

[github-actions]

🔴 Taking a pointer to an element of a slice before modifying the slice in-place with `slices.DeleteFunc` is unsafe. `slices.DeleteFunc` shifts elements and zero-values the tail. If all elements are deleted, `cmds[0]` will be overwritten with a zero value, causing `templateCmd` to point to a zeroed-out struct. We should make a copy of the command instead.

Suggested change

	var templateCmd *compileCommand
	if len(cmds) > 0 {
	templateCmd = &cmds[0]
	}
	var templateCmd *compileCommand
	if len(cmds) > 0 {
	cmdCopy := cmds[0]
	templateCmd = &cmdCopy
	}

[github-actions]

🟡 These debug prints should be removed before merging. Additionally, the `if [ -t 0 ]` check is duplicated; `-it` is already appended to `DOCKERARGS` conditionally earlier in the script.

Suggested change

	echo "DEBUG: PRE DOCKER RUN"
	if [ -t 0 ]; then
	DOCKERARGS="$DOCKERARGS -it"
	fi
	echo "DEBUG: CI: '$CI'"

[github-actions]

🟡 This debug print should be removed before merging as it will log every inclusion directive, causing excessive noise.

Suggested change

llvm::errs() << "DEBUG: InclusionDirective: " << FileName << " InMain: " << SM.isInMainFile(HashLoc) << "\n";

[github-actions]

🔴 Committing absolute symlinks to specific environment paths (e.g., `/usr/lib/llvm-19/...`) breaks cross-platform compatibility and will fail on machines without this exact path. These libraries should be linked dynamically during the build process instead.

[tarasmadan]

@gemini-cli /approve

[github-actions]

🤖 Hi @tarasmadan, I've received your request, and I'm working on it now! You can track my progress in the logs for more details.

[github-actions]

I could not find an approved "AI Assistant: Plan of Action" in the issue comments. Please provide or approve a plan of action so I can proceed.