Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
507 BLAST Bug New Low SMT sovler could not parse the request (Error: Undefined name) Vadim Mutilin Actions
485 BLAST Bug Open Low Non-linear SMT solver queries in BLAST Vadim Mutilin Mikhail Mandrykin 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
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
10685 C Instrumentation Framework Feature New Normal Test cross CIF on ARM Evgeny Novikov 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
7627 C Instrumentation Framework Feature New Normal SV-COMP compilation issues for clang compiler Vadim Mutilin Actions
6829 C Instrumentation Framework Feature Open High Make CIF to look like GCC Evgeny Novikov Evgeny Novikov Actions
6827 C Instrumentation Framework Feature New High Merge weaving for different entities Evgeny Novikov Evgeny Novikov Actions
6826 C Instrumentation Framework Feature New High Make refactoring of advice body patterns Evgeny Novikov Evgeny Novikov Actions
6780 C Instrumentation Framework Feature New High Implement CIF in Python (script and module) Evgeny Novikov Ilya Shchepetkov Actions
6645 C Instrumentation Framework Feature New High CIF doesn't require option to keep prepared files Evgeny Novikov Evgeny Novikov Actions
6548 C Instrumentation Framework Feature Open High Determine files with type declarations Ilja Zakharov Evgeny Novikov Actions
6547 C Instrumentation Framework Feature Open Low Source code quering to get information on local variables Ilja Zakharov Evgeny Novikov Actions
6546 C Instrumentation Framework Feature Open High GCC replaces boolean conjuction with bit precise analogue Ilja Zakharov Evgeny Novikov Actions
(26-50/1539) Per page: 25, 50, 100

Also available in: Atom CSV PDF