Text this: Complexity and information flow analysis for multi-threaded programs.