Most code nowadays consists of calling third party libraries and your system's other modules. How do you build the models of those components for symbolic execution?
Our backend software does integrate with larger build systems. So the way you would handle third party deps is to link them during the build and then analyse the whole built module. We plan to make it easier to integrate with toolchains for specific languages in the future.