SAFE for Elixir: Phoenix LiveView

SAFE for Elixir: Phoenix LiveView

Erlang Solutions launched SAFE, a Security Audit for Erlang in the fall of 2023. We extended the analysis for Elixir in the spring of 2024 and now, SAFE officially supports Phoenix Liveview, which means a SAFE scan is now looking for vulnerabilities common in Phoenix web applications.

What is SAFE?

SAFE is a security scanning tool for Erlang, Elixir and Phoenix (LiveView) codebases. It works by loading and analysing your code, without running it. SAFE conducts an in-depth analysis of codebases, which can help you and your company to elevate your cybersecurity.

Supporting Phoenix LiveView

Now, as of the 1.3.0 release of SAFE, we support Phoenix LiveView, which means we can check for the following vulnerabilities:

  • Cross Site Scripting (XSS)
  • Cross Site Request Forgery (CSRF)
  • Cross-Site WebSocket Hijacking (CSWSH)
  • SQL Injection (with Ecto support)
  • Denial of Services (DoS)
  • Session leakage (unprotected session information)
  • Session fixation (session ID renewal issues)
  • Session hijacking
  • Content Security Policy (CSP)

On-Prem report visualisation

With the release of the new SAFE version, a new SAFE product flavour was also launched, called SAFE OnPrem. This solution allows companies to host a centralised security report viewer that engineers and security specialists can access via the web interface.

Overview page of an example report:

SAFE for Elixir Phoenix LiveView
overview report

User management:

SAFE for Elixir Phoenix LiveView user management

Running SAFE

If you are interested in running SAFE on your code base, please check out our Quick Start Guide and contact the SAFE team. You can also drop us a message if you maintain an open source project, as you may be eligible for a free SAFE license. 

More information about Open Source licensing can be found in our announcement blog post.

Keep reading

SAFE: Bringing Real Static Analysis to the BEAM
SAFE Bringing Real Static Analysis to the BEAM

SAFE: Bringing Real Static Analysis to the BEAM

Dali Khechine, from the SAFE team looks at how SAFE uses data-flow analysis to surface real security risks in BEAM applications without the noise.

What Breaks First in Real-Time Messaging?
What Breaks First in Real-Time Messaging?

What Breaks First in Real-Time Messaging?

Real-time messaging doesn’t fail, it drifts. Under load, small delays reveal if your system can truly scale.

Avoiding Platform Lock-In in Regulated Environments
Avoiding platform lock-in in regulated environments

Avoiding Platform Lock-In in Regulated Environments

Platform lock-in risks in regulated systems and how to avoid vendor dependency with scalable architecture.