Text this: Static analysis of shells :