diff --git a/benchexec/tools/cbmc.py b/benchexec/tools/cbmc.py
index <HASH>..<HASH> 100644
--- a/benchexec/tools/cbmc.py
+++ b/benchexec/tools/cbmc.py
@@ -139,6 +139,8 @@ class Tool(benchexec.tools.template.BaseTool):
                         status = result.RESULT_FALSE_FREE
                     elif result_str == 'FALSE(no-overflow)':
                         status = result.RESULT_FALSE_OVERFLOW
+                    elif result_str == 'FALSE(valid-memcleanup)':
+                        status = result.RESULT_FALSE_MEMCLEANUP
                     else:
                         status = result.RESULT_FALSE_REACH
                 elif 'UNKNOWN' in output:
Fix memcleanup result for CBMC