Outline tests for double mmap core dump analysis