Research Tools

Members of the Binary Translation and Virtualization cluster have created many tools to assist them in their research and to sell to their customers. Most of these are either freely available to the public or for research purposes, and actively supported.

Feel free to add your own supported tools to the overview below, or contact Jonas Maebe with a link to an overview of your tools and he will add them.

• AbsInt
  • aiT: worst case execution time analysis
    • Host platforms: Linux, Windows
    • Target platforms: ARM7, HCS12/STAR12, PPC 555/565/603e/755, C16x/ST10, TMS320C3x, TriCore 1796, HCS12X, M68020, i386pm
    • Availibility: free research license, evaluation version
  • aiCall for C: software call graph and control flow visualisation
    • Host platforms: Linux, Solaris, Windows
    • Target platforms: All (source code based)
    • Availibility: Windows demo
  • aiPop: automatic code compaction
    • Host platforms: Linux, Solaris, Windows
    • Target platforms: C16x/ST10, HC08
    • Availibility: request form
  • StackAnalyzer: static stack usage analysis
    • Host platforms: Windows, others?
    • Target platforms: ARM, HCS12(X)/STAR12, PowerPC, TMS320C3x, C16x/ST10, XC16x, X86, H8, NEC V850, M68k, M68k, TriCore, ARC
    • Availibility: request evaluation version
  • PAG: program analyser generator
    • Host platforms: Unix, Linux
    • Target platforms: Unix, Linux (architectures?)
    • Availibility: online version
• Ghent University
  • Diablo: a link time optimizing and rewriting framework
    • Host platforms: Linux (same endianess as target)
    • Target platforms: ARM, PowerPC (32/64), i386, x86_64, Cell (32/64) (all Linux only)
    • Availibility: distributed under the GPLv2
  • Diota: dynamic instrumentation framework
    • Host platforms: Linux/i386
    • Target platforms: Linux/i386
    • Availibility: distributed under the GPLv2
• IBM
  • BProber: static binary instrumentor
    • Host platforms: AIX, Linux
    • Target platforms: POWER
    • Availibility: AIX and Linux (POWER)
  • FDPR-Pro: post-link optimizer
    • Host platforms: AIX, Linux
    • Target platforms: POWER, PowerPC64, Cell
    • Availibility: Linux/ppc64, part of the Cell SDK (Linux)
  • CodeAnalyzer: visual performance analyzer
    • Host platforms (Eclipse plug-in): AIX, Linux, Windows
    • Target platforms: POWER, PowerPC, x86
    • Availibility: AIX, Linux and Windows
• STMicroelectronics
  • GCC-backend and frontend for CLI: adding support for CIL/MSIL as input, intermediate and output format in GCC
    • Host platforms: all GCC-supported
    • Target platforms: CIL, all GCC-supported (starting from CIL, under construction)
    • Availibility: distributed under the GPLv3