Conclusions

Source code analysis via lexical analysis
worthwhile
assistant to developer, not replacement for audits
limited in scope by grammar it knows

czech
quick to code
easy to use
fast to run