Internet Archive BookReader - Two approaches to interprocedural data flow analysis