DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Add impls for KLEE symbolic int functions

Browse Source
This commit is contained in:
Joe Ranweiler
2018-02-24 14:20:57 -08:00
parent 63f22739f9
commit 2ff08e5d70
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/include/deepstate/Klee.h
View File

@@ -28,11 +28,13 @@ static void klee_make_symbolic(void *addr, size_t nbytes, const char *name) {
DeepState_SymbolizeData(addr, addr + nbytes); DeepState_SymbolizeData(addr, addr + nbytes);
} }
/* TODO(joe): Implement */ static int klee_range(int begin, int end, const char *name) {
static int klee_range(int begin, int end, const char *name); return DeepState_IntInRange(begin, end);
}
/* TODO(joe): Implement */ static int klee_int(const char *name) {
static int klee_int(const char *name); return DeepState_Int();
}
DEEPSTATE_NORETURN static void klee_silent_exit(int status) { DEEPSTATE_NORETURN static void klee_silent_exit(int status) {
exit(status); exit(status);