Comment by buitreVirtual

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?