10 Jun
2010
10 Jun
'10
09:23
Feature changed by: Jiri Slaby (jirislaby) Feature #309767, revision 2 Title: Symbolically execute kernel parts Requested by: Jiri Slaby (jirislaby) Description: Use symbolic execution to find bugs in kernel. It is a promising approach nowadays and may find tons of bugs without false positives. + + I'm working on that myself. -- openSUSE Feature: https://features.opensuse.org/309767