Comment Comment by pag Can you explain how your offering compares with open-source alternatives, such as KLEE [1] and DeepState [2]?P.S. your logo is surprisingly similar to that of ForAllSecure [3], which also provides a symbolic execution engine called Mayhem [4].[1] https://klee.github.io/ (online example: http://klee.doc.ic.ac.uk/)[2] https://github.com/trailofbits/deepstate#readme[3] https://forallsecure.com/[4] https://users.ece.cmu.edu/~aavgerin/papers/mayhem-oakland-12... parent pag 5 years ago
P.S. your logo is surprisingly similar to that of ForAllSecure [3], which also provides a symbolic execution engine called Mayhem [4].
[1] https://klee.github.io/ (online example: http://klee.doc.ic.ac.uk/)
[2] https://github.com/trailofbits/deepstate#readme
[3] https://forallsecure.com/
[4] https://users.ece.cmu.edu/~aavgerin/papers/mayhem-oakland-12...