This is (or seems to be) the value proposition of llvm and clang. Both are easy to use as libraries, so you can create a program that does detailed analysis on

This is (or seems to be) the value proposition of llvm and clang. Both are easy to use as libraries, so you can create a program that does detailed analysis on a hard problem domain (C or C++ syntax) very easily. It would be nice to see these things for other languages.