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?
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 theExecutionManagerfor the first path through it, I get: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?