Mailinglist Archive: opensuse-features (302 mails)

< Previous Next >
[New: openFATE 311146] Verify static analysis reports by symbolic execution
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

< Previous Next >
List Navigation
This Thread
References