Skip to content

Latest commit

 

History

History

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

README.md

Zig ziglibc Audit Findings

Security audit of ziglibc, the Zig standard library's C compatibility layer. Each finding includes a detailed write-up and a patch.

Summary

Total findings: 9 -- High: 4, Medium: 5

Findings

Memory allocation

# Finding Severity
001 malloc integer overflow High
003 posix_memalign missing alignment validation Medium

C library shims

# Finding Severity
001 Signed minimum overflows in abs shims Medium
002 memccpy omits matched byte and never returns NULL High
003 strtok_r leaves save state stale when input is all delimiter Medium
004 lrint undefined behavior on NaN/Inf/out-of-range input High
012 wcsnlen slices with maxInt(usize) on sentinel-terminated pointer Medium

Linux syscall layer

# Finding Severity
001 getgroupsLinux @intCast of negative size causes panic Medium
011 mprotectLinux aligns len without accounting for addr alignment delta High