search for: dataflowsanit

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...

...t; way, I > > >>> > started looking at all calls to llvm::Function::takeName to see if > > >>> there > > >>> > were any other debug info quality bugs in similar callers. > > >>> > > > >>> > One such caller is the DataFlowSanitizer, and I don't see any debug > > >>> info > > >>> > tests for this so I'm wondering what /should/ happen here. > > >>> > > > >>> > Is DFSan+DebugInfo something that matters? I assume so. > > >>> > >...

...looking at all calls to llvm::Function::takeName to > see if > > > > >>> there > > > > >>> > were any other debug info quality bugs in similar callers. > > > > >>> > > > > > >>> > One such caller is the DataFlowSanitizer, and I don't see any > debug > > > > >>> info > > > > >>> > tests for this so I'm wondering what /should/ happen here. > > > > >>> > > > > > >>> > Is DFSan+DebugInfo something that matters? I...

Afternoon, I had an issue with trying to link a program with the DataFlowSanitizer functionality, this is from the libFuzzer project, and I was seeing: clang++ -fsanitize=address -fsanitize-coverage=edge test_fuzzer.cc Fuzzer*.o Undefined symbols for architecture x86_64: "_dfsan_create_label", referenced from: fuzzer::TraceState::DFSanCmpCallback(unsigne...

Hi all, Any one tried using DataFlowSanitizer on Linux x86_64? I tried on: 3.13.0-44-generic #73~precise1-Ubuntu SMP Wed Dec 17 00:39:15 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux It assumes wrong memory layout and remaps application code segment as shadow memory, thus causing SIGSEV (Segmentation fault). Is this know? and fix under way...

Dear Developers, I am a Master's student at the ECE department of the University of Florida, USA.​​ For my research project, supervised by Prof. Mark Tehranipoor<http://tehranipoor.ece.ufl.edu/> and Prof. Farimah Farahmandi<http://farimah.ece.ufl.edu/>, I need to use Clang LLVM DataflowSanitizer library in KLEE. 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 DataFlowSanit...

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...

...d, Jul 8, 2015 at 7:45 AM, Kostya Serebryany <kcc at google.com> wrote: > +pcc , glider > > On Mon, Jul 6, 2015 at 12:59 PM, Juan Ceasar <juan.d.ceasar at gmail.com> > wrote: >> >> Afternoon, >> >> I had an issue with trying to link a program with the DataFlowSanitizer >> functionality, this is from the libFuzzer project, and I was seeing: >> >> clang++ -fsanitize=address -fsanitize-coverage=edge test_fuzzer.cc >> Fuzzer*.o >> >> Undefined symbols for architecture x86_64: >> >> "_dfsan_create_label",...

I am using pre-built LLVM/Clang 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(&q...

On Thu, Jun 13, 2013 at 03:00:46PM -0700, Peter Collingbourne wrote: > Hi, > > I am starting a thread to discuss the design of DataFlowSanitizer, > a compiler instrumentation based analysis tool which I am hoping to > bring into LLVM. As a starting point, I have included the current > version of the design document below. Comments are appreciated. Any further comments on the below? I've updated the design document to ad...

...(with the same name) to transform their type in some way, I >>> > started looking at all calls to llvm::Function::takeName to see if >>> there >>> > were any other debug info quality bugs in similar callers. >>> > >>> > One such caller is the DataFlowSanitizer, and I don't see any debug >>> info >>> > tests for this so I'm wondering what /should/ happen here. >>> > >>> > Is DFSan+DebugInfo something that matters? I assume so. >>> >>> It may be important in the future, but at the m...

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....

...rote: >> > +pcc , glider >> > >> > On Mon, Jul 6, 2015 at 12:59 PM, Juan Ceasar <juan.d.ceasar at gmail.com> >> > wrote: >> >> >> >> Afternoon, >> >> >> >> I had an issue with trying to link a program with the DataFlowSanitizer >> >> functionality, this is from the libFuzzer project, and I was seeing: >> >> >> >> clang++ -fsanitize=address -fsanitize-coverage=edge test_fuzzer.cc >> >> Fuzzer*.o >> >> >> >> Undefined symbols for architecture x86_64...

...sign below I intend to commit my DFSan patches in a week. Thanks, Peter On Tue, Jun 25, 2013 at 06:13:49PM -0700, Peter Collingbourne wrote: > On Thu, Jun 13, 2013 at 03:00:46PM -0700, Peter Collingbourne wrote: > > Hi, > > > > I am starting a thread to discuss the design of DataFlowSanitizer, > > a compiler instrumentation based analysis tool which I am hoping to > > bring into LLVM. As a starting point, I have included the current > > version of the design document below. Comments are appreciated. > > Any further comments on the below? I've updated...

Hi, I am starting a thread to discuss the design of DataFlowSanitizer, a compiler instrumentation based analysis tool which I am hoping to bring into LLVM. As a starting point, I have included the current version of the design document below. Comments are appreciated. Thanks, Peter DataFlowSanitizer Design Document ********************************* This docu...

Hi, I'm seeming new regressions form 4.0.0 for mips big endian: DataFlowSanitizer-mips64 :: custom.cc DataFlowSanitizer-mips64 :: propagate.c SanitizerCommon-asan-mips-Linux :: sanitizer_coverage_trace_pc_guard-dso.cc SanitizerCommon-asan-mips-Linux :: sanitizer_coverage_trace_pc_guard.cc SanitizerCommon-asan-mips64-Linux :: Linux/getpwnam_r_invalid_user.cc...

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 Linux platform? Can somebody confirm or refute my conclusion? [1] http://llvm.org/docs/LibFuzzer.html [2] http://clang.llvm.org/docs/DataFlowSanitizer.html -- AlexDenisov Softw...

On Tue, Aug 6, 2013 at 5:55 PM, Peter Collingbourne <peter at pcc.me.uk> wrote: > Hi, > > If there are no further comments on the design below I intend to commit > my DFSan patches in a week. > I think it would be good to get Kostya's explicit sign-off on this before committing it, as he has been directing and overseeing the sanitizer work as a whole over the past year.

15.06.2013, 00:53, "Bin Tzeng" <bintzeng at gmail.com>: > It is interesting. I can see some use cases with such a tool. To me, source-level implementation > is not as accurate as binary translation. For instance, it is hard to check the taint for return addresses > since there is no concept of return instructions on source level. Well, on many architectures there is no

Could you maybe give some example use cases? Also, "sanitizer" may not be the best name for this, since it doesn't really sanitize anything. -- Sean Silva -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130613/89f3df75/attachment.html>