blob: 1bdff819db77e32af841a5e4984e5da7db50c457 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
//===-- MemoryUsage.cpp ---------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include "klee/Internal/System/MemoryUsage.h"
#include <malloc.h>
using namespace klee;
size_t util::GetTotalMemoryUsage() {
// This is linux platform specific
struct mallinfo mi = ::mallinfo();
return mi.uordblks + mi.hblkhd;
}
|
