4211
65%

Ran 09 Mar 2026 02:28AM UTC

Jobs 1

Files 316

Run time 1min

Badge

Embed ▾

Committed 06 Mar 2026 08:06AM UTC coverage: 65.53%. Remained the same

Build # 4211

Build Type

push

github

Committed by

web-flow

Commit Message

Add missing library function descriptors for rsync analysis (#1948)

* Initial plan

* Add missing library function definitions for rsync issue

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Move non-POSIX functions from posix_descs_list to glibc_desc_list

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Move ioctl from linux_kernel_descs_list to linux_userspace_descs_list

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Coverage Stats

22710 of 34656 relevant lines covered (65.53%)

403232.09 hits per line

Coverage Regressions

Lines	Coverage	∆	File
5	90.63	0.0%	src/util/library/libraryFunctions.ml

Jobs

ID	Job ID	Ran	Files	Coverage
1	4211.1	09 Mar 2026 02:28AM UTC	316	65.53	GitHub Action Run

goblint / analyzer / 4211
65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 4211

goblint / analyzer / 4211 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 4211

goblint / analyzer / 4211
65%

README BADGES
x