Class jump_destinations_t#

Class Documentation#

class jump_destinations_t#

The class for keeping the valid jump destination of the code (i.e. the locations of the JUMPDEST opcodes). (YP: \(D(c)=D_{j}(c,0)\))