sh-expand A python library for expanding shell ASTs that can be used to construct sound analyses for shell scripts (after having expanded the AST).