<

Software Reverse Engineering

GrammaTech's software engineering research includes the following areas:

  • Static analysis of software binaries.
  • Dependence analysis and program slicing.
    [Publications]
  • Software dynamic translation.
  • Trace-based disassembly.
  • Software deobfuscation.
  • Analysis support for software quality assurance.

Areas | Products | Sponsors | Publications | News | About Us © 2007-2010, GrammaTech, Inc. All rights reserved.
The Synthesizer Generator, Ada-ASSURED, Ada-Utilities, and SmashProof are trademarks of GrammaTech, Inc. CodeSurfer and CodeSonar are registered trademarks of GrammaTech, Inc.