Implement functions like memcpy and memset for predicate analysis
memcmp
, memcpy
, memmove
and memset
are functions defined by the C standard that operate on memory. They are used for example in several AWS-C-Common tasks of SV-COMP.
We should implement them in our predicate analysis, which can in principle support them.