[google/syzkaller] 5f81e5: pkg/aflow: implement Race Condition Toolkit for C ...

[Alexander Potapenko]

Branch: refs/heads/gh-readonly-queue/master/pr-7134-f889d5e4409ae30eafa88c545e4977a4e6b39f9e
Home: https://github.com/google/syzkaller
Commit: 5f81e509a04663efbb140025d5fc600907c84f43
https://github.com/google/syzkaller/commit/5f81e509a04663efbb140025d5fc600907c84f43
Author: Alexander Potapenko <gli...@google.com>
Date: 2026-04-28 (Tue, 28 Apr 2026)

Changed paths:
M pkg/aflow/flow/reproc/reproc.go
A pkg/aflow/tool/toolkit/race_toolkit.h
A pkg/aflow/tool/toolkit/testdata/toolkit_functional_test.c
A pkg/aflow/tool/toolkit/testdata/toolkit_standalone_test.c
A pkg/aflow/tool/toolkit/toolkit.go
A pkg/aflow/tool/toolkit/toolkit_test.go

Log Message:
-----------
pkg/aflow: implement Race Condition Toolkit for C reproducers

Added a set of C macros and snippets for the agent to use when generating
reproducers for race conditions. These include:
- CPU pinning (PIN_TO_CPU)
- Memory barriers (MB())
- Spin-wait barriers (WAIT_ON, SIGNAL)
- userfaultfd setup helpers
- futex-based event_t primitives copied from executor/common_linux.h.

The toolkit is implemented as a standalone header file (race_toolkit.h)
embedded into Go, and is verified by both compilation and functional C
tests.



To unsubscribe from these emails, change your notification settings at https://github.com/google/syzkaller/settings/notifications

[Alexander Potapenko]

Branch: refs/heads/master