> We're working on one (!) and I hope we can offer it for free to non-commercial projects. That's good to hear. Hope you can find a way to monetize it for comm

> We're working on one (!) and I hope we can offer it for free to non-commercial projects. That's good to hear. Hope you can find a way to monetize it for commercial projects. Getting the tech right certainly seems to be a hard problem with Google's Konstantin Serebryany calling the symbolic execution route a rocket science. In my view the problem is coming up with a solid solution instead of just heuristics (as with all multi-approach methods: when to switch modes?) and making sure the tech is usable to test arbitrary complex pieces of software.