llvm::DerefState

Name

Description

AbstractState

An interface to query the internal state of an abstract attribute.

Name

Description

addAccessedBytes

Add accessed bytes to the map.

computeKnownDerefBytesFromAccessedMap

Helper function to calculate dereferenceable bytes from current known bytes and accessed bytes.

indicateOptimisticFixpoint [virtual]

See AbstractState::indicateOptimisticFixpoint(...)

indicatePessimisticFixpoint [virtual]

See AbstractState::indicatePessimisticFixpoint(...)

isAtFixpoint [virtual]

See AbstractState::isAtFixpoint()

isValidState [virtual]

See AbstractState::isValidState()

operator&=

See IntegerStateBase::operator&=

operator+=

See IntegerStateBase::operator+=

operatorˆ=

See IntegerStateBase::operatorˆ=

operator|=

See IntegerStateBase::operator|=

takeAssumedDerefBytesMinimum

Update assumed dereferenceable bytes.

takeKnownDerefBytesMaximum

Update known dereferenceable bytes.

operator==

Equality for DerefState.

operator!=

Inequality for DerefState.

Name

Description

getBestState

getBestState overloads

getWorstState

getWorstState overloads

Name

Description

AccessedBytesMap

Map from accessed memory offsets to access sizes.

DerefBytesState

State representing for dereferenceable bytes.

GlobalState

State representing that whether the value is globaly dereferenceable.