Annotations
===========

This section covers the annotation system for specifying analysis properties.

.. toctree::
   :maxdepth: 2

   annotation
   modref
   pointer_effects
   taint_config