Check your code with RefactorErl!
summary
RefactorErl parses Erlang and BEAM files to build a rich static model and runs data‑flow and control‑flow analyses to support source transforms, duplicate detection, program slicing and module dependency graphs. A semantic query language finds values that flow between functions; an automated design rule checker (DRC) accepts JSON configs and emits reports; demos run on Amnesia and Erlang Guidelines and show over 100 failures found and a suite of 16 security checkers for injection, unsafe file/OS use, concurrency and distribution issues.
AI-written summary · about
chapters (14)
- 0:0001:40 - Introduction
- 1:4105:21 - Key Benefits
- 5:2206:36 - Main Features
- 6:3708:30 - Static Analysis Framework
- 8:3111:03 - Development Supplier
- 11:0416:10 - Lot's of experiments on
- 16:1122:21 - Short Demo
- 22:2222:36 - Code Checking
- 22:3724:14 - Semantic Query Language
- 24:1526:11 - Advances SQs
- 26:1228:56 - Checks
- 28:5730:57 - Secure Coding
- 30:5835:12 - Short Demo 2
- 35:1339:23 - QnA
related talks
46mWhat we Found in the BEAM Code
38mErlang IDE done right
40mIntelliJ Elixir Works Even if your Code Doesn't
48mAnti-Patterns in the Wild
47mHow things are, and how they could be
22mEasier Lint Authoring with Semantic Search and (...)- 40mIntelliJ Elixir Works Even if your Code Doesn't
23mThanks for all the bugs!