No code for function nondet_int, default assigns generated
../../lib/stubs.c:376: Warning: (TODO: emit a proper alarm) accessing uninitialized left-value: *(haystack + i)
../../lib/stubs.c:376: Warning: completely unspecified value in {{
answer -> {0; } ;}} (size:<8>). This path is assumed to be dead.
../../lib/stubs.c:376: Warning: non termination detected in function istrstr
OpenSER/CVE-2006-6876/fetchsms/full_bad.c:30: Warning: non termination detected in function fetchsms
OpenSER/CVE-2006-6876/fetchsms/full_bad.c:66: Warning: non termination detected in function main
[dominators] computing for function r_memcpy
[dominators] done for function r_memcpy
