Declarative ExplodedGraph matching

[Szelethus]

Hi!

Just for a point of reference, here is the initial discussion:

[analyzer] Proof-of-concept for Matcher-like checker API (graph matchers)

Hello everyone, I'd like to share some results of my investigation targeted on improvement of Clang Static Analyzer checker API. You can find some previous conversation on this topic here: http://clang-developers.42468.n3.nabble.com/analyzer-RFC-Design-idea-separate-modelling-from-checking-td4059122.html. In my investigation, I tried to solve a particular problem of building a checker without generating new nodes. --------- Introduction and design goals --------- In brief, I tried to use matc…