Python: expand comment on flow summaries

This commit is contained in:
Rasmus Lerchedahl Petersen
2022-09-19 14:30:53 +02:00
parent da39c14e46
commit f560719a88

View File

@@ -25,6 +25,10 @@
*
* We do not support summaries of special methods via the special methods framework,
* the summary would have to identify the call.
*
* We might, while we still extract the standard libraries, want to support flow summaries of
* extracted callables, so that we can model part of the standard libraries with flow summaries.
* For this to work, we have be careful with the enclosiong callable predicate.
*/
private import python