DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Add lib impl for klee_make_symbolic()

Browse Source
This commit is contained in:
Joe Ranweiler
2018-02-23 15:09:02 -08:00
parent f7791f216f
commit 236ee6856e
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -26,8 +26,9 @@ DEEPSTATE_BEGIN_EXTERN_C
/* TODO(joe): Implement */
static void klee_define_fixed_object(void *addr, size_t nbytes);
/* TODO(joe): Implement */
static void klee_make_symbolic(void *addr, size_t nbytes, const char *name);
static void klee_make_symbolic(void *addr, size_t nbytes, const char *name) {
DeepState_SymbolizeData(addr, addr + nbytes);
}
/* TODO(joe): Implement */
static int klee_range(int begin, int end, const char *name);