Skip to content

fix: add kura to plt_extra_apps for clean dialyzer#3

Merged
Taure merged 1 commit intomainfrom
fix/dialyzer-warnings
Mar 29, 2026
Merged

fix: add kura to plt_extra_apps for clean dialyzer#3
Taure merged 1 commit intomainfrom
fix/dialyzer-warnings

Conversation

@Taure
Copy link
Copy Markdown
Contributor

@Taure Taure commented Mar 29, 2026

Summary

  • Add {plt_extra_apps, [kura]} to dialyzer config
  • kura is in optional_applications but plt_apps: all_deps doesn't auto-include optional apps
  • Resolves all 54 "unknown function/type" dialyzer warnings

Test plan

  • rebar3 dialyzer — 0 warnings (was 54)

kura is in optional_applications but plt_apps: all_deps doesn't
include optional apps automatically. Explicitly adding it removes
all 54 "unknown function/type" warnings.
@github-actions
Copy link
Copy Markdown

🟠 Code Coverage — 68.9%

173 of 251 lines covered.


🛡️ Security Audit

No vulnerabilities found in 12 dependencies.


ℹ️ 11 OTP CVEs auto-ignored (already fixed in running version)

These CVEs are patched in the installed OTP version but NVD data
has not been updated to reflect this. They are excluded from the
scan via an auto-generated .trivyignore.

CVE Details
CVE-2026-23943 Fixed in 28.4.1, running 28.4.1 — Pre-auth SSH DoS via unbounded zlib inflate
CVE-2026-23942 Fixed in 28.4.1, running 28.4.1 — SFTP root escape via component-agnostic prefix check in ssh_sftpd
CVE-2026-23941 Fixed in 28.4.1, running 28.4.1 — Request smuggling via first-wins Content-Length parsing in inets httpd
CVE-2026-21620 Fixed in 28.3.2, running 28.4.1 — TFTP Path Traversal
CVE-2016-1000107 Fixed in 28.0.4, running 28.4.1 — Httpd CGI Scripts Environment Variable Pollution AKA "httpoxy"
CVE-2025-58050 Fixed in 28.0.3, running 28.4.1 — Buffer Read Overflow on Regular Expressions with (*scs:) and (*ACCEPT)
CVE-2025-48038 Fixed in 28.0.3, running 28.4.1 — SSH Unverified File Handles can Cause Excessive Use of System Resources
CVE-2025-48039 Fixed in 28.0.3, running 28.4.1 — SSH Unverified Paths can Cause Excessive Use of System Resources
CVE-2025-48040 Fixed in 28.0.3, running 28.4.1 — SSH Malicious Key Exchange Messages may Lead to Excessive Resource Consumption
CVE-2025-48041 Fixed in 28.0.3, running 28.4.1 — SSH_FXP_OPENDIR may Lead to Exhaustion of File Handles
CVE-2025-4748 Fixed in 28.0.1, running 28.4.1 — Absolute Path in Zip Module

@Taure Taure merged commit fc7f422 into main Mar 29, 2026
16 checks passed
@Taure Taure deleted the fix/dialyzer-warnings branch March 29, 2026 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant