This is xnu-10002.1.13. See this file in:
Directory listing for xnu-10002.1.13//tools/cocci
OSAtomic_rewrite.cocci
c11_atomic_builtin_rewrite.cocci
hw_atomic_rewrite.cocci
os_atomic_normalize.cocci
zalloc-data.cocci
zalloc-nofail.cocci
zalloc-zero.cocci
zalloc.iso