Expose the risk hiding in your Erlang & Elixir code.

SAFE reads your source without running it — tracing every potentially vulnerable function, until it is sure only trusted input can reach it — then hands you a ranked vulnerability report.

Free for open source Backed by academia research Built by BEAM experts
bifrost — zsh
bifrost git:(main) {{ termCmd }}
{{ ln.icon }} {{ ln.text }}

Follow the data, find the risk

SAFE never runs your code. It starts at a function that is potentially vulnerable, traces back the origin of the parameter, and if it's taintedTainted data comes from an untrusted source — user input, a network request, a file — and hasn't been validated or sanitized before reaching a sensitive function. — it's a finding.

{{ codeFile }} {{ codeLang }}
{{ ln.n }} {{ p.t }}{{ p.t }}
{{ stepNum }} STEP {{ stepNum }} / {{ stepTotal }}

{{ stepTitle }}

{{ dp.t }}{{ dp.t }}

{{ reportHeader }} {{ reportBadgeText }}
{{ reportTitle }}
{{ reportMeta }}

{{ dp.t }}{{ dp.t }}

CAPABILITIES

One analyzer, wired into everywhere you ship

{{ f.glyph }}

{{ f.title }}

{{ f.body }}

{{ f.tag }}
PRICING

Plans that scale with your codebase

MOST POPULAR
{{ p.name }}
{{ p.price }} {{ p.priceSuffix }}
{{ p.eloc }}
Billed annually
{{ p.extra }}
{{ p.support }}
{{ p.cta }}

Billed annually — pay for 11 months, the 12th is on us. Billed monthly. Prices are subject to VAT.

WHY SAFE

Academia-backed analysis, from the people who know the BEAM best

SAFE is built by Erlang Solutions — the world-leading Erlang & Elixir consultancy — together with ELTE-Soft and researchers at Eötvös Loránd University. Real static-analysis theory under the hood, not pattern-matching heuristics.

Findings come ranked by severity — low, moderate, high — each with a description, the exact file and line, and the code in question.

{{ s.big }}
{{ s.label }}

Built in the European Union

SAFE is designed and developed entirely within the EU. You are fully in control of your data, making it is ready for teams that need data sovereignty.

F A Q

Validate your code.
Protect your business.

Run SAFE against your codebase and turn unknown risk into a ranked, fixable list. Talk to our team to get started.

Tell us about your project

We'll get back to you with the details.

{{ nameError }}
{{ emailError }}
{{ repoUrlError }}
{{ consentError }}
{{ formErrorMsg }}
Thanks — we'll be in touch shortly.