Add a dynamic type analyser for GObjects
Blue-sky idea: perform static analysis of the types of GObject variables and thus type-check casts, method calls and parameter passing.
(Imported from bugs-everywhere; see #2 (closed).)
Blue-sky idea: perform static analysis of the types of GObject variables and thus type-check casts, method calls and parameter passing.
(Imported from bugs-everywhere; see #2 (closed).)