- quickstart tutorial: first steps for beginners (recommended)
- symbolic execution tutorial: learn the specifics of symbolic execution with colorstreams
- automation and advanced features tutorial: learn how to automatically generate sources and sinks and compose analysis policies