You can use this page to try Cqual over the web. Our web interface lets you run Cqual on several small examples illustrating the security vulnerability analysis and the deadlock detection, or you can supply your own pre-processed C code annotated with qualifiers. The web version of Cqual mimics the emacs-based browsing interface in the regular distribution.
You can read more about Cqual on the main Cqual page.
Our demonstration includes examples of two applications of Cqual. The qualifiers $tainted and $untainted can be used to detect potential security bugs, specifically format-string vulnerabilities. The qualifiers $locked and $unlocked can be used to detect potential deadlocks.
Notes