Необходимо написать на питоне конвертер трасс вместе с логикой полностью из witness формата GraphML, используемого в SV-COMP, в формат трасс SARIF. Нас интересует ивзуализация формата SARIF на Github.
В результирующем формате SARIF должна быть представленна трасса ошибки и исходный ему соответствующий.
Подробности см. для каждого элемента.
Ссылки:
1. Witness формат GraphML https://github.com/sosy-lab/sv-witnesses/blob/main/README-GraphML.md
2. Формат SARIF https://docs.oasis-open.org/sarif/sarif/v2.1.0/sarif-v2.1.0.html
3. Визуализация SARIF на Github https://docs.github.com/en/code-security/code-scanning/integrating-with-code-scanning/sarif-support-for-code-scanning#reportingdescriptor-object
Должен поддерживать все основные типы узлов witness формата:
- Entry - представляет собой начальную вершину, с нее должна начинаться трасса.
- Violation - конечная вершина трассы показывает, где детектирована ошибка.
- Sink - в SARIF может отсутствовать
- Invariant - в SARIF может отсутствовать
Должен поддерживать все основные типы дуг witness формата:
- Function calls - ключи enterFunction, returnFromFunction. В формате SARIF трасса по вызовам функций должна полностью прослеживаться. То есть для каждого вызова в трассе witness формата должен быть вызов в SARIF формате, и должна быть возможность установить порядок вызова. В визуализаторе формата SARIF обязательно должна быть отсылка к исходному коду (определяется ключами startline, endline, startoffset, endoffset).
- Conditions - ключ control - позволяет отследить, какая была выбрана ветвь. Для этого эелемента в формате SARIF должно быть понятно, как он располагается относительно вызова функций. В первом приближении его можно опустить.
- Assumptions - ключ assumption, позволяет отследить, какие были сделаны предположения об переменных состояния. Для этого эелемента в формате SARIF должно быть понятно, как он располагается относительно вызова функций. Обязательно должны поддерживаться выражения типа имя переменной = значение.
- Thread specifics - ключ threadId - предоставляет информацию о том, в каком потоке происходит выполнение. В визуализаторе формата SARIF требуется визуально отличать трассу функций в одном потоке от трассы функций другого потока. Ключ createThread - показывает точку создания потока.
- Loop heads, ключ enterLoopHead - в первом приближении его можно опустить.
Требуется разработать программу на Ассемблере НАСМ для вычисления контрольной суммы CRC данных из указанного файла с дырами. Полное условие задачи и примеры использования будут предоставлены после согласования.
Требуется разработать бота для Twitch, который будет использовать 10 аккаунтов для подключения к любому каналу. Пользователь должен иметь возможность отправлять сообщения в чат от имени любого из аккаунтов. Необходимы навыки системного программирования.
Требуется установка Windows на VPS из образа, возможно использование Windows Server. Сервер изначально предлагает Ubuntu и другие ОС. Ожидается дальнейшее сотрудничество по подобным задачам.
Требуется специалист по Python для сопровождения и настройки программы К3-мебель. Задача включает формирование отчетов на детали по чертежам. Интересуют сроки и стоимость выполнения. Техническое задание прилагается.
Создайте программное обеспечение, которое будет имитировать переходы по заданным ссылкам через прокси-сервер. Необходимо реализовать функционал для ввода ссылки, прокси, а также настройки даты и времени захода. Программа должна запускаться и останавливаться по кнопкам Start и Stop.
Требуется разработать упаковщик EXE для проекта на VB.NET, который соберет exe-файл, иконку и ресурсы в один исполняемый файл. Упаковщик должен позволять выбирать каталог с файлами, иконку, место распаковки и степень сжатия. Операционная система - Windows 7 и выше. Язык программирования выбирает исполнитель.
Необходимо интегрировать платежную систему по API в чат-бот, разработанный с использованием конструктора puzzlebot.top. Ожидается реализация функционала для обработки платежей и взаимодействия с пользователями через Telegram.
Требуется разработать программу на Python, которая будет искать и кликать по похожим изображениям в выбранном окне. Функционал включает кнопку старт-стоп, загрузку изображения для обработки, ползунок чувствительности поиска и выбор территории поиска на рабочем столе Windows или в других открытых окнах.
Требуется разработка софта для сайта знакомств, который будет автоматизировать пролистывание анкет и нажатие на кнопку лайк. Сумма за работу согласуется индивидуально.
Необходимо решить задачу по системному программированию в R-studio. Задача представлена во вложении. Крайний срок выполнения - 17:00 23.05.2024.
