Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
1138 C Instrumentation Framework Bug Open High C back-end prints exceeding information for unnamed structures and unions Evgeny Novikov Evgeny Novikov Actions
1133 Linux Driver Verification Feature Open Low Make QA to tell us data locations for the small regression tests as well as for the medium ones Evgeny Novikov Actions
1127 Linux Driver Verification Task New Normal Check that ETV shows skipped function usb_free_urb for af9005-fe.ko Vadim Mutilin Vadim Mutilin Actions
1096 Linux Driver Verification Bug Open Normal Compiling one ruby gem requires installed version of another Pavel Shved Pavel Shved Actions
1083 Requality Feature New Low Минимальная высота полей в Properties view Viktoria Kopach Actions
1078 Aspectrace Feature New Normal Генератор отчетов и документация Mikhail Chupilko Alexey Demakov Actions
1069 BLAST Bug New Normal BLAST goes to local label out instead of global one or vice versa Vadim Mutilin Actions
1068 C Instrumentation Framework Bug New High Aspectator core at the first stage doesn't treat errors Evgeny Novikov Evgeny Novikov Actions
1064 Linux Driver Verification Bug Open Normal Build command extractor requires some refactoring Evgeny Novikov Ilja Zakharov Actions
1059 Linux Driver Verification Bug Open Normal Support versions of RabbitMQ newer than 2.0.0 Pavel Shved Pavel Shved Actions
1049 Linux Driver Verification Bug Resolved Normal Incorrect order of irq function calls for irq_chip Alexey Khoroshilov Ilja Zakharov Actions
1044 Veritool Task Feedback Normal Перенос репозитория тестов Alexander Kamkin Alexander Kamkin Actions
1037 Linux Driver Verification Feature New Normal Why the LDV needs to compile drivers? Andrey Ponomarenko Actions
1036 Linux Driver Verification Bug Open Normal gcc 4.6.0 doesn't support full kernel build Evgeny Novikov Actions
1031 Linux Driver Verification Bug New Normal Analysis of driver failed: error: linux/config.h: No such file or directory Andrey Ponomarenko Actions
1030 Linux Driver Verification Feature New Normal Create the configure script Andrey Ponomarenko 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
1010 Requality Feature New Normal Рефакторинг (меню Move и Rename) Viktoria Kopach Actions
1000 Linux Driver Verification Feature Open High Configure like tests for changes in kernel core API Alexey Khoroshilov Evgeny Novikov Actions
975 C Instrumentation Framework Feature New Low Investigate C back-end convergence Evgeny Novikov Actions
972 Linux Driver Verification Bug Open Normal Incomplete error trace sources for input/evdev.c Alexey Khoroshilov Evgeny Novikov Actions
971 Linux Driver Verification Bug New Normal DEG: Incorrect order of seq_operations Alexey Khoroshilov Vadim Mutilin Actions
970 C Instrumentation Framework Feature Open High Change the way of errors handling in aspectator Evgeny Novikov Evgeny Novikov Actions
967 Linux Driver Verification Feature Open Normal Think on error traces "signatures" Evgeny Novikov Evgeny Novikov Actions
965 Linux Driver Verification Feature New Normal Prevent analysis of drivers without main Evgeny Novikov Actions
958 Linux Driver Verification Bug New Normal Useless defines are generated by DEG Evgeny Novikov Vadim Mutilin Actions
957 Requality Feature New Normal Контекстное меню в Outline Alexey Demakov Actions
947 Linux Driver Verification Bug New Normal Verifier options can't be found for safe and unsafe drivers Evgeny Novikov Evgeny Novikov Actions
946 Linux Driver Verification Feature Open Low Implement intellectual function bodies closing in the more efficient way Evgeny Novikov Evgeny Novikov Actions
930 BLAST Bug New Low CIL's simeplemem does not respect line numbers Pavel Shved Vadim Mutilin Actions
929 UniTESK Reports Bug New Normal Неверное представление булевских значений. Андрей Максимов Actions
925 Linux Driver Verification Bug Open Normal LDV-Online sometimes prints incorrect links Evgeny Novikov Evgeny Novikov Actions
921 Linux Driver Verification Bug Open Normal Incorrect ifdefs for group parameters Vadim Mutilin Vadim Mutilin Actions
883 Requality Bug New Normal Производительность на проекте с большим числом документов Vladimir Fedotov Actions
882 Requality Bug New Normal Деградация производительности в ходе импорта большого числа документов Vladimir Fedotov Actions
877 C Instrumentation Framework Feature New High Try to use gcc tests for C backend Evgeny Novikov Evgeny Novikov Actions
858 Linux Driver Verification Bug New Low LDV online - set 'Build failed' to task when build description contains SOAP warning messages Alexandr Strakh Actions
846 Requality User Story New Low Реализовать расширенную функциональность импорта документов старого формата Yuriy Shekochihin Actions
839 Linux Driver Verification Bug New Normal Processing of build type check expressions Vadim Mutilin Actions
833 Linux Driver Verification Bug Open Normal CSD - Bind address error Alexandr Strakh Ilja Zakharov Actions
823 Linux Driver Verification Bug New Normal Fail reported in BCE instead of DEG Vadim Mutilin Ilja Zakharov Actions
822 UniTESK Reports Bug New Normal Отчет не генерируется по трассе Eugene Gerlits Alexey Demakov UniTESK Reports - 2.7 Actions
819 Linux Driver Verification Bug Open Low Warning during uploading task in LDV-online Alexandr Strakh Evgeny Novikov Actions
817 Linux Driver Verification Feature New Normal Smart management of node capabilities Alexey Khoroshilov Pavel Shved Actions
798 Linux Driver Verification Bug Open Normal Cut off trace Vadim Mutilin Evgeny Novikov Actions
785 Linux Driver Verification Bug New Normal Develop model 32_8 that takes into account mutex_lock_nested, etc. Alexey Khoroshilov Actions
782 Linux Driver Verification Bug New Normal linux-2.6.37.y isn't compiled: problem of ldv-git or kernel core? Evgeny Novikov Pavel Shved Actions
778 CTESK Bug New Normal Проблемы документации Андрей Максимов Actions
768 Requality User Story New Normal Возможность создавать проект в произвольном каталоге Alexey Demakov Actions
(2001-2050/2122) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF