Static Analysis: some UI ideas