Помощь в решении

Здравствуйте. Мне нужна помощь с реализацией задачи по дипломному проекту. Тема "Автоматизация аудита безопасности смарт-контрактов" Мне нужно провести тестирование двух смарт-контрактов с использованием Slither для синтаксического анализа и Mithril для динамического анализа. По завершению я должен буду написать программу что была бы комбинацией Slither и Mithril(в одной программе) и проводила два анализа для моих контрактов что я предоставлю, так же но это не обязательно (добавить выделение переменных и граф наследования переменных в самих контактах по типу как программа Solidity Visual Developer)