Automatic generation of library bindings using static analysis
Error propagation analysis for file systems