My favorites | Sign in
Project Home
Project Information

Lighthouse is an environment for doing domain-specific and general purpose static analysis of C and C++ code.

It consists of two parts -- a plugin for GCC producing a simple intermediate representation and a python-based web application for performing and viewing the results of analyses. This environment provides standard tools such as data-flow (DFA) and full inter-procedural analysis (IPA).

Lighthouse is provided with example analysers which perform domain-specific resource (memory, locks, file descriptors, etc.) lifetime verification and verification of C varargs functions.

Powered by Google Project Hosting