Finds calls to alloca in a function's decompilation microcode, and records the integer parameter from each call site.

In order to optimize the jcc condition, we actually need a different structure than optinsn_t: in particular, we need a minsn_visitor_t. This local st

This class is used to find all variables that have 32-bit numeric values assigned to them in the first block (as well as the values that are assigned

The "deferred graph modifier" records changes that the client wishes to make to a given graph, but does not apply them immediately. Weird things could

Protected functions might use either one, or two, variables for the switch dispatch number. If it uses two, one of them is the "update" variable, whos

This class looks for jz/jg comparisons against constant values. For each thing being compared, we use a JZInfo structure to collect the number of time

Once we know which variable is the one used for comparisons, look for all jz instructions that compare a number against this variable. This then tells

Our pattern-based deobfuscation is implemented as an optinsn_t structure, which allows us to hook directly into the microcode generation phase and per