Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
1969 BLAST Feature New Normal Concurrent forward exploration at each node Pavel Shved Actions
1902 BLAST Feature Open Normal Function pointer inequality support for calls by function pointers Pavel Shved Pavel Shved Actions
1685 BLAST Feature New Low Make BLAST understand and verify recursion Pavel Shved Pavel Shved Actions
333 BLAST Feature New Low Restrict abstraction to the actual values used Pavel Shved Pavel Shved Actions
327 BLAST Feature Open Normal Reasoning about pointer inequalities is necessary for analysis Pavel Shved Actions
3662 BLAST Support New Normal Blast documentation? Roopak Sinha Actions
1490 BuildBase Support New Normal Визуализация зависимостей между target Yuriy Shekochihin Actions
489 BuildBase Support New Low Более детальная документация Yuriy Shekochihin Actions
6506 Castle Task Feedback Normal Вопросы по представлению массивов Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
6505 Castle Task Feedback Normal Вопросы по MetaInfo Alexander Kamkin Alexander Kamkin Castle - 0.1 Actions
10478 C Instrumentation Framework Bug New High Respect intermixes of declarations and statements Evgeny Novikov Evgeny Novikov Actions
8375 C Instrumentation Framework Bug New High Excessive const qualifier for local array of function pointers Evgeny Novikov Evgeny Novikov Actions
5713 C Instrumentation Framework Bug Open High CIF prints extern for initialized variables Vadim Mutilin Evgeny Novikov Actions
5655 C Instrumentation Framework Bug Open High Redefinition of local variable Vadim Mutilin Evgeny Novikov Actions
5556 C Instrumentation Framework Bug Open High CIF misses static keyword for local declarations Vadim Mutilin Evgeny Novikov Actions
5328 C Instrumentation Framework Bug Open High Missing extern for inline functions Vadim Mutilin Evgeny Novikov Actions
5314 C Instrumentation Framework Bug Open High Invalid type encountered (hidden by variable name) Vadim Mutilin 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
4789 C Instrumentation Framework Bug Open High Missing extern declarations for the arrays Vadim Mutilin Evgeny Novikov Actions
4711 C Instrumentation Framework Bug Open High Aspectator doesn't traverse conditional expressions well Evgeny Novikov Evgeny Novikov Actions
4687 C Instrumentation Framework Bug Open High Inforequests don't work on function declarations with pointers to structures as arguments. Ilya Shchepetkov Evgeny Novikov Actions
4463 C Instrumentation Framework Bug Open High DEG2 inforequests failed after switching to the new CIF and aspectator versions. Ilja Zakharov Evgeny Novikov Actions
(26-50/1542) Per page: 25, 50, 100

Also available in: Atom CSV PDF