AI Engineer - Learn how to integrate AI into software applications
All Coursera Certificates 40% Off
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Learn about static source code analysis methods for detecting security vulnerabilities in Erlang and Elixir applications in this 18-minute conference presentation from the Erlang 2025 workshop. Discover how security has become increasingly important in the BEAM community and explore the various initiatives supporting secure software development, including widely accepted guidelines and recommendations created by the Erlang Ecosystem Foundation (EEF). Understand how these security standards demonstrate secure coding principles for developers and examine tools designed to help programmers verify whether their software meets established security requirements. Explore the static analysis methods built on top of the RefactorErl framework that can detect vulnerabilities in both Erlang and Elixir codebases, and learn how these analyses are made accessible through the SAFE toolchain to support developers in creating more secure applications.
Syllabus
[Erlang'25] Securing Erlang and Elixir applications
Taught by
ACM SIGPLAN