search for: dataflowsanit

Displaying 20 results from an estimated 53 matches for "dataflowsanit".

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...
2014 Oct 07
2
[LLVMdev] Debug Info and DFSan
...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. > > >>> > >...
2014 Oct 07
2
[LLVMdev] Debug Info and DFSan
...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...
2015 Jul 06
2
[LLVMdev] DataFlowSanitizer only for Linux
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...
2015 Jan 15
2
[LLVMdev] DataFlowSanitizer using wrong memory layout
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...
2019 Jul 06
2
Seeking suggestions about interfacing of LLVM DataFlowSanitizer library with KLEE in C code.
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...
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...
2015 Jul 08
2
[LLVMdev] DataFlowSanitizer only for Linux
...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",...
2017 Jun 15
2
Linker error while linking DataFlowSanitizer to LLVM IR
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...
2013 Jun 26
0
[LLVMdev] DataFlowSanitizer design discussion
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...
2014 Oct 07
2
[LLVMdev] Debug Info and DFSan
...(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...
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....
2015 Jul 10
2
[LLVMdev] DataFlowSanitizer only for Linux
...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...
2013 Aug 07
2
[LLVMdev] DataFlowSanitizer design discussion
...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...
2013 Jun 13
5
[LLVMdev] DataFlowSanitizer design discussion
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...
2017 May 05
2
LLVM 4.0.1-rc1 has been tagged
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...
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 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...
2013 Aug 07
0
[LLVMdev] DataFlowSanitizer design discussion
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.
2013 Aug 07
1
[LLVMdev] DataFlowSanitizer design discussion
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
2013 Jun 13
0
[LLVMdev] DataFlowSanitizer design discussion
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>