This section contains information about problems in Linux kernel found within Linux Driver Verification project with CPAchecker engine.

File: /opt/drupal-6.38/php/impl_reports.php; Line: 590; SQL: SELECT br.num, br.kind_en, br.sh_descr_en, br.dtime, br.registered , br.status_en, br.flags, ppob.id FROM bitnami_drupal6.bug_reports AS br, bitnami_drupal6.public_pool_of_bugs AS ppob WHERE rectype='impl' AND (component='linux-kernel' or component like BINARY 'linux-kernel %') AND (status_en like BINARY 'Fixed in%') AND (ppob.bug_report_num=br.num) AND (ppob.verifier='cpachecker') GROUP BY(br.num) ORDER BY dtime DESC