Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
358 C Instrumentation Framework Feature Open High Add multiple advices processing like for 'file' primitive pointcut 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
360 C Instrumentation Framework Feature Open High Add new body patterns Evgeny Novikov Evgeny Novikov Actions
363 C Instrumentation Framework Feature Open High Macro and macro arguments references Evgeny Novikov Evgeny Novikov Actions
364 C Instrumentation Framework Feature Open Low Think on negatives joinpoint semantic 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
371 C Instrumentation Framework Bug Open High Fix Aspectator information output in libcpp Evgeny Novikov Evgeny Novikov Actions
373 C Instrumentation Framework Feature Open High Merge matching for different entities Evgeny Novikov Evgeny Novikov Actions
387 Veritool Task New Normal Отладочный вывод значений входов и выходов Alexander Kamkin Alexander Kamkin Actions
398 Linux Driver Verification Bug New Low Warnings during mykernel-1-2.6.32.15 compilation Pavel Shved Actions
405 Linux Driver Verification Bug Open Normal Unsafe drivers reported as safe on kb0032 Vadim Mutilin Actions
414 JavaTESK Bug Resolved Normal Англоязычная документация содержит русский текст Anastasia Tugaenko Alexey Demakov 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
466 Linux Driver Verification Task Open Normal 32_7: Several errors from KB not found Vadim Mutilin Actions
468 UniTESK Reports Bug New Normal java.lang.NullPointerException при открытии трассы от account'а Alexey Khoroshilov Alexey Demakov Actions
469 CTESK Bug New Normal Cannot init memento object with path null Alexey Khoroshilov Actions
472 Linux Driver Verification Bug New Normal DEG: incorrect work for driver fs/ntfs/super.c Alexandr Strakh Vadim Mutilin Actions
485 BLAST Bug Open Low Non-linear SMT solver queries in BLAST Vadim Mutilin Mikhail Mandrykin Actions
489 BuildBase Support New Low Более детальная документация Yuriy Shekochihin Actions
498 CTESK Task New Normal Добавить синхронизацию изменения счетчика ссылок на объект Alexey Demakov Alexey Demakov CTESK - 2.9 Actions
501 CTESK Feature New Normal Управление памятью для локальных массивов спецификационных ссылок Alexey Demakov CTESK - 2.9 Actions
502 CTESK Feature New Normal Определить поведение specification typedef для случая базового спецификационного типа Alexey Demakov CTESK - 2.9 Actions
507 BLAST Bug New Low SMT sovler could not parse the request (Error: Undefined name) Vadim Mutilin Actions
517 CTESK Bug New Normal Недетерминированный обходчик ndfsm игнорирует режим работы UNTIL_END. Андрей Максимов Alexey Demakov CTESK - 2.9 Actions
522 Linux Driver Verification Bug New Normal Drv-env-gen - generated Incorrect functions sequence. Alexandr Strakh Ilja Zakharov Actions
(26-50/1539) Per page: 25, 50, 100

Also available in: Atom CSV PDF