Class MayWriteSideEffectOpcode

An opcode that may overwrite some, all, or none of an existing set of memory locations. Modeled as a read of the original contents, plus a “may” write of the new contents.

Import path

import semmle.code.cpp.ir.IR

Direct supertypes

Indirect supertypes

Known direct subtypes

Inherited predicates