2 ms·

I think there's some great feedback here, for anyone at Semmle thinking about how to develop the tool further.

• jlokier 7y ago
  Annoyingly, now the GP post is now deleted, the context to my comment looks different, and I can't delete my comment. Since the GP has been deleted I'll respect that and not reference specifics, but I want to clarify for any passers by, much of the GP comment I replied to was of a detailed and technical nature, about things like performance enhancements, features and semantic analysis approaches that could make the tools useful in more use-cases - very different from the rather general and personal criticisms I see elsewhere in the nearby comment tree. It's the suggested technical and product enhancements that I felt was potentially useful feedback, rather than any of the criticism (I can understand why those are deleted).