You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm not 100% sure about the first one, but the rest can definitely be implemented with Mull.
I guess it makes sense to refer to the paper that proposes these operators: Mutation testing of memory-related operators (as pointed out by @nimashiri).
Current release of mull does not support memory related mutation operators for C. A set of memory operators are:
changes to
changes to
changes to
free(ptr);
statement to inject dangling pointer vulnerabilityThe text was updated successfully, but these errors were encountered: