sv-benchmarks icon indicating copy to clipboard operation
sv-benchmarks copied to clipboard

Uninitialized structs on the stack in AWS tasks

Open gernst opened this issue 4 years ago • 0 comments

For example:

https://github.com/sosy-lab/sv-benchmarks/blob/b61ec96df19679bf5a65ec48ec1651ad2c8a0374/c/aws-c-common/aws_byte_buf_cat_harness.i#L9113

leading to undefined behavior in the test harness.

gernst avatar Mar 11 '20 13:03 gernst