Skip to content

Implement functions like memcpy and memset for predicate analysis

Philipp Wendler requested to merge predicate-memory-functions into trunk

MR is for review only, merge needs to be done with svn merge.

Merge request reports