busybox: initialize a variable in getlogin_r model

sosy-lab / sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)

https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks

184 stars 169 forks source link

busybox: initialize a variable in getlogin_r model #1229

Closed mchalupa closed 3 years ago

mchalupa commented 3 years ago

getlogin_r model in busybox benchmarks uses an uninitialized loop counter which leads to undefined behavior. This PR fixes the model and files where it is used.