Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5365 Linux Kernel Safety RuleDB Feature New Normal 202: All allocated memory from DMA pool should be freed Pavel Andrianov Actions
5364 Linux Kernel Safety RuleDB Feature New Normal 204: DMA maps for PCI devices Pavel Andrianov Actions
5363 Linux Kernel Safety RuleDB Feature New Normal 206: all created kernel threads should be stopped Pavel Andrianov Actions
5362 Linux Kernel Safety RuleDB Feature New Normal 201: All allocated cache memory should be freed Pavel Andrianov Actions
5357 Linux Kernel Safety RuleDB Feature New Normal 203: All allocated IO-memory should be freed Pavel Andrianov Actions
5356 Linux Kernel Safety RuleDB Feature New Normal 207: IRQ registration and deregistration Pavel Andrianov Actions
5355 Linux Kernel Safety RuleDB Feature New Normal 205: All allocated socket buffers should be freed Pavel Andrianov Actions
5354 Linux Kernel Safety RuleDB Feature New Normal 200: DMA maps for SCSI commands Pavel Andrianov Actions
5353 Linux Driver Verification Task Resolved Normal доступ к git репозиторию Alexey Demakov Actions
5352 TestBase Task New Normal Implementation of FpMulHardToNRound Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5351 TestBase Task New Normal Implementation of ResultAdapter for FP.MUL Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5349 Linux Kernel Safety RuleDB Feature Open Normal 039: Usage of spin lock and unlock functions Vadim Mutilin Actions
5348 TestBase Task New Normal Корректная реализация генератора IntSubExceptionGenerator Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5347 Linux Driver Verification Bug New Low Cannot upload pax archive with results obtained with deg-2 Ilja Zakharov Ilja Zakharov Actions
5328 C Instrumentation Framework Bug Open High Missing extern for inline functions Vadim Mutilin Evgeny Novikov Actions
5325 TestBase Task New Normal Sqrt hard-to-round iterator for the nearest rounding needs to be reviewed Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5314 C Instrumentation Framework Bug Open High Invalid type encountered (hidden by variable name) Vadim Mutilin Evgeny Novikov Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
5307 Linux Driver Verification Feature New Normal Current problem recalculation is too slow Ilja Zakharov Vitaly Mordan Actions
5306 Linux Driver Verification Bug New Normal LDV Uploader does not fail properly if there is not a pax archieve specified Evgeny Novikov Vitaly Mordan Actions
5298 Linux Driver Verification Feature New High Develop a new tool that can suggest module renaming Evgeny Novikov Actions
5297 Linux Driver Verification Feature New Normal Develop a new tool that lists C files for Linux kernel modules and the kernel Evgeny Novikov Actions
5295 Linux Driver Verification Feature New Normal Use "word-wrap: break-word" rather than "white-space: pre" in the comment field of the KB interface Evgeny Novikov Actions
5294 Linux Driver Verification Feature New Normal Add lang="en" to the comment field the KB interface Evgeny Novikov Actions
5291 Linux Driver Verification Feature New Normal KB interface should simplify and restrict using of tags Evgeny Novikov Actions
5287 C Instrumentation Framework Feature New Low Experiment with sound implementation of rerouter Evgeny Novikov Actions
5284 Linux Driver Verification Feature New Normal Visualize list of tasks Evgeny Novikov Evgeny Novikov Actions
5282 C Instrumentation Framework Bug Open High Incompatible types when assigning to type ‘struct <anonymous>’ from type ‘struct <anonymous>’ Vadim Mutilin Evgeny Novikov Actions
5281 Linux Driver Verification Feature New Normal ldv-upload-2 should upload all pax archives passed as parameters into a single task Vadim Mutilin Vitaly Mordan Actions
5276 Retrascope IDE Task New Normal [cfg][visualizator][zest] Отладить размещение графа с циклами Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5273 Retrascope IDE Task New Normal [cfg][visualizator][zest] Получение принтера выражений из конфигурации Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5272 Retrascope IDE Task New Normal [cfg][visualizator][zest] Установка прогресса при построении графа Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5271 Retrascope IDE Task New Normal [task][configurator] Деактивация кнопки OK Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5266 Requality Task New Low Часть static методов вынести из RequalityCLI Denis Kildishev Actions
5251 Retrascope IDE Task New Normal [tool][configurator] Сохранение конфигураций Sergey Smolov Retrascope IDE - 0.1 Actions
5223 Linux Driver Verification Feature New Normal KB Recalc shouldn't require update-delete access to the KB-results cache Evgeny Novikov Evgeny Novikov Actions
5215 Linux Driver Verification Feature New Normal MySQL should terminate request if a caller has gone Evgeny Novikov Evgeny Novikov Actions
5211 Fortress Task Open High Unit-тесты для трансформеров и калькулятора Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
5202 Requality Bug New Normal Несовпадение границ узла в UniEditor Viktoria Kopach Actions
5201 Requality Bug New Normal Непонятно, как в UniEditor выделить узел, чтобы его скопировать. Viktoria Kopach Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
5159 Requality Bug New Normal При наличии ошибок в шаблоне не сразу перегенерирует Denis Kildishev Actions
5153 Requality Feature New Normal Подсвечивать все фрагменты требования Anastasia Tugaenko Actions
5150 Retrascope Task New Normal Обработка функций - реализация макроподстановок Alexander Kamkin Sergey Smolov Retrascope - 1.2 Actions
5128 Requality Feature New Normal Полуавтоматическое формирование имени длинного требования Anastasia Tugaenko Actions
5102 Linux Driver Verification Bug New Normal sd_start handler not extracted for gspca_benq.ko, gspca_konica.ko Vadim Mutilin Ilja Zakharov Actions
5093 Retrascope IDE Task New High [cfg][visualizator][zest] Следует открывать граф в области редактора Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5080 Requality Task New Normal Описать принципы работы с новыми точками расширения Denis Kildishev Denis Kildishev Actions
5071 Requality Feature New Normal При удалении документа предлагаются к удалению не все требования Viktoria Kopach Actions
5063 Requality Feature New Normal Добавить в Properties view отчета краткое описание выбранного шаблона Viktoria Kopach Actions
5057 Retrascope IDE Bug New Normal [tool][configurator] Для низкоуровнего конфигуратора Arguments не нужно выдавать --arguments Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
5053 Requality Task New Normal Нужно добавить механизмы исправления ошибок(в том числе - с проблемными Location) Denis Kildishev Actions
5051 Requality Feature New Normal Сделать механизм для объединения документов в один Denis Kildishev Actions
5027 Retrascope Task New Normal Абстракция EFSM-моделей Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
5021 Requality Feature New Normal Сделать очевиднее выделение узла в UniEditor Viktoria Kopach Actions
5017 Requality Bug New Normal Ошибка при Undo удаления требования с фрагментом Viktoria Kopach Actions
5015 Requality Feature New Low Расширить возможности Iterator<TreeNode> Denis Kildishev Actions
5012 Linux Driver Verification Bug New Normal CIL adds const for the function parameter which is changed Vadim Mutilin Actions
4969 C++TESK Testing ToolKit Task New Normal [core] Работа инструмента с timeout=0 Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
4968 C++TESK Testing ToolKit Task New Normal [docs] Описание выдаваемых инструментом сообщений Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
4962 Retrascope Task New Normal Реализация утилиты Veritool с помощью средств Retrascope Alexander Kamkin Alexander Kamkin Retrascope - 2.0 Actions
4961 Retrascope IDE Task New Normal [tool][configurator] Конструктор инструментальных цепочек Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
4956 C++TESK Testing ToolKit Bug New Normal [log] Сообщение при удалении реакции по тайм-ауту Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
4955 C++TESK Testing ToolKit Task New Normal [lang][core] Способы работы с типами данных uint128_t, uint256_t и т.д. Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
4948 Requality Bug New Normal Mozilla Firefox 24 и Eclipse 4.4 - не получается работать с фрагментами документа Viktoria Kopach Actions
4938 Requality Bug New Normal Сделать пункт "Copy" в контекстном меню в редакторе документа Viktoria Kopach Actions
4936 Requality Feature Open Low Добавить предупреждения о неправильной версии eclipse\отсутствии engine'ов Denis Kildishev Actions
4932 C++TESK Testing ToolKit Task Resolved Normal [lang][log] Переопределение вывода полей сообщений Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
4931 Requality Bug New Normal Fields text has been skipped on word document import Denis Filatov Denis Kildishev Actions
4930 Requality Feature New Normal Копирование выделенного текста из фрагмента требования Denis Kildishev Actions
4892 Retrascope Task New Low Анализ набора блок-схем на взаимные блокировки Alexander Kamkin Mikhail Lebedev Retrascope - 2.0 Actions
4891 Retrascope Task New Low Реализация генератора тестов по набору блок-схем Alexander Kamkin Alexander Kamkin Retrascope - 2.0 Actions
4890 Retrascope Task New Low Разработка и реализация метода RTL-в-TLM абстракции блок-схем Alexander Kamkin Alexander Kamkin Retrascope - 2.0 Actions
4889 Retrascope Task New Low Генерация заготовки эталонной модели по набору блок-схем (flowchart) Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4888 Retrascope Task New Low Генератор заготовки тестовой системы по ее описанию Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4887 Retrascope Task New Low Разработка внутреннего представления тестовой системы Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4884 Retrascope IDE Task New Normal [flowchart][visualizator][zest] Визуализация блок-схем Alexander Kamkin Alexander Kamkin Retrascope IDE - 0.1 Actions
4882 Retrascope Task New Low Разработка принтеров блок-схем в графические форматы Alexander Kamkin Alexander Protsenko Retrascope - 2.0 Actions
4881 Retrascope Task New Low Реализация алгоритма построения блок-схем по внутреннему представлению Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4880 Retrascope Task New Low Проектирование внутреннего представления для блок-схем Alexander Kamkin Sergey Smolov Retrascope - 2.0 Actions
4869 Requality Task New Normal Заменить где возможно Open<ClassName>Editor Denis Kildishev Denis Kildishev Actions
4805 TestBase Task New Normal Top-level test situations of instructions Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4804 TestBase Task New Normal Manual description of test situations in Java and XML Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4798 Linux Driver Verification Bug New Normal Duplicated global temps for array of structures initialization Vadim Mutilin Actions
4789 C Instrumentation Framework Bug Open High Missing extern declarations for the arrays Vadim Mutilin Evgeny Novikov Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4713 Fortress Task New High SMT-LIB structures Sergey Smolov Artem Kotsynyak Fortress - 0.4 Actions
4711 C Instrumentation Framework Bug Open High Aspectator doesn't traverse conditional expressions well Evgeny Novikov Evgeny Novikov Actions
4706 Linux Driver Verification Bug Resolved Normal Unsupported error traces for the new version of CPAchecker (rev. 10561) Vadim Mutilin Vitaly Mordan Actions
4675 Fortress Task New Normal Манипуляция с функциями алгебры логики Alexander Kamkin Alexander Kamkin Fortress - 0.4 Actions
4674 TestBase Task New Normal Тестовые ситуации Sergey Smolov Artem Kotsynyak TestBase - 0.0 Actions
4638 Linux Kernel Safety RuleDB Feature New Normal 040: Urb initialization Vadim Mutilin Actions
4637 Linux Kernel Safety RuleDB Feature New Normal 027: Request queues init/cleanup Vadim Mutilin Actions
4636 Linux Kernel Safety RuleDB Feature New Normal 026: Gendisk alloc,del,add,put Vadim Mutilin Actions
4635 Local Support Project Bug Resolved Normal Cannot connect to repo using https Andrey Tsyvarev Actions
4632 Local Support Project Feature Resolved High Доступ на запись к git репозиториям LDV Alexey Khoroshilov Actions
4631 Linux Driver Verification Bug Open High QA doesn't have swap account Evgeny Novikov Evgeny Novikov Actions
4627 Requality Bug New Normal Очень большое поле Alternative Description Viktoria Kopach Actions
4624 Local Support Project Task Resolved Normal Не обновляется информация о коммитах Alexey Demakov Alexey Demakov Actions
4623 Local Support Project Task New Normal Автоматизировать предоставление ssh доступа Alexey Demakov Alexey Demakov Actions
(1401-1500/1959) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF