Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
549 Linux Driver Verification Feature Open Normal We want to know the kernel version during processing Evgeny Novikov Evgeny Novikov Actions
548 Linux Driver Verification Bug New Normal Information about problematic launches can't make its way to results database Alexey Khoroshilov Actions
535 CTESK Bug New Normal Не регистрируется ошибка SERIALIZATION_FAILED. Андрей Максимов Alexey Demakov CTESK - 2.9 Actions
533 Linux Driver Verification Bug Open Normal Stats server isn't validated with W3C validator Evgeny Novikov Evgeny Novikov Actions
525 JavaTESK Task Resolved Normal Проверить компилируемость файла Alexey Demakov Alexey Demakov Actions
522 Linux Driver Verification Bug New Normal Drv-env-gen - generated Incorrect functions sequence. Alexandr Strakh Ilja Zakharov Actions
517 CTESK Bug New Normal Недетерминированный обходчик ndfsm игнорирует режим работы UNTIL_END. Андрей Максимов Alexey Demakov CTESK - 2.9 Actions
507 BLAST Bug New Low SMT sovler could not parse the request (Error: Undefined name) Vadim Mutilin Actions
502 CTESK Feature New Normal Определить поведение specification typedef для случая базового спецификационного типа Alexey Demakov CTESK - 2.9 Actions
501 CTESK Feature New Normal Управление памятью для локальных массивов спецификационных ссылок Alexey Demakov CTESK - 2.9 Actions
498 CTESK Task New Normal Добавить синхронизацию изменения счетчика ссылок на объект Alexey Demakov Alexey Demakov CTESK - 2.9 Actions
489 BuildBase Support New Low Более детальная документация Yuriy Shekochihin Actions
485 BLAST Bug Open Low Non-linear SMT solver queries in BLAST Vadim Mutilin Mikhail Mandrykin Actions
472 Linux Driver Verification Bug New Normal DEG: incorrect work for driver fs/ntfs/super.c Alexandr Strakh Vadim Mutilin Actions
469 CTESK Bug New Normal Cannot init memento object with path null Alexey Khoroshilov Actions
468 UniTESK Reports Bug New Normal java.lang.NullPointerException при открытии трассы от account'а Alexey Khoroshilov Alexey Demakov Actions
466 Linux Driver Verification Task Open Normal 32_7: Several errors from KB not found Vadim Mutilin Actions
432 Linux Driver Verification Bug Open Normal Error trace in LDV-online has minor problems: excessive selection and colons Pavel Shved Evgeny Novikov Actions
414 JavaTESK Bug Resolved Normal Англоязычная документация содержит русский текст Anastasia Tugaenko Alexey Demakov Actions
405 Linux Driver Verification Bug Open Normal Unsafe drivers reported as safe on kb0032 Vadim Mutilin Actions
398 Linux Driver Verification Bug New Low Warnings during mykernel-1-2.6.32.15 compilation Pavel Shved Actions
387 Veritool Task New Normal Отладочный вывод значений входов и выходов Alexander Kamkin Alexander Kamkin Actions
373 C Instrumentation Framework Feature Open High Merge matching for different entities Evgeny Novikov Evgeny Novikov Actions
371 C Instrumentation Framework Bug Open High Fix Aspectator information output in libcpp Evgeny Novikov Evgeny Novikov Actions
370 C Instrumentation Framework Feature Open Low Add primitive pointcut declaration kind in conversion from internal type representation to the declaration one Evgeny Novikov Evgeny Novikov Actions
364 C Instrumentation Framework Feature Open Low Think on negatives joinpoint semantic Evgeny Novikov Evgeny Novikov Actions
363 C Instrumentation Framework Feature Open High Macro and macro arguments references Evgeny Novikov Evgeny Novikov Actions
360 C Instrumentation Framework Feature Open High Add new body patterns Evgeny Novikov Evgeny Novikov Actions
359 C Instrumentation Framework Feature Open Low Think whether treat typedefs on structures as structures themselves Evgeny Novikov Evgeny Novikov Actions
358 C Instrumentation Framework Feature Open High Add multiple advices processing like for 'file' primitive pointcut Evgeny Novikov Evgeny Novikov Actions
357 C Instrumentation Framework Feature Open High Add function pointer dereferencing primitive pointcut Evgeny Novikov Evgeny Novikov Actions
354 C Instrumentation Framework Feature Open Low Parameters attributes Evgeny Novikov Evgeny Novikov Actions
345 C Instrumentation Framework Feature Open High Fix implementation of '..' wildcard Evgeny Novikov Evgeny Novikov Actions
336 BLAST Bug Open Normal Interpolants where real numbers are used are ignored by BLAST Pavel Shved Pavel Shved Actions
333 BLAST Feature New Low Restrict abstraction to the actual values used Pavel Shved Pavel Shved Actions
332 BLAST Bug Open Normal Alias analyzer doesn't alias int with volatile int! Pavel Shved Pavel Shved Actions
331 BLAST Bug Open Normal Globals without an explicit initializer are not initialized as zeros! Pavel Shved Pavel Shved Actions
329 BLAST Bug Open Low Blast fails on very simple programs Pavel Shved Pavel Shved Actions
328 BLAST Bug Open Low Short logic when calling functions in conditions should be implemented correctly Pavel Shved Actions
327 BLAST Feature Open Normal Reasoning about pointer inequalities is necessary for analysis Pavel Shved Actions
300 CTESK Bug New Normal Атомарность работы со ссылками Sergey Groshev CTESK - 2.9 Actions
292 Aspectrace Task New Normal Генератор отчетов для аспекта FSM Alexander Kamkin Sergey Groshev Actions
290 Aspectrace Task New Normal Аспект FSM: трассировка переходов Alexander Kamkin Alexey Demakov Actions
289 Aspectrace Task New Normal Кодировка по умолчанию Alexander Kamkin Sergey Groshev Actions
279 CTESK Task New Normal Библиотека рандомизации Alexander Kamkin Alexey Demakov Actions
250 тест2 Bug Resolved Normal Bug in non-importanto component, test2 Pavel Shved Actions
240 UniTESK Reports Bug Resolved Normal Угловые скобки при выводе состояния Alexey Demakov Alexey Demakov UniTESK Reports - 2.7 Actions
228 JavaTESK Bug New Normal Плагин JavaTESK не работает вместе с плагином CTESK Eugene Kornykhin Yuriy Shekochihin JavaTESK - 2.3.176-alpha-100115 Actions
199 JavaTESK Bug Resolved Normal Checker: Неправильный тип элемента массива в циклах Eugene Kornykhin Eugene Kornykhin JavaTESK - 2.3.176-alpha-100115 Actions
195 JavaTESK Bug Resolved Normal Checker: не проходит проверка соответствия класса и raw-параметризованного типа Eugene Kornykhin Eugene Kornykhin JavaTESK - 2.3.176-alpha-100115 Actions
(2001-2050/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF