Skip to content
GitLab
Open
Issue created by Philipp Wendler@PhilippWendlerOwner

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information