AbstractInterpretation.h File Reference

#include "AE/Core/AbstractState.h"
#include "AE/Core/ICFGWTO.h"
#include "AE/Svfexe/AEDetector.h"
#include "AE/Svfexe/AbsExtAPI.h"
#include "Util/SVFBugReport.h"
#include "WPA/Andersen.h"

Go to the source code of this file.

Classes
class	SVF::AEStat
	AEStat: Statistic for AE. More...
class	SVF::AbstractInterpretation
	AbstractInterpretation is same as Abstract Execution. More...

Namespaces
	SVF
	for isBitcode