<div dir="ltr">Hi everyone,<div><br></div><div>I am currently trying to compile a project with the Dataflow sanitizer.</div><div>I have recompiled the libcxx and other dependencies using the sanitizer and the libc++abi.</div><div><br></div><div>The libraries are linked dynamically but when I try to execute the binary I get the following error:</div><div>```symbol lookup error: ./Variane_testharness: undefined symbol: dfs$_ZNKSt9exception4whatEv```</div><div><br></div><div>The project is a verilog project that is translated to CPP with verilator.</div><div><br></div><div><div>Does anyone know how I can resolve this?</div><div><br></div><div>Cheers,</div><div>Floris</div><div></div></div></div>