Introduction to SolidOpt

The SolidOpt Framework provides tools to facilitate the construction of optimization modules. SolidOpt also provides an environment through which optimization modules could be loaded and used. Different code representations of the target application simplify the implementation of optimization methods. The framework could be used in the development of many analysis and optimization tools such as static code analyzers, code optimizers, compilers and decompilers.