Comment by buitreVirtual
5 years ago
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?
5 years ago
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?
Great question. This obviously isn't exposed through the playground right now as that's just a single file demo.
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.