Library summaries for FlowDroid