Displaying 10 results from an estimated 10 matches for "dfsan_set_label".
2017 Jun 15
2
Linker error while linking DataFlowSanitizer to LLVM IR
...roduce 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/../../../x86_64-linux-gnu/Scrt1.o: In
function `_start':
(.text+0x2...
2019 Apr 16
2
"compiler-rt" - DataFlowSanitizer
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:
2017 Jun 16
2
How does sanitizers in compiler-rt work?
...ation on
the internals of compiler-rt project? What happens (sequence of actions)
when I pass -fsanitizer=dataflow to clang?
Precisely, I intend to alter the behaviour of DFSan to suit my need.
Therefore, I need to know how it gets integrated in the tool-chain.
Initially, my idea was to insert the dfsan_set_label() calls to the IR and
pass it to DFSan. However, I am not sure if it's designed to run on the
source only, not on IR.
--
Thanks & Regards,
Dipanjan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/201...
2018 Mar 31
1
using llvm DataFlowSanitizer error
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'
../libtiff/libtiff.so.5.2.5: undefined reference to `dfs$jpeg_write_table...
2013 Jun 13
5
[LLVMdev] DataFlowSanitizer design discussion
...clared
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 for that address and \c label.
void dfsan_add_label(dfsan_label label, void *addr, size_t size);
/// Retrieves the label associated with the given...
2013 Jun 26
0
[LLVMdev] DataFlowSanitizer design discussion
...clared
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 for that address and \c label.
void dfsan_add_label(dfsan_label label, void *addr, size_t size);
/// Retrieves the label associated with the given...
2015 Sep 09
3
LibFuzzer and platforms availability
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
2018 Apr 01
0
using llvm DataFlowSanitizer error
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 reference to `dfs$jbg_enc_init'
DataFlowSanitizer creates an instrumented versi...
2013 Aug 07
2
[LLVMdev] DataFlowSanitizer design discussion
...t;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 for that address and \c label.
> void dfsan_add_label(dfsan_label label, void *addr, size_t size);
>
> /// Retrieves the l...
2016 Jul 13
2
[LLVM/Clang v3.8.1] Missing Git branches/tags and source-tarballs?
On Wed, Jul 13, 2016 at 04:48:51PM +0200, Sedat Dilek via llvm-dev wrote:
> [ CCed all people who were involved in this thread ]
>
> Hi Tom,
>
> personally, I am interested to test the prebuilt-toolchains for
> Ubuntu/xenial alias 16.04 LTS and Debian/Jessie v8.5.0 AMD64.
> The available toolchains are incomplete and thus useless.
>
> Just as a fact: There is still no