trailofbits / polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Apache License 2.0
532 stars 46 forks source link

Ports over dfsan from `polytracker-llvm` #6517

Closed surovic closed 1 year ago

surovic commented 1 year ago

The ports over the DataflowSanitizer pass and related parts of compiler-rt from our modified fork of the LLVM repository. By doing this we are no longer dependent on that fork and can eventually move to more recent versions of LLVM. For this to happen, parts of polytracker's CMake build system had to be modified and the Dockerfile had to be rewritten. Users should also expect increased docker image build times as we now build libc++, which was part of the polytracker-llvm docker dependency build. The sum duration of polytracker-llvm and polytracker docker image build has however been drastically lowered. Future hope is to optimize the docker image build further.

surovic commented 1 year ago

Is it recorded somewhere what version of the compiler-rt that is included here? I think it would be good to add that information somewhere.

I'll make an issue to add a note in a new polytracker/src/compiler-rt/README.md.

I've assumed that anything in compiler-rt is untouched so I haven't paid to much attention to those files. Is that correct?

Yes. That is correct.