Analyzing C++ code

[sp1ff]

Perhaps this is just not a supported use case, but do you have any suggestions for analyzing C++ code? I have a fairly small function I'd like to analyze, but it uses std::string. When I ask the ExecutionManager for the first path through it, I get:

result: Err(
    FunctionNotFound(
        "_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6lengthEv",
    ),
)

de-manging gives std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::length() const.

I guess I need bitcode for the C++ standard library, but it occurs to me that the same problem would present itself for any C function that makes use of the C standard library. What's your recommended path forward, here? Even if I produce bitcode for a library on which my function depends, how do I give it to the ExecutionManager?