Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
192 JavaTESK Bug Resolved Normal Checker: неправильный возвращаемый тип метода getClass Eugene Kornykhin Eugene Kornykhin Actions
74 CTESK Feature New Normal Определение пост-покрытий Alexey Demakov CTESK - 2.9 Actions
57 Common Language ToolKit Task Resolved Normal Fix license information Alexey Demakov Actions
12 UniTestNG Task New Low specifiy excluded dirs/files using property, not directly in Java files Alexey Demakov UniTestNG - 1.2 Actions
11 CTESK Task New Low Update CLTK dependencies Alexey Demakov Yuriy Shekochihin Actions
(1951-1987/1987) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF