Static Analysis Checker with Micro Grammar - View it on GitHub