News Archive

• Morphing Attributes

  Morphing Attributes There is a possibility to select a subset of functions to be processed by Morpher. Such selection is done via so-called "morphing attribute". Attributes might be specified in: In the source file (only for C / C++ code) In the special attributes file Via the command line Each ...

  Articles, Oct. 24, 2011

• ABI: problems of C++ programs compatibility at the binary interface level

  Introduction The C++ language standard strictly defines semantics of all language constructs. However, it does not specify how these constructs must be implemented at binary level (in object code). As there is no common application binary interface (ABI) standard, C++ compiler vendors have come up their own ABI variations. As ...

  Articles, June 14, 2011

• CFG arches meshing

  features, March 15, 2010

• Cloning of basic blocks

  features, March 8, 2010

• Constant protection

  features, March 1, 2010

• Cloning of functions

  Description Same as basic block cloning, but on function level. Increases the amount of the code and thus - the strength of the transformations applied later. Original Code

  features, Feb. 23, 2010

• Combining of functions

  features, Feb. 16, 2010

• Opaque predicates insertion

  features, Feb. 9, 2010

• Pseudo cycles insertion

  features, Feb. 2, 2010

• Appendix A. Demo

  features, Jan. 25, 2010