The top documents tagged [flow sensitive analyses]