Documentation
In this section we provide documentation about Clara.
As a researcher…
… you will probably be interested in finding out about:
- what components, abstractions and features the Clara framework provides,
- how to use Dependent Advice and Dependency State Machines to define typestate properties,
- how to write or generate runtime monitors that are compatible with Clara,
- how to implement a static typestate analysis in Clara, and
- what existing example analyses Clara provides.
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:
- what existing analyses Clara provides,
- how to write or generate runtime monitors that are compatible with Clara,
- and how to obtain and run Clara.
Slides
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!).
