issues
search
LuNA-Static-Analysis
/
LuNA-Static-Analysis-Repository
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Посмотреть классификацию ошибок Михаила, сделать предложения/замечания
#153
MaximKurbatov20212
opened
2 months ago
0
[Model Checking] Интеграция в ADAPT
#152
VaccinoPower
opened
2 months ago
0
Дегса: наметить векторы развития
#151
VTsarevNSU
opened
2 months ago
2
Архитектура отладчика
#150
MaximKurbatov20212
opened
2 months ago
0
Введение в предметную область
#149
MaximKurbatov20212
opened
2 months ago
0
Дегса: рефактор процесса запуска Дегсы
#148
VTsarevNSU
opened
2 months ago
2
[Model Checking] Верификация циклов
#147
VaccinoPower
opened
2 months ago
0
[Model Checking] Рекурсия в структурированных ФК
#146
VaccinoPower
opened
2 months ago
0
Адапт: html-отчёт вместо текстового
#145
VTsarevNSU
opened
2 months ago
0
Дегса: оптимизировать структуру графа -- создавать один IndexedDFName где возможно
#144
VTsarevNSU
closed
1 month ago
2
[Model checking] Обработка некорректных входных данных (AST)
#143
VaccinoPower
opened
6 months ago
0
[Model checking] Написание README
#142
VaccinoPower
opened
6 months ago
0
[Model checking] Поддержка строковых литералов в условиях if и while
#141
VaccinoPower
opened
6 months ago
0
[Model checking] Оптимизация поиска циклических зависимостей по данным.
#140
VaccinoPower
opened
6 months ago
0
[Model checking] Верификация структурированных ФК
#139
VaccinoPower
opened
6 months ago
0
[Model checking] Обработка вложенных индексированных ФД
#138
VaccinoPower
opened
6 months ago
0
Дегса: заменить SubArgName и MainArgName на инициализируемые и неинициализируемые аргументы ФК
#137
VTsarevNSU
opened
6 months ago
1
Запустить Адапт на чистой машине и обновить редми
#136
VTsarevNSU
closed
6 months ago
0
Fix for while ast nodes
#135
MaximKurbatov20212
closed
7 months ago
0
Дегса: добавить имена всем вершинам
#134
VTsarevNSU
closed
6 months ago
0
Обновить README для Адапта
#133
VTsarevNSU
closed
6 months ago
0
Сделать зеркалирование репозиториев
#132
VTsarevNSU
closed
6 months ago
0
Дегса: завершить систему коллстеков и организовать их вывод в JSON
#131
VTsarevNSU
closed
6 months ago
0
Output generator extra errors
#130
m-michurov
closed
7 months ago
0
DeGSA to master
#129
VTsarevNSU
closed
7 months ago
0
master to DeGSA
#128
VTsarevNSU
closed
7 months ago
0
Fix error msg
#127
MaximKurbatov20212
closed
7 months ago
0
DeGSA to master
#126
VTsarevNSU
closed
7 months ago
0
Добавил README
#125
MaximKurbatov20212
closed
7 months ago
0
добавил описание с ast_analyzer
#124
MaximKurbatov20212
closed
7 months ago
0
master to DegSA pull
#123
VTsarevNSU
closed
7 months ago
0
Error message to json
#122
MaximKurbatov20212
closed
7 months ago
0
final reporter additions
#121
VTsarevNSU
closed
7 months ago
0
Пофиксить run.sh с именем входного файла
#120
VTsarevNSU
closed
7 months ago
0
Формат джейсона упростить (сделать просто список ошибок без лишнего поля)
#119
VTsarevNSU
closed
7 months ago
0
Закинуть ADA на Гитлаб и сделать общий запуск с Прологом
#118
VTsarevNSU
closed
7 months ago
0
Доклад на МНСК
#117
VTsarevNSU
closed
6 months ago
0
Допилить форматы ошибок, которые мы можем искать
#116
VTsarevNSU
closed
7 months ago
0
Сделать в скрипте запуска ADAPT опцию, при которой не происходит зачистка артефактов
#115
VTsarevNSU
closed
7 months ago
0
prolog-analyzer: Добавить в adapt_output_generator.py вывод index_range, рефакторинг
#114
m-michurov
closed
6 months ago
0
prolog-analyzer: Добавить опциональное удаление сгенерированных файлов
#113
m-michurov
closed
6 months ago
0
Partial dummy JSON reporter
#112
VTsarevNSU
closed
7 months ago
0
pulled json object creation automation made by Maxim from master
#111
VTsarevNSU
closed
8 months ago
0
Error message to json
#110
MaximKurbatov20212
closed
8 months ago
0
DeGSA to master
#109
VTsarevNSU
closed
8 months ago
0
cherry-picked: "ast + degsa are friend"
#108
VTsarevNSU
closed
8 months ago
0
Дегса: поддержка value
#107
VTsarevNSU
opened
8 months ago
1
Дегса: фикс выводимых в репортах линий через использование стектрейса (он есть в структуре вершин)
#106
VTsarevNSU
opened
8 months ago
0
Актуализировать базу (поправить ошибки с индексацией и инициализацией неподходящего) и таблицу (в плане Дегсы)
#105
VTsarevNSU
closed
7 months ago
0
Написать на питоне скрипт, который выводит красиво информацию джейсона в текстовый файл
#104
VTsarevNSU
closed
7 months ago
0
Previous
Next