polytracker
polytracker copied to clipboard
Fixes `jq` docker example
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.