AEDetector.h File Reference

#include <SVFIR/SVFIR.h>
#include <AE/Core/AbstractState.h>
#include "Util/SVFBugReport.h"

Go to the source code of this file.

Classes
class	SVF::AEDetector
	Base class for all detectors. More...
class	SVF::AEException
	Exception class for handling errors in Abstract Execution. More...
class	SVF::BufOverflowDetector
	Detector for identifying buffer overflow issues. More...
class	SVF::NullptrDerefDetector

Namespaces
namespace	SVF
	for isBitcode