Archived tweet #3895 from the @leastfixedpoint Twitter Archive

@zooko Heh :-) It's a static analysis, very generally. Can be applied to many static analysis tasks. e.g. security information flow etc.