Code Listener  [unstable] git snapshot
Namespaces | Functions
pointsto_fics.hh File Reference
#include "pointsto.hh"

Go to the source code of this file.

Namespaces

 CodeStorage
 object model that describes the analyzed code on the input
 
 CodeStorage::PointsTo
 

Functions

bool runFICS (BuildCtx &ctx)