Skip to content

UCLIBC memory error #106

@S1eGa

Description

@S1eGa

From sv-benchmarks; run on pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c with libc=uclibc gives following log:

KLEE: ERROR: libc/misc/internals/__uClibc_main.c:311: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions