polytracker icon indicating copy to clipboard operation
polytracker copied to clipboard

Fixes `jq` docker example

Open surovic opened this issue 2 years ago • 0 comments

The PR fixes build and instrumentation of the jq project by introducing a fn_attr_remove pass that removes memory-related function attributes from functions introduced by dfsan and calls to those functions. Omitting this pass may lead to undefined behavior during runtime because of optimizations during the bitcode lowering process in LLVM.

surovic avatar Jul 27 '22 12:07 surovic