with-libc.sarif 265 KB