Feature added by: Jiri Slaby (jirislaby) Feature #311146, revision 1 Title: Verify static analysis reports by symbolic execution Hackweek VI: Unconfirmed Priority Requester: Neutral Requested by: Jiri Slaby (jirislaby) Partner organization: openSUSE.org Description: Static analysis tools report many false positives caused by improper state tracking during the check. These false positives may be easily (at least I think so) pruned by running the symbolic execution on that. More concretely, let's try it with Stanse and Klee. Papers: J.C. King: Symbolic execution and program testing Engler et al.: Klee : Unassisted and automatic generation of high-coverage tests for complex systems programs Godefroid et al.: DART: Directed Automated Random Testing -- openSUSE Feature: https://features.opensuse.org/311146