Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9709 Deductive Verification Tools for Linux Kernel Bug New Normal astraver: support calls annotation Denis Efremov Mikhail Mandrykin Actions
9708 Deductive Verification Tools for Linux Kernel Bug New Normal astraver: attach#global: called on already dead object Denis Efremov Mikhail Mandrykin Actions
9669 Deductive Verification Tools for Linux Kernel Bug New Normal verker: make sprove-proved, make verify-proved hungs Denis Efremov Mikhail Mandrykin Actions
9600 Deductive Verification Tools for Linux Kernel Bug New Normal Why3Ide: "Fastest" button broken Denis Efremov Mikhail Mandrykin Actions
9598 Deductive Verification Tools for Linux Kernel Feature New Normal coq: driver: rewrite && to -> in inductive defitions; use let Denis Efremov Mikhail Mandrykin Actions
9563 Deductive Verification Tools for Linux Kernel Feature New Normal Investigate less efficient code generation Evgeny Novikov Mikhail Mandrykin Actions
9526 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: опция для подключения файла с доказательствами Coq Denis Efremov Mikhail Mandrykin Actions
9284 Deductive Verification Tools for Linux Kernel Bug New Normal jingoo 1.2.18 падает generate.ml Grigoriy Volkov Mikhail Mandrykin Actions
8578 Deductive Verification Tools for Linux Kernel Bug New Normal Моделирование escape char '\e' Denis Efremov Mikhail Mandrykin Actions
8451 Deductive Verification Tools for Linux Kernel Bug New Normal русские буквы в путях к файлу Denis Efremov Mikhail Mandrykin Actions
2692 Linux Kernel Safety RuleDB Feature Resolved Normal 100: TTY should not be NULL when it is passed to TTY processing functions Evgeny Novikov Mikhail Mandrykin Actions
2742 Linux Kernel Safety RuleDB Feature Open Normal 106: The gadget driver, char device number, and class device should be unregistered in reverse order of registration Evgeny Novikov Mikhail Mandrykin Actions
3306 Linux Kernel Safety RuleDB Feature Open Normal 132: Usb device reference counting with usb_get_dev/usb_put_dev and interface_to_usbdev Mikhail Mandrykin Mikhail Mandrykin Actions
3313 Linux Kernel Safety RuleDB Feature New Normal 134: Error handling for critical functions in probe() Mikhail Mandrykin Mikhail Mandrykin Actions
1019 Linux Driver Verification Bug New Normal Our models are not correctly understood by CPAchecker Pavel Shved Mikhail Mandrykin Actions
1012 Linux Driver Verification Bug New Normal BLAST and CPAchecker do not agree on safety of certain drivers Pavel Shved Mikhail Mandrykin Actions
2751 Linux Kernel Safety RuleDB Feature Open Normal 108: Driver callback functions should always return non positive values Evgeny Novikov Mikhail Mandrykin Actions
3311 Linux Kernel Safety RuleDB Feature Open Normal 133: Don't call function kfree_skb twice Mikhail Mandrykin Mikhail Mandrykin Actions
485 BLAST Bug Open Low Non-linear SMT solver queries in BLAST Vadim Mutilin Mikhail Mandrykin Actions
    (1-19/19)

    Also available in: Atom CSV PDF