ISEAnalyzer
class is a static analyzer for machine code. This class implements intra-procedural side-effect analysis. This determines the set of registers read and modified by this procedure locally; this information can be used to reduce the amount of work that other static analyzers must do when they analyze code, because they can use the results of this analysis to know which registers' values are used, and which registers are unmodified by a procedure.
@author Ben L. Titzer
|
|
|
|