common static analyser for kinds of langs, C-like, lisp-like, ML-like, etc. Maybe implement by js