Unlike most surveys, which can go on for months and take years to compile the data, analysis of the Cricket Crawl will happen in real time.

On top of that, we introduced the new Codan static analysis framework as optional component to provide semantic error reports ahead of compile time.

There are several static and dynamic approaches for active rules termination analysis. We consider only static methods that at compile time detect potential non-terminating active rules execution.