Mailinglist Archive: opensuse-features (304 mails)

< Previous Next >
[openFATE 311146] Verify static analysis reports by symbolic execution
Feature changed by: Jiri Slaby (jirislaby)
Feature #311146, revision 2
Title: Verify static analysis reports by symbolic execution

- Hackweek VI: Unconfirmed
+ Hackweek VI: Implementation
Requester: Neutral

Requested by: Jiri Slaby (jirislaby)
+ Developer: (Novell)
Partner organization:

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
Godefroid et al.: DART: Directed Automated Random Testing

openSUSE Feature:

< Previous Next >
List Navigation
This Thread