Georgia Tech Reverse Engineering Tools Collection

The Reverse Engineering group at the College of Computing at Georgia Tech has several tools installed on the CoC machines.

• VCG, a compiler graph visualization tool

  Version

  1.30

  Source

  /net/hs1/reverse/packages/vcg.1.30/

  Binaries

  /net/hs1/reverse/bin/xvcg

  Demo

  Change to the /net/hs1/reverse/packages/xvcg.1.30/ directory and type make test

  Maintainer

  Ben Combee

• Software Refinery, a toolkit for software analysis

  Version

  4.0-beta

  Location

  /hs1/reverse/packages/reasoning/refine/

  Binaries

  /hs1/reverse/packages/reasoning/refine/4-0-beta/bin/franz/refine

  Maintainer

  Spencer Rugaber

• Refine/C, Software Refinery tools for C analysis

  Version

  1-1

  Location

  /hs1/reverse/packages/reasoning/c

  Binaries

  /hs1/reverse/packages/reasoning/c/1-1/bin/franz/refine-c

  Maintainer

  Spencer Rugaber

• Refine/FORTRAN, Software Refinery tools for FORTRAN analysis

  Version

  1-3

  Location

  /hs1/reverse/packages/reasoning/fortran

  Binaries

  /hs1/reverse/packages/reasoning/fortran/1-3/bin/franz/refine-fortran

  Maintainer

  Spencer Rugaber

• CToVCG, a set of scripts to produce a structure chart based on a preprocessed K&R C program

  Version

  20.6.1994

  Source

  /net1/hs1/combee/new/CToVCG/

  Binaries

  /net1/hs2/combee/new/CToVCG/makeSC

  Maintainer

  Ben Combee

  Dependencies

  VCG, Canal

• NewYacc, an enhancement to YACC to provide parse tree annotations

  Version

  1.1

  Source

  /net1/hs1/reverse/packages/newyacc

  Binaries

  /net1/hs1/reverse/bin/newyacc

  Maintainer

  Ben Combee

• RMTool, a tool for computing Reflexion Models, a high level model of a system that can be validated against the system source code.

  Version

  1.5

  Source

  Only tcl/tk scripts. Located in /net/hs1/reverse/packages/RMTool/bin/SUN4

  Binaries

  /net/hs1/reverse/packages/RMTool/bin/SUN4

  Maintainer

  Kurt Stirewalt

  Environment Requirements (/bin/csh syntax)

  setenv TCL_LIBRARY /users/projects/develop/peter/tcltk/tcl7.4/library

  setenv TK_LIBRARY /users/projects/develop/peter/tcltk/tk4.0/library

  setenv RMDIR /net/hs1/reverse/packages

  set path = ( $path /net/hs1/reverse/packages/RMTool/bin/SUN4 \

  /net/hs1/reverse/packages/graphviz/bin )

• Graphviz, Intertool Connections package from AT&T. RMTool uses dotty, which is why we loaded this package.

  Version

  Beta

  Source

  /net/hs1/reverse/packages/graphviz

  Binaries

  /net/hs1/reverse/packages/graphviz/bin

  Maintainer

  Kurt Stirewalt

• SMV, Symbolic Model Verifier from Carnegie Mellon University.

  Version

  2.4

  Source

  /net/hs1/reverse/packages/smv/src

  Documentation

  /net/hs1/reverse/packages/smv/src/smv.1

  Binaries

  /net/hs1/reverse/packages/smv/bin

  Maintainer

  Kurt Stirewalt