• Functions and methods modeled as flow summaries are no longer shown in the path of path-problem queries. This results in more succinct paths for most security queries.

No user-facing changes.

• Fixed some false positive results from the swift/string-length-conflation query, caused by imprecise sinks.