Represents a memory backed by binary file sections.

Represents how the concrete executor should handle call instructions.

Represents a value that can be evaluated in the context of concrete evaluation of LowUIR statements, which can be either defined or undefined.

Represents a concrete executor over ConcEval's evaluation state.

Represents concrete execution configuration.

Represents the result of a concrete execution run.

Provides structured access to a concrete EvalState.

Represents a concrete execution stop condition.

Represents a concrete stop point observed by a user-defined predicate.

Represents the reason why concrete execution stopped.

Represents how concrete execution should handle undefined values.

Represents the main evaluation state that will be updated by evaluating every LowUIR statement encountered during the course of execution. This can be considered as a single-threaded CPU context.

Represents a concrete evaluation module for LowUIR.

Represents a callback function that is invoked when an external call is encountered during the evaluation.

Represents a memory used in the evaluation.

Represents a callback function that is invoked when a memory load fails.

Represents a non-sharable memory.

Represents a safe concrete evaluation module for LowUIR. Unlike Evaluator, it does not raise exceptions, although it may be little bit slower.

Represents a thread-safe (sharable) memory.

Represents a callback function that is invoked when a side effect is encountered during the evaluation.

Represents how concrete execution should handle uninitialized register reads.

Represents a collection of variables used in the evaluation state.