ScalaClean - Full Program Static Analysis at Scale

Explore full program static analysis at scale with ScalaClean in this 44-minute conference talk from Scala Days Lausanne 2019. Delve into software quality, code cleanliness, and the challenges of maintaining large codebases. Learn about the closed world assumption, information capture techniques, and practical applications such as dead code analysis and privatization. Discover how ScalaClean approaches code improvement as a graph problem and gain insights into its limitations and future developments. Enhance your understanding of static analysis tools and their potential to improve code quality in large-scale Scala projects.

Intro
Confession time
Software Quality
Is writing quality software important?
How do we keep code clean?
Surely there is...
What are they checking Summary
So what is wrong?
It's a graph problem
ScalaClean - the plan
The closed world assumption
Capturing the information
So what can we do?
Dead code analysis
Limitations
Privatisation - 6
Build diamonds
Code improvements
Observations
What next?
Conclusion
Questions?