search for: dfsan_label

...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 size); /// Sets the label for each address in [addr,addr+size) to the union of the /// current label fo...

...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 size); /// Sets the label for each address in [addr,addr+size) to the union of the /// current label fo...

...ch 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 size); > > /// Sets the label for each address in [addr,addr+size) to the union of th...

Hi there. I’m trying to use LibFuzzer on OSX and face some issues: I checked out LibFuzzer documentation[1] and managed to proceed until the final step of the first example. Now I see linker errors related to dfsan, dfsan’s documentation[2] states explicitly “DataFlowSanitizer is a work in progress, currently under development for x86_64 Linux.”. Does it mean that LibFuzzer available only on

Hi all, I have some questions about "DataFlowSanitizer" from "compiler-rt". I want to know how I can test the "DataFlowSanitizer"? Can I configure it to label only some values, i.e, the return values from specific functions? Also, how can I print these labels? Thanks, Dareen -------------- next part -------------- An HTML attachment was scrubbed... URL:

...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 -fsanitize=dataflow test2.bc -o test2 /usr/lib/gcc/x86_64-linux-gnu/5.4.0/../.....

Hi. I'm using llvm DataFlowSanitizer. I add such code in library libtiff. dfsan_label lt_label = dfsan_create_label("buf_offset", 0); dfsan_set_label(lt_label, (unsigned char *)buf, size); But when i compile libtiff with "-fsanitize=dataflow" option, then there is an error as follows: ../libtiff/libtiff.so.5.2.5: undefined reference to `dfs$jbg_enc_init'...

On Sat, Mar 31, 2018 at 8:50 AM, 吕涛 via llvm-dev <llvm-dev at lists.llvm.org> wrote: > Hi. I'm using llvm DataFlowSanitizer. I add such code in library libtiff. > > dfsan_label lt_label = dfsan_create_label("buf_offset", 0); > > dfsan_set_label(lt_label, (unsigned char *)buf, size); > > But when i compile libtiff with "-fsanitize=dataflow" option, then there is > an error as follows: > > > ../libtiff/libtiff.so.5.2.5: undefined...