SVF::cppUtil::ctir Namespace Reference

Variables
const std::string	derefMDName = "ctir"
const std::string	vtMDName = "ctir.vt"
const std::string	vtInitMDName = "ctir.vt.init"
const uint32_t	moduleFlagValue = 1
	Value we expect a ctir-annotated module to have. More...

Detailed Description

Constants pertaining to CTir, for C and C++. TODO: move helper functions here too?

Variable Documentation

derefMDName

const std::string SVF::cppUtil::ctir::derefMDName = "ctir"

On loads, stores, GEPs representing dereferences, and calls representing virtual calls. (The static type.)

Definition at line 168 of file CppUtil.h.

moduleFlagValue

const uint32_t SVF::cppUtil::ctir::moduleFlagValue = 1

Value we expect a ctir-annotated module to have.

Definition at line 177 of file CppUtil.h.

vtInitMDName

const std::string SVF::cppUtil::ctir::vtInitMDName = "ctir.vt.init"

On the bitcast of this to i8*. (The class the constructor it corresponds to.)

Definition at line 174 of file CppUtil.h.

vtMDName

const std::string SVF::cppUtil::ctir::vtMDName = "ctir.vt"

On the (global) virtual table itself. (The class it corresponds to.)

Definition at line 171 of file CppUtil.h.