Ivette

Main entry points:

• frama-c/server Frama-C Server interaction (low level)
• frama-c/states high-level request management

Command Line

The following options are recognized by ./bin/frama-c-gui:

• --cwd working directory of Frama-C server
• --command path to Frama-C binary
• --socket ZeroMQ socket address of the server

The default working directory is the current one. The default command is the local bin/frama-c of source installation. The default socket is ipc:///.frama-c.<pid>.io.

Dome Guides

• Dome Framework
• Quick Start
• Live Editing
• Application Design
• Application Development
• Styling Components
• Custom Hooks
• Icon Gallery
• Glossary