Understanding Configuration Issues in Storage Systems (Work-in-Progress Report)
summary
Finds that many storage bugs require satisfying multi-level configuration dependencies across components and backs that claim with 70 bug patches collected from file system projects. Builds an LLVM-based static analyzer that generates taint chain traces to extract self, cross-parameter, and cross-program dependencies and a prototype that already identifies several such dependencies. Implements two checkers: a config-handle checker that intentionally violates dependencies to test robustness and a configuration-bug checker that follows dependencies to expose real faults; prototype works but is unfinished.
AI-written summary · about
chapters (12)
- 0:00Introduction
- 0:20Storage Stack
- 0:35Configuration Parameters
- 0:49Configuration Issues
- 1:21Test Suites
- 1:47Overview
- 2:07Multilevel configuration dependencies
- 2:40Cross parameter dependencies
- 3:24Framework
- 3:52Static Analyzer
- 4:17Configuration checkers
- 5:05Conclusion
related talks
32mConfiguration Is (riskier than?) Code
01h 01m10 Problems Large Companies Have Managing C++ Dependencies and How to Solve Them
27mCatch Me If You Can: Hunting Misconfigurations Before They...
30mConfiguration Management Patterns
32mBalancing Developer Fre...
23mSecure Code, Safe Future: Mastering Security in Critical Software Development
05mLightning Talk: Reading Configuration Values When You Should Not Fail
29mDependency Management: Where the Fork are We?