In research we use symbolic execution but in practical there is no good tools. Sometime it is said that symbolic execution technique is still theoretical and difficult to implement. Still i found some tools like KLEE, KLOVER but there are so many dependencies and difficult to use.
I want to know does someone have any experience or idea on tools for symbolic execution technique?
Did you try Pex at http://pex4fun.com/ ? It is a tool from Microsoft Research. I am not sure how easy it is to install and run them locally. http://www.rise4fun.com/ has a list of other static analysis tools that can be tried online. If you are interested in finding counter-examples for assertions or contracts then you can try the Leon verifier: leon.epfl.ch. It is for Scala programs and is easy to install and use.
* Symbolic execution is attractive because of two salient features. First, it generates real test cases; every bug report is accompanied by a concrete input that reproduces the problem (thus eliminating false reports). Second, symbolic execution systematically checks each program path exactly once—no work will be repeated as in other typical testing techniques (e.g., random fuzzing).
http://arxiv.org/pdf/1107.1398.pdf
http://arxiv.org/abs/1602.06038
You might also find these relevant:
Conference Paper Automated Test Case Generation Based on Coverage Analysis
Conference Paper Dynamic Solution of Linear Constraints for Test Case Generation
I would argue that there are some solid Symbolic execution toolkits or frameworks right now. Anger is one them which it's authors participated In CGC last year. It's open-source (written in python) and very flexible and easy to use.
KLEE and its descendants are also also becoming more mature and popular these days. I admit KLEE is a bit difficult to use but if one is going to research on practical symbolic execution, it should be an issue.
S2E, Triton are also other mentionable open-source candidates which are worth taking a look.
- Badges
- Science topic
- Similar topics
- Engineering
- Modeling