blob: 9d22b389c4781c8b4a65034a8210c45bdfbfbcd8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
//===-- StatsTracker.h ------------------------------------------*- C++ -*-===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef KLEE_STATSTRACKER_H
#define KLEE_STATSTRACKER_H
#include "CallPathManager.h"
#include <iostream>
#include <set>
namespace llvm {
class BranchInst;
class Function;
class Instruction;
}
namespace klee {
class ExecutionState;
class Executor;
class InstructionInfoTable;
class InterpreterHandler;
class KInstruction;
class StackFrame;
class StatsTracker {
friend class WriteStatsTimer;
friend class WriteIStatsTimer;
Executor &executor;
std::string objectFilename;
std::ostream *statsFile, *istatsFile;
double startWallTime;
unsigned numBranches;
unsigned fullBranches, partialBranches;
CallPathManager callPathManager;
bool updateMinDistToUncovered;
public:
static bool useStatistics();
private:
void updateStateStatistics(uint64_t addend);
void writeStatsHeader();
void writeStatsLine();
void writeIStats();
public:
StatsTracker(Executor &_executor, std::string _objectFilename,
bool _updateMinDistToUncovered);
~StatsTracker();
// called after a new StackFrame has been pushed (for callpath tracing)
void framePushed(ExecutionState &es, StackFrame *parentFrame);
// called after a StackFrame has been popped
void framePopped(ExecutionState &es);
// called when some side of a branch has been visited. it is
// imperative that this be called when the statistics index is at
// the index for the branch itself.
void markBranchVisited(ExecutionState *visitedTrue,
ExecutionState *visitedFalse);
// called when execution is done and stats files should be flushed
void done();
// process stats for a single instruction step, es is the state
// about to be stepped
void stepInstruction(ExecutionState &es);
/// Return time in seconds since execution start.
double elapsed();
void computeReachableUncovered();
};
uint64_t computeMinDistToUncovered(const KInstruction *ki,
uint64_t minDistAtRA);
}
#endif
|
