Clara
Compile-time Approximation of Runtime Analyses
Overview
Documentation
Videos/Tutorials/Presentations
Using Clara
Components, Features & Abstractions
Specifying typestate properties
Dependent Advice
Dependency State Machines
Clara-compatible Runtime Monitors
Hand-writing a Clara-compatible monitor
Generating a Clara-compatible monitor automatically
How to implement a typestate analysis
Existing analyses in Clara
Mailing List
Downloads
Benchmarks
Publications
Contact
Clara-compatible Runtime Monitors
There are two ways of obtaining a Clara-compatible runtime monitor:
writing the monitor by hand
, or
have a tool generate
a monitor for you.