In this section we provide documentation about Clara.

As a researcher…

… you will probably be interested in finding out about:

There is also a video available in which I explain how Clara’s static analyses work.

As a developer…

… you may be interested in knowing:


Nop-shadows Analysis in action In general, you may be interested in the following presentation, which in an extended version of the presentation that I gave at my thesis defense. Available for Keynote and as PDF (both large files!).