Публічний реєстрВідмінний
Звіт про здоров'я програмного забезпеченнясхема 0.34.0 · метрики 2.10.0 · 2026-10-19 07:53 UTC
LearnLib / automatalib
A free, open-source Java library for automata, graphs, and transition systems
LearnLib/automatalib має індекс здоров’я 83 зі 100, що відповідає смузі «Відмінний». Найвищий показник — Vitality (71/100), найнижчий — AI Readiness (56/100). Останнє оновлення було 24 дні тому. Більшість нещодавньої роботи виконує один учасник.
83
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).
83
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Зважений загальний бал 70 калібровано до 83 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).
Власність
LearnLibОрганізація · підтверджений домен
11 підписників21 публічний репозиторійз трав. 2013 р.
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
Пакетні екосистеми
| Реєстр | Пакет | Версія | Завантажень / міс | Версії | Остання публікація |
|---|---|---|---|---|---|
| Maven | net.automatalib:automata-api | 13.0.0 | - | 18 | 67 днів тому |
| Maven | net.automatalib:automata-core | 13.0.0 | - | 18 | 67 днів тому |
| Maven | net.automatalib:automata-util | 13.0.0 | - | 18 | 67 днів тому |
| Maven | net.automatalib.archetypes:complete | 13.0.0 | - | 18 | 67 днів тому |
| Maven | net.automatalib:automata-incremental | 13.0.0 | - | 18 | 67 днів тому |
| Maven | net.automatalib:automata-build-config | 13.0.0 | - | 3 | 67 днів тому |
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
71
Активність розробки
68Добрий
Як обчислюється оцінка
| 28.8/36 | Свіжість push — останній push 24 дн. тому |
| 13.2/36 | Ритм комітів — 19/52 тижнів із комітами |
| 15.6/18 | Обсяг комітів — 54 комітів за останній рік |
| 10/10 | OpenSSF Scorecard: Maintained — 22 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
Використані вхідні дані
| commits_last_year | 54 |
| human_commit_share | 1 |
| days_since_last_push | 24 |
| active_weeks_last_year | 19 |
Дисципліна релізів
76Добрий
Як обчислюється оцінка
| 27/27 | Випускає релізи — опубліковано 9 релізів |
| 36/36 | Свіжість релізів — останній реліз 67 дн. тому |
| 5.4/27 | Ритм релізів — реліз кожні ~386 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
Використані вхідні дані
| releases_count | 9 |
| latest_release_tag | automatalib-13.0.0 |
| releases_from_tags | ні |
| days_since_latest_release | 67 |
| mean_days_between_releases | 386 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
71
Популярність і впровадження
51Помірний
Як обчислюється оцінка
| 32.7/60 | Зірки — 104 зірок |
| 12.9/25 | Форки — 36 форків |
| 5.3/15 | Спостерігачі — 10 спостерігачів |
Використані вхідні дані
| forks | 36 |
| stars | 104 |
| watchers | 10 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
93Винятковий
Як обчислюється оцінка
| 22.5/22.5 | README |
| 22.5/22.5 | Ліцензія — визнана ліцензія (Apache-2.0) |
| 18/18 | Настанови CONTRIBUTING |
| 13.5/13.5 | Кодекс поведінки |
| 7.2/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | так |
| readme_badges | 2 |
| has_contributing | так |
| has_issue_template | так |
| has_code_of_conduct | так |
| readme_badge_services | coveralls.io, github.com |
| has_pull_request_template | ні |
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
71
Стійкість мейнтейнерів (бас-фактор)
37Слабкий
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 4.6/22.5 | Розподіл комітів — головний контриб’ютор — автор 80% комітів |
| 13.5/13.5 | Широта контриб’юторів — 18 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 4 contributing companies or organizations |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 18 |
| top_contributor_share | 0,796 |
Реактивність на issue та PR
80Відмінний
Як обчислюється оцінка
| 40/42 | Вирішення issue — закрито 95% issue |
| 29.5/30 | Прийняття PR — злито 54/55 вирішених PR |
| 0/13 | Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
Використані вхідні дані
| merged_prs | 54 |
| open_issues | 2 |
| closed_issues | 40 |
| prs_merged_7d | 0 |
| prs_decided_7d | 0 |
| prs_merged_30d | 0 |
| prs_decided_30d | 0 |
| issue_closed_ratio | 0,952 |
| closed_unmerged_prs | 1 |
| first_time_authors_30d | 0 |
| first_time_prs_merged_30d | 0 |
| first_time_prs_decided_30d | 0 |
Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.
Власність та опіка
80Відмінний
Як обчислюється оцінка
| 30/30 | Підтримка власника — у власності організації |
| 20/20 | Верифікований домен |
| 7.8/25 | Охоплення власника — 11 підписників у LearnLib |
| 21.8/25 | Послужний список — 21 публічних репозиторіїв, вік облікового запису ~13 р. |
Використані вхідні дані
| followers | 11 |
| owner_type | Organization |
| is_verified | так |
| owner_login | LearnLib |
| public_repos | 21 |
| account_age_days | 4 912 |
Супровід пакетів
100Винятковий
Як обчислюється оцінка
| 25/25 | Опубліковано й доступно — 6 пакет(ів) у maven |
| 35/35 | Свіжість публікацій — остання публікація 67 дн. тому |
| 20/20 | Історія версій — 18 опублікованих версій |
| 20/20 | Не застарілий — активний, не deprecated і не yanked |
Використані вхідні дані
| packages | net.automatalib:automata-api, net.automatalib:automata-core, net.automatalib:automata-util, net.automatalib.archetypes:complete, net.automatalib:automata-incremental, net.automatalib:automata-build-config |
| ecosystems | maven |
| any_deprecated | ні |
| min_days_since_publish | 67 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
71
Інженерні практики
68Добрий
Як обчислюється оцінка
| 24/24 | Процеси CI — 1 процес(ів) CI |
| 24/24 | Наявні тести |
| 0/16 | Конфігурація лінтера |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
Використані вхідні дані
| has_ci | так |
| has_tests | так |
| has_editorconfig | ні |
| has_linter_config | ні |
| has_precommit_config | ні |
Документація
75Добрий
Як обчислюється оцінка
| 30/30 | README |
| 0/25 | Каталог документації |
| 15/15 | Сайт документації / домашня сторінка — https://learnlib.de/pages/automatalib |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 14 тем |
| 10/10 | Wiki |
Використані вхідні дані
| topics | automata, conformance-testing, dfa, m3c, mealy-machine, minimization, model-checking, test-case-generation, timed-automata, transition-system, vpa, procedural-systems, graph, automata-visualization |
| has_wiki | так |
| homepage | https://learnlib.de/pages/automatalib |
| docs_site | https://learnlib.de/pages/automatalib |
| has_readme | так |
| has_docs_dir | ні |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
70
Стан безпеки
63Помірний
Як обчислюється оцінка
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — немає даних |
| 2.5/2.5 | CI-Tests — 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
| 2.5/2.5 | Contributors — project has 4 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Ліцензія — license file detected |
| 7.5/7.5 | Maintained — 22 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 4.5/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — немає даних |
| 7.5/7.5 | Token-Permissions — GitHub workflow tokens follow principle of least privilege |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 6,3 |
Виключено з оцінювання (немає даних або не застосовно): Branch-Protection, Signed-Releases. Залишкові ваги перенормовано.
Сповіщення про залежності
100Винятковий
Як обчислюється оцінка
| 35/35 | Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень |
| 25/25 | Непрямі залежності без відомих сповіщень — жодна непряма залежність не має відомих сповіщень |
| 0/40 | Немає задавнених сповіщень — жодне сповіщення не має дати публікації |
Використані вхідні дані
| source | osv |
| advisories | 0 |
| affected_packages | 0 |
| assessed_packages | 5 |
| unassessed_packages | 0 |
| affected_by_severity | none |
| direct_affected_packages | 0 |
Виключено з оцінювання (немає даних або не застосовно): Немає задавнених сповіщень. Залишкові ваги перенормовано. Звірено з runtime-замиканням залежностей maven:net.automatalib:automata-api@13.0.0 — тим, що тягне за собою встановлення опублікованого пакета, — 5 пакетів. Досяжність не аналізується.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.
56
Контекст і настанови для агентів
19Критичний
Як обчислюється оцінка
| 0/45 | Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора |
| 0/15 | Машиночитана документація (llms.txt) |
| 19.2/40 | Читабельна історія комітів — намір зазначено у 36 з 100 людських комітів (структурований заголовок або пояснювальний текст) |
Використані вхідні дані
| has_llms_txt | ні |
| llms_txt_url | — |
| legible_history_share | 0,36 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Як обчислюється оцінка
| 18/18 | Розгортання однією командою — commons/util/src/test/resources/net/automatalib/common/util/lib/linux/x86_64/Makefile |
| 22/22 | Автоматизовані тести |
| 0/11 | Конфігурація лінтера / форматера |
| 11/11 | Статична перевірка типів — Java (статично типізована) |
| 0/10 | Відтворюване середовище |
| 0/10 | Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом |
| 0/8 | Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Використані вхідні дані
| has_nix | ні |
| has_tests | так |
| lockfiles | — |
| has_dockerfile | ні |
| typed_language | так |
| bootstrap_files | commons/util/src/test/resources/net/automatalib/common/util/lib/linux/x86_64/Makefile |
| has_devcontainer | ні |
| has_linter_config | ні |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | adapters/brics/pom.xml, adapters/pom.xml, api/pom.xml, archetype/pom.xml, archetype/src/main/resources/archetype-resources/pom.xml, build-config/pom.xml, build-parent/pom.xml, commons/pom.xml, commons/settings/pom.xml, commons/smartcollections/pom.xml, commons/util/pom.xml, core/pom.xml, distribution/pom.xml, distribution/src/it/jlink/pom.xml, examples/pom.xml, incremental/pom.xml, modelchecking/ltsmin/pom.xml, modelchecking/m3c/pom.xml, modelchecking/pom.xml, pom.xml, serialization/aut/pom.xml, serialization/ba/pom.xml, serialization/dot/pom.xml, serialization/etf/pom.xml, serialization/fsm/pom.xml, serialization/learnlibv2/pom.xml, serialization/mata/pom.xml, serialization/pom.xml, serialization/saf/pom.xml, serialization/taf/pom.xml, util/pom.xml, visualization/dot-visualizer/pom.xml, visualization/jung-visualizer/pom.xml, visualization/pom.xml |
| dependency_bot_commit_share | 0 |
Читабельність коду для моделей
100Винятковий
Як обчислюється оцінка
| 45/45 | Типізований код — Java (статично типізована) |
| 55/55 | Керовані розміри файлів — 0/1 073 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | Java |
| largest_source_bytes | 56 052 |
| source_files_sampled | 1 073 |
| oversized_source_files | 0 |
Машиночитні інтерфейси
100Винятковий
Як обчислюється оцінка
| 0/40 | Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення |
| 0/20 | Сервер MCP — не застосовно до цього типу програмного забезпечення |
| 40/40 | Придатні до запуску приклади — example, examples |
Використані вхідні дані
| example_dirs | example, examples |
| has_mcp_signal | ні |
| api_schema_files | — |
| interfaces_expected_of | — |
Виключено з оцінювання (немає даних або не застосовно): Схема API (OpenAPI/GraphQL/proto), Сервер MCP. Залишкові ваги перенормовано.
Ключові факти
104зірок GitHub
18контриб'юторів
54комітів за останні 12 місяців
24днів від останнього пушу
9релізів
1бас-фактор
2відкритих issue
Mavenпакетних екосистем
Попередження щодо збору даних
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Докладніше
Історія зірок і форків 0 ★ / 36 ⇿
0Зірки
36Форки
8Релізи
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Мажорні 0Мінорні 0Патчі 0
Кожна точка охоплює 12 днів.
OpenSSF Scorecard 6.3 / 10
6.3сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 10 | Binary-Artifacts | no binaries found in the repo |
| н/д | Branch-Protection | internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md |
| 10 | CI-Tests | 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/30 approved changesets -- score normalized to 0 |
| 10 | Contributors | project has 4 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 22 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 9 | Security-Policy | security policy file detected |
| н/д | Signed-Releases | no releases found |
| 10 | Token-Permissions | GitHub workflow tokens follow principle of least privilege |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Прямі залежності 119
| Реєстр | Пакет | Обмеження версії | Маніфест |
|---|---|---|---|
| Maven | net.automatalib:automata-commons-settings | — | api/pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | — | api/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | api/pom.xml |
| Maven | org.slf4j:slf4j-api | — | api/pom.xml |
| Maven | org.checkerframework:checker-qual | — | api/pom.xml |
| Maven | org.mockito:mockito-core | — | api/pom.xml |
| Maven | org.testng:testng | — | api/pom.xml |
| Maven | net.automatalib:automata-build-config | ${project.version} | build-parent/pom.xml |
| Maven | net.automatalib:automata-build-config | ${project.version} | build-parent/pom.xml |
| Maven | com.puppycrawl.tools:checkstyle | ${checkstyle.version} | build-parent/pom.xml |
| Maven | net.automatalib:automata-build-config | ${project.version} | build-parent/pom.xml |
| Maven | net.automatalib:automata-api | — | core/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | core/pom.xml |
| Maven | org.slf4j:slf4j-api | — | core/pom.xml |
| Maven | org.checkerframework:checker-qual | — | core/pom.xml |
| Maven | org.mockito:mockito-core | — | core/pom.xml |
| Maven | org.testng:testng | — | core/pom.xml |
| Maven | net.automatalib:automata-brics | — | distribution/pom.xml |
| Maven | net.automatalib:automata-api | — | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-settings | — | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | — | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | distribution/pom.xml |
| Maven | net.automatalib:automata-core | — | distribution/pom.xml |
| Maven | net.automatalib:automata-incremental | — | distribution/pom.xml |
| Maven | net.automatalib:automata-modelchecking-ltsmin | — | distribution/pom.xml |
| Maven | net.automatalib:automata-modelchecking-m3c | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-aut | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-ba | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-dot | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-etf | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-fsm | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-learnlibv2 | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-mata | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-saf | — | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-taf | — | distribution/pom.xml |
| Maven | net.automatalib:automata-util | — | distribution/pom.xml |
| Maven | net.automatalib:automata-dot-visualizer | — | distribution/pom.xml |
| Maven | net.automatalib:automata-jung-visualizer | — | distribution/pom.xml |
| Maven | net.automatalib:automata-brics | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-api | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-settings | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-commons-util | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-core | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-incremental | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-modelchecking-ltsmin | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-modelchecking-m3c | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-aut | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-ba | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-dot | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-etf | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-fsm | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-learnlibv2 | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-mata | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-saf | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-serialization-taf | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-util | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-dot-visualizer | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-jung-visualizer | ${project.version} | distribution/pom.xml |
| Maven | net.automatalib:automata-api | — | incremental/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | incremental/pom.xml |
| Maven | net.automatalib:automata-util | — | incremental/pom.xml |
| Maven | org.checkerframework:checker-qual | — | incremental/pom.xml |
| Maven | org.testng:testng | — | incremental/pom.xml |
| Maven | net.automatalib:automata-adapters-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-brics | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-api | ${project.version} | pom.xml |
| Maven | net.automatalib.archetypes:automata-archetypes-parent | ${project.version} | pom.xml |
| Maven | net.automatalib.archetypes:basic | ${project.version} | pom.xml |
| Maven | net.automatalib.archetypes:complete | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-build-config | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-build-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-commons-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-commons-settings | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-commons-util | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-core | ${project.version} | pom.xml |
| Maven | net.automatalib.distribution:automata-distribution | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-incremental | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-modelchecking-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-modelchecking-ltsmin | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-modelchecking-m3c | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-aut | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-ba | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-dot | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-etf | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-fsm | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-learnlibv2 | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-mata | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-saf | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-serialization-taf | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-util | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-visualization-parent | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-dot-visualizer | ${project.version} | pom.xml |
| Maven | net.automatalib:automata-jung-visualizer | ${project.version} | pom.xml |
| Maven | dk.brics:automaton | ${brics-automaton.version} | pom.xml |
| Maven | com.google.guava:guava | ${guava.version} | pom.xml |
| Maven | net.sf.jung:jung-api | ${jung.version} | pom.xml |
| Maven | net.sf.jung:jung-algorithms | ${jung.version} | pom.xml |
| Maven | net.sf.jung:jung-graph-impl | ${jung.version} | pom.xml |
| Maven | net.sf.jung:jung-visualization | ${jung.version} | pom.xml |
| Maven | com.github.misberner.graphviz-awt-shapes:graphviz-awt-shapes | ${graphviz-awt-shapes.version} | pom.xml |
| Maven | org.slf4j:slf4j-api | ${slf4j.version} | pom.xml |
| Maven | ch.qos.logback:logback-classic | ${logback.version} | pom.xml |
| Maven | info.scce:addlib-core | ${addlib.version} | pom.xml |
| Maven | info.scce:addlib-cudd | ${addlib.version} | pom.xml |
| Maven | net.sourceforge.pmd:pmd-core | ${pmd.version} | pom.xml |
| Maven | net.sourceforge.pmd:pmd-java | ${pmd.version} | pom.xml |
| Maven | javax.xml.bind:jaxb-api | ${jaxb-api.version} | pom.xml |
| Maven | org.codehaus.mojo:extra-enforcer-rules | ${extra-enforcer-rules.version} | pom.xml |
| Maven | net.automatalib:automata-api | — | util/pom.xml |
| Maven | net.automatalib:automata-commons-smartcollections | — | util/pom.xml |
| Maven | net.automatalib:automata-commons-util | — | util/pom.xml |
| Maven | net.automatalib:automata-core | — | util/pom.xml |
| Maven | de.learnlib.tooling:annotations | — | util/pom.xml |
| Maven | org.checkerframework:checker-qual | — | util/pom.xml |
| Maven | org.testng:testng | — | util/pom.xml |
| Maven | org.apache.maven.surefire:surefire-testng | ${surefire-plugin.version} | visualization/pom.xml |
Усі залежності 112
Повний розв'язаний набір залежностей із графа залежностей GitHub: 75 прямих і 37 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.
| Реєстр | Пакет | Версія | Зв'язок |
|---|---|---|---|
| Maven | ch.qos.logback:logback-classic | — | пряма |
| Maven | com.github.misberner.graphviz-awt-shapes:graphviz-awt-shapes | — | пряма |
| Maven | com.google.guava:guava | — | пряма |
| Maven | com.puppycrawl.tools:checkstyle | — | пряма |
| Maven | de.learnlib.tooling:annotations | — | пряма |
| Maven | dk.brics:automaton | — | пряма |
| Maven | info.scce:addlib-core | — | пряма |
| Maven | info.scce:addlib-cudd | — | пряма |
| Maven | javax.xml.bind:jaxb-api | — | пряма |
| Maven | net.automatalib.archetypes:automata-archetypes-parent | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib.archetypes:basic | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib.archetypes:complete | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib.distribution:automata-distribution | — | пряма |
| Maven | net.automatalib.distribution:automata-distribution | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-adapters-parent | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-api | — | пряма |
| Maven | net.automatalib:automata-api | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-brics | — | пряма |
| Maven | net.automatalib:automata-brics | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-build-config | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-build-parent | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-commons-parent | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-commons-settings | — | пряма |
| Maven | net.automatalib:automata-commons-settings | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-commons-smartcollections | — | пряма |
| Maven | net.automatalib:automata-commons-smartcollections | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-commons-util | — | пряма |
| Maven | net.automatalib:automata-commons-util | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-core | — | пряма |
| Maven | net.automatalib:automata-core | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-dot-visualizer | — | пряма |
| Maven | net.automatalib:automata-dot-visualizer | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-incremental | — | пряма |
| Maven | net.automatalib:automata-incremental | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-jung-visualizer | — | пряма |
| Maven | net.automatalib:automata-jung-visualizer | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-modelchecking-ltsmin | — | пряма |
| Maven | net.automatalib:automata-modelchecking-ltsmin | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-modelchecking-m3c | — | пряма |
| Maven | net.automatalib:automata-modelchecking-m3c | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-modelchecking-parent | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-aut | — | пряма |
| Maven | net.automatalib:automata-serialization-aut | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-ba | — | пряма |
| Maven | net.automatalib:automata-serialization-ba | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-dot | — | пряма |
| Maven | net.automatalib:automata-serialization-dot | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-etf | — | пряма |
| Maven | net.automatalib:automata-serialization-etf | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-fsm | — | пряма |
| Maven | net.automatalib:automata-serialization-fsm | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-learnlibv2 | — | пряма |
| Maven | net.automatalib:automata-serialization-learnlibv2 | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-mata | — | пряма |
| Maven | net.automatalib:automata-serialization-mata | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-parent | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-saf | — | пряма |
| Maven | net.automatalib:automata-serialization-saf | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-serialization-taf | — | пряма |
| Maven | net.automatalib:automata-serialization-taf | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-util | — | пряма |
| Maven | net.automatalib:automata-util | 14.0.0-SNAPSHOT | пряма |
| Maven | net.automatalib:automata-visualization-parent | 14.0.0-SNAPSHOT | пряма |
| Maven | net.sf.jung:jung-algorithms | — | пряма |
| Maven | net.sf.jung:jung-api | — | пряма |
| Maven | net.sf.jung:jung-graph-impl | — | пряма |
| Maven | net.sf.jung:jung-visualization | — | пряма |
| Maven | net.sourceforge.pmd:pmd-core | — | пряма |
| Maven | net.sourceforge.pmd:pmd-java | — | пряма |
| Maven | org.apache.maven.surefire:surefire-testng | — | пряма |
| Maven | org.checkerframework:checker-qual | — | пряма |
| Maven | org.codehaus.mojo:extra-enforcer-rules | — | пряма |
| Maven | org.mockito:mockito-core | — | пряма |
| Maven | org.slf4j:slf4j-api | — | пряма |
| Maven | org.testng:testng | — | пряма |
| Maven | com.github.caciocavallosilano:cacio-tta | — | непряма |
| Maven | com.github.spotbugs:spotbugs-maven-plugin | — | непряма |
| Maven | com.github.spotbugs:spotbugs-maven-plugin | 14.0.0-SNAPSHOT | непряма |
| Maven | net.automatalib:automata-examples | 14.0.0-SNAPSHOT | непряма |
| Maven | org.apache.maven.plugins:maven-antrun-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-assembly-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-checkstyle-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-clean-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-compiler-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-dependency-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-deploy-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-enforcer-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-gpg-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-install-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-invoker-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-jar-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-javadoc-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-jlink-plugin | 3.1.0 | непряма |
| Maven | org.apache.maven.plugins:maven-pmd-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-pmd-plugin | 14.0.0-SNAPSHOT | непряма |
| Maven | org.apache.maven.plugins:maven-project-info-reports-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-release-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-resources-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-scm-publish-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-site-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-source-plugin | — | непряма |
| Maven | org.apache.maven.plugins:maven-surefire-plugin | — | непряма |
| Maven | org.assertj:assertj-swing | — | непряма |
| Maven | org.assertj:assertj-swing-testng | — | непряма |
| Maven | org.checkerframework:maven-compiler-plugin | — | непряма |
| Maven | org.codehaus.mojo:javacc-maven-plugin | — | непряма |
| Maven | org.codehaus.mojo:tidy-maven-plugin | — | непряма |
| Maven | org.eclipse.m2e:lifecycle-mapping | — | непряма |
| Maven | org.eluder.coveralls:coveralls-maven-plugin | — | непряма |
| Maven | org.jacoco:jacoco-maven-plugin | — | непряма |
| Maven | org.kohsuke.metainf-services:metainf-services | — | непряма |
| Maven | org.sonatype.central:central-publishing-maven-plugin | — | непряма |
Сповіщення про залежності 0
Встановлення maven:net.automatalib:automata-api@13.0.0 тягне 5 пакетів, прямих і транзитивних: 0 мають відомі сповіщення, з них 0 — прямі залежності.
Жодне відоме сповіщення не стосується оцінених залежностей.
Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.
Звіт у форматі JSON машиночитний
Зворотний зв’язок
Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.34.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — Maven.