Text this: Platform for interprocedural static analysis of binary code