CFLBase.h File Reference

#include "CFL/CFLSolver.h"
#include "CFL/CFGNormalizer.h"
#include "CFL/GrammarBuilder.h"
#include "CFL/CFLGraphBuilder.h"
#include "CFL/CFLGramGraphChecker.h"
#include "MemoryModel/PointerAnalysis.h"
#include "Graphs/ConsG.h"
#include "Util/Options.h"
#include "SVFIR/SVFType.h"

Go to the source code of this file.

Classes
class	SVF::CFLBase
	CFL Client Base Class. More...

Namespaces
	SVF
	for isBitcode