search for: dfsan_interface

...ang 3.8.0 binaries on Ubuntu 16.04.2, 64 bit. I tried to lift a minimal program to LLVM IR, then link the IR to DataFlowSanitizer libraries to produce executable code. In the second step, the process throws a bunch of linker errors. ========================================= #include <sanitizer/dfsan_interface.h> #include <assert.h> int main(void) { int i = 1; dfsan_label i_label = dfsan_create_label("i", 0); dfsan_set_label(i_label, &i, sizeof(i)); return 0; } ========================================= clang -c -emit-llvm -fsanitize=dataflow test.c -o test.bc clang -f...

...DCMAKE_CXX_FLAGS=--sysroot=$(ndkDir)/platforms/android-19/arch-arm ... $ ninja install ... [68/68] -- Install configuration: "Release" -- Installing: ship/include/sanitizer/asan_interface.h -- Installing: ship/include/sanitizer/common_interface_defs.h -- Installing: ship/include/sanitizer/dfsan_interface.h -- Installing: ship/include/sanitizer/linux_syscall_hooks.h -- Installing: ship/include/sanitizer/lsan_interface.h -- Installing: ship/include/sanitizer/msan_interface.h -- Installing: ship/include/sanitizer/tsan_interface_atomic.h -- Installing: ship/asan_blacklist.txt -- Installing: ship/bin/as...

...gt; ... >> $ ninja install >> ... >> [68/68] >> -- Install configuration: "Release" >> -- Installing: ship/include/sanitizer/asan_interface.h >> -- Installing: ship/include/sanitizer/common_interface_defs.h >> -- Installing: ship/include/sanitizer/dfsan_interface.h >> -- Installing: ship/include/sanitizer/linux_syscall_hooks.h >> -- Installing: ship/include/sanitizer/lsan_interface.h >> -- Installing: ship/include/sanitizer/msan_interface.h >> -- Installing: ship/include/sanitizer/tsan_interface_atomic.h >> -- Installing: ship/...

...E. However, I have faced some difficulties (explained below) while interfacing this library with KLEE and I am seeking your help to solve it. For our research purpose, we are using LLVM compiler and LLVM DataFlowSanitizer library. We instrumented a C code using LLVM DataFlowSanitizer library (from dfsan_interface.h) along with the insertion of some KLEE assertion (from klee.h) and converted it to LLVM Bit-code. Then we provided this LLVM Bit-code to KLEE (software verification tool) to run with the archive library of DataFlowSanitizer tool, libclang_rt.dfsan-x86_64.a. But, KLEE showed the following error....

...; ... >>>> [68/68] >>>> -- Install configuration: "Release" >>>> -- Installing: ship/include/sanitizer/asan_interface.h >>>> -- Installing: ship/include/sanitizer/common_interface_defs.h >>>> -- Installing: ship/include/sanitizer/dfsan_interface.h >>>> -- Installing: ship/include/sanitizer/linux_syscall_hooks.h >>>> -- Installing: ship/include/sanitizer/lsan_interface.h >>>> -- Installing: ship/include/sanitizer/msan_interface.h >>>> -- Installing: ship/include/sanitizer/tsan_interface_atomic...

...each data item being tracked separately. Interface ========= A number of functions are provided which will create taint labels, attach labels to memory regions and extract the set of labels associated with a specific memory region. These functions are declared in the header file "sanitizer/dfsan_interface.h". /// Creates and returns a base label with the given description and user data. dfsan_label dfsan_create_label(const char *desc, void *userdata); /// Sets the label for each address in [addr,addr+size) to \c label. void dfsan_set_label(dfsan_label label, void *addr, size_t siz...

...the program anywhere it shouldn't be. Interface ========= A number of functions are provided which will create taint labels, attach labels to memory regions and extract the set of labels associated with a specific memory region. These functions are declared in the header file "sanitizer/dfsan_interface.h". /// Creates and returns a base label with the given description and user data. dfsan_label dfsan_create_label(const char *desc, void *userdata); /// Sets the label for each address in [addr,addr+size) to \c label. void dfsan_set_label(dfsan_label label, void *addr, size_t siz...

...gt; >>>> -- Install configuration: "Release" >> >>>> -- Installing: ship/include/sanitizer/asan_interface.h >> >>>> -- Installing: ship/include/sanitizer/common_interface_defs.h >> >>>> -- Installing: ship/include/sanitizer/dfsan_interface.h >> >>>> -- Installing: ship/include/sanitizer/linux_syscall_hooks.h >> >>>> -- Installing: ship/include/sanitizer/lsan_interface.h >> >>>> -- Installing: ship/include/sanitizer/msan_interface.h >> >>>> -- Installing: ship/inc...

...tall configuration: "Release" > >>> >>>> -- Installing: ship/include/sanitizer/asan_interface.h > >>> >>>> -- Installing: ship/include/sanitizer/common_interface_defs.h > >>> >>>> -- Installing: ship/include/sanitizer/dfsan_interface.h > >>> >>>> -- Installing: ship/include/sanitizer/linux_syscall_hooks.h > >>> >>>> -- Installing: ship/include/sanitizer/lsan_interface.h > >>> >>>> -- Installing: ship/include/sanitizer/msan_interface.h > >>> >...

...; > > Interface > ========= > > A number of functions are provided which will create taint labels, > attach labels to memory regions and extract the set of labels > associated with a specific memory region. These functions are declared > in the header file "sanitizer/dfsan_interface.h". > > /// Creates and returns a base label with the given description and user data. > dfsan_label dfsan_create_label(const char *desc, void *userdata); > > /// Sets the label for each address in [addr,addr+size) to \c label. > void dfsan_set_label(dfsan_label...

...elease" > >> >>> >>>> -- Installing: ship/include/sanitizer/asan_interface.h > >> >>> >>>> -- Installing: ship/include/sanitizer/common_interface_defs.h > >> >>> >>>> -- Installing: ship/include/sanitizer/dfsan_interface.h > >> >>> >>>> -- Installing: ship/include/sanitizer/linux_syscall_hooks.h > >> >>> >>>> -- Installing: ship/include/sanitizer/lsan_interface.h > >> >>> >>>> -- Installing: ship/include/sanitizer/msan_interfa...