Mailinglist Archive: opensuse-features (304 mails)

[fate_noreply@xxxxxxx]

Feature changed by: Jiri Slaby (jirislaby)
Feature #311146, revision 2
  Title: Verify static analysis reports by symbolic execution
   
- Hackweek VI: Unconfirmed
+ Hackweek VI: Implementation
  Priority
      Requester: Neutral
   
  Requested by: Jiri Slaby (jirislaby)
+ Developer:  (Novell)
  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