BPatch_binaryEdit::staticExecutableLoaded was poorly named. Changing
its name to isStaticExecutable (per feedback from others in the group).
This also involves changes to the testsuite.

Fixed some bugs in the rewriter of static binaries:
- was using replaceFunctionCall to replace ctor and dtor handlers -- this
  appears to be having some problems on x86. Instead just instrumented the
  original ctor/dtor handler with a funcJump to the new handler. In retrospect,
  this is the better solution.

- Variables in relocatable files that are in COMMON were not being created
  correctly by Symtab. If a variable is in COMMON, there is no way to have an
  alias for this variable so new variables are created for every COMMON symbol
  that corresponds to a variable.

Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

Merge branch 'master' of ssh://bill@git.dyninst.org/pub/dyninst

Cheap hack to make SymEval build despite mismatch in predicate parameters.

Revert slicing to git-head. Build fixes. Slicing predicate funcs mismatched in git-head.

Merge branch 'master' of legendre@git.dyninst.org:/pub/dyninst

Fixes for ProcControl on static binaries, cleans up exit process handling

symeval build fix

More integration

Merge branch 'master' of ssh://bill@git.dyninst.org/pub/dyninst

BEGIN integration/regression changes/fixes

GCC 4.4.3 fixes.

Small changes to satisfy the slightly more robust GCC 4.4.3 compiler.

Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

Turned warning into debug message -- 'call 0' legally occurs when weak
symbols are left undefined.

Fixed some typos in doStaticBinarySpecialCases

When I added the alignment field to the Region class, the default
alignment of 1 wasn't making libelf.so.1 happy. The default alignment
is now sizeof(unsigned).

Merge branch 'master' of ssh://bill@git.dyninst.org/pub/dyninst

WIP

Guard a pointer dereference

Merge branch 'master' of ssh://bill@git.dyninst.org/pub/dyninst

Conflicts:
instructionAPI/src/InstructionDecoder-x86.C
symEval/src/SymEval.C
symEval/src/slicing.C

Merge branch 'master' of git.dyninst.org:/pub/dyninst

Conflicts:
instructionAPI/src/InstructionDecoder-x86.C

Extend slicing interface

Conflicts:

symEval/h/slicing.h

Extensions of short-range slicer

More conversion overrides for IAPI->ROSE conversions

InstructionAPI bugfixes

Bugfix for calls that aren't actually calls...

Safety check pre-disassembly

Bugfix in basetramp-less memory instrumentation

Merge branch 'master' of ssh://bill@git.dyninst.org/pub/dyninst

Final fixes for IAPI/Power integration:

* Remove invalid assert from Power rewriter commit in emitFuncJump
* Fix autoconf to properly detect g++ and native demanglers on AIX.
* Remove a stray #define DEBUG from stack tests.

Allow x86 instructions to have two immediate operands (like ENTER).

Merge branch 'master' of ssh://bill@git.dyninst.org/pub/dyninst

Conflicts:
dyninstAPI/src/RegisterConversion-x86.C
dyninstAPI/src/stackanalysis.C
dyninstAPI/src/symtab.C
make.config
symEval/h/SymEval.h
symEval/src/SymEval.C
symEval/src/SymEvalPolicy.C
symEval/src/SymEvalPolicy.h

power/linux IAPI passes all tests

Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

Conflicts:
testsuite/ppc32_linux/test_info_new.gen.C
testsuite/ppc32_linux/tuples

Merge branch 'master' of ssh://bill@follis.cs.wisc.edu/p/paradyn/development/bill/test/dyninst

power/linux jump table fixes

Extend testsuite to build and test static binaries.  Adds new dimension to test
space -- dynamic vs. static link. runTests and test_driver now accept the
options(-dynamiclink,-staticlink) to run against dynamically or statically
linked binaries. The default is to have both options on, but statically linked
binaries will only be tested in rewriter mode. This included some changes to
the test infrastructure code as well as the specification.

Also, fixes some bugs in the rewriter of static binaries: restoring symbol
information after performing the rewrite to all Symtab caching to work correctly
and automatically loading the dependencies for the static RT library (just
libc for now).

All rewriter tests pass for static binaries except test5_6. test5_6 (Exception
test) instruments the catch block of an exception block. The mutatee makes a
call to a function that always throws an exception; parsing currently
classifies this case as a non-returning function. In the calling function, the
non-returning call causes the parser to stop parsing the function and never
find the catch block. Because of this, the mutator fails to find and instrument
the call block. This isn't a problem for the dynamic case because the call is
routed through the PLT and is therefore, not a non-returning call. At the time
of the commit, I didn't know how to fix this.

Fix compiler warning.

Handle access to EFLAGS register in liveness.

Use the right architecture for lookahead decoding.

Fix for ppc_linux jump tables

More changes to power instruction generation

Corrected inst-power changes

InstructionAPI POWER port: jump table parsing works on AIX, memory tests work, AIX TOC lookup ported.  Infrastructure laid down for OMP parsing port.
ODO: secondary FP saves iff we've found secondary FP use, test PPC linux, fix 32-bit mode hacks, code cleanup.

PowerPC rewriter tests

This commit enables rewriter tests for PowerPC platform.

Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

PowerPC Rewriter commit

This commit implements rewriter on powerPC. It implements PIC code generation,
and other changes required to enable binary rewriting in power.

Merge branch 'master' of git.dyninst.org:/pub/dyninst

Conflicts:
dyninstAPI/src/RegisterConversion-x86.C

Add a MachRegister->Dyninst register converter

Collected bugfixes

Fix bug from VXWorks commit: instruction::generate() and instruction::setInstruction once again write things on non-VXWorks builds

Fix detach() handling: add appropriate RPC callback/wait mechanism, and elease the global lock when we leave waitNextEvent().
Also clean up traps behind ourselves when we detach.

Small fixes for ProcControlAPI commit

New tests for ProcControlAPI

Initial implementation of ProcControlAPI for Linux/x86 family

Move the address lookup implementation from SymtabAPI to libcommon, so it can be accessed by ProcControlAPI

Power jump table implementation w/IAPI; desperately needs cleanup.

Merge/rebase fixes

check glink section for null, bail if so

Check edges from all control flow insns, not just x86 calls, in stack analysis.
More slicing WIP and merge fixes.

jump table slicing WIP: get backwards slice from indirect branch and examine it

Bind the effective address, not the dereference!

more log

debugging logging

test impl of stack analysis for ppc

add powerpcInstructionEnum to external/rose

A working, but not yet complete, implementation of backward slicing.

more bugfixes

implementation of regClassToString for debugging

Add absolute forms to unconditional branches & link forms to conditional branches.

Continuing bugfixes for symeval/rose operand matching.

Swap all PPC stores so that their source/destination operands are in the order ROSE expects.

More bug fixes to make converted ROSE insns behave with their semantics module.

Bug fix: bo, bi can be 0 but we need to pass them in anyway...

Various changes to make SymEval play nicely with the Power semantics module.

Add special-case handling for branch instructions, since ROSE semantics wants the BO operand in its integer form, and wants to separate out all the absolute/link stuff into the opcode.

PowerPC registers for ROSE semantics...

Backwards slicing and 32-bit fixes.

SymEval for POWER: WIP

Enable IAPI for ppc32_linux

cap_instruction_api enabled for AIX/POWER.

Working syscall identification prototype

Separated IA_IAPI::isInterruptOrSyscall()
into IA_IAPI::isInterrupt() and IA_IAPI::isSyscall().

Added vsyscall and int 80 instructions to IA_IAPI::isInterruptOrSyscall().

Replace AbsRegionAST with VariableAST.

Bugfix for stack analysis over getPC/thunk calls

Fix for incomplete merge.

Merge branch 'master' of git.dyninst.org:/pub/dyninst

Conflicts:
symEval/src/SymEvalPolicy.h

Improve slicing to check predicates during traversal of call edges.

Make SymEval an exported header

Fix ordering issue when creating FP intervals in stack analysis

Patch ROSE instruction semantics to treat the PC as symbolic

symEval: Keep track of operand sizes

Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

Build fix for ia64 -- ia64 uses as instead of gcc when building the
RT library, and it doesn't accept the options -c and -D.

Also, minor bug fix for rewriting statically-linked, stripped binaries.

Preliminary VxWorks Support
Major changes at the cross-platform level include reading and writing
by word to support proper handling of endian mismatches between mutator
and mutatee.

modified:   common/h/Types.h
modified:   common/h/fraction.h
modified:   common/h/headers.h
new file:   common/h/vxworksHeaders.h
new file:   common/ppc32-unknown-vxworks6.x/Makefile
modified:   common/src/Time.C
new file:   dyninstAPI/ppc32-unknown-vxworks6.x/Makefile
modified:   dyninstAPI/src/BPatch.C
modified:   dyninstAPI/src/BPatch_function.C
modified:   dyninstAPI/src/BPatch_snippet.C
modified:   dyninstAPI/src/InstrucIter-power.C
modified:   dyninstAPI/src/addressSpace.h
modified:   dyninstAPI/src/aix.C
modified:   dyninstAPI/src/arch-power.C
modified:   dyninstAPI/src/arch-power.h
modified:   dyninstAPI/src/binaryEdit.C
modified:   dyninstAPI/src/binaryEdit.h
modified:   dyninstAPI/src/dyn_lwp.h
modified:   dyninstAPI/src/inst-power.C
modified:   dyninstAPI/src/inst-power.h
modified:   dyninstAPI/src/linux.C
modified:   dyninstAPI/src/mapped_object.C
modified:   dyninstAPI/src/multiTramp.C
modified:   dyninstAPI/src/os.h
modified:   dyninstAPI/src/pdwinnt.C
modified:   dyninstAPI/src/process.C
modified:   dyninstAPI/src/process.h
modified:   dyninstAPI/src/procfs.C
modified:   dyninstAPI/src/rpcMgr-thr.C
modified:   dyninstAPI/src/signalgenerator.C
modified:   dyninstAPI/src/signalhandler.C
modified:   dyninstAPI/src/sol_proc.C
modified:   dyninstAPI/src/symtab.C
new file:   dyninstAPI/src/syscall-vxworks.C
modified:   dyninstAPI/src/unix.C
new file:   dyninstAPI/src/vxworks.C
new file:   dyninstAPI/src/vxworks.h
modified:   dyninstAPI_RT/h/dyninstAPI_RT.h
new file:   dyninstAPI_RT/ppc32-unknown-vxworks6.x/Makefile
modified:   dyninstAPI_RT/src/RTcommon.c
modified:   dyninstAPI_RT/src/RTheap.h
modified:   dyninstAPI_RT/src/RTlinux.c
modified:   dyninstAPI_RT/src/RTposix.c
modified:   dyninstAPI_RT/src/RTspace.S
        new file:   dyninstAPI_RT/src/RTspace-smallmem.S
modified:   dyninstAPI_RT/src/RTthread-index.c
new file:   dyninstAPI_RT/src/RTvxworks.c
modified:   make.config
modified:   symtabAPI/h/Region.h
modified:   symtabAPI/h/Symtab.h
new file:   symtabAPI/ppc32-unknown-vxworks6.x/Makefile
modified:   symtabAPI/src/Aggregate.C
modified:   symtabAPI/src/Elf_X.h
modified:   symtabAPI/src/Function.C
modified:   symtabAPI/src/Object-elf.C
modified:   symtabAPI/src/Object.h
modified:   symtabAPI/src/Region.C
modified:   symtabAPI/src/Symtab.C
modified:   symtabAPI/src/Variable.C
modified:   dyninstAPI/ppc32-unknown-vxworks6.x/Makefile
modified:   dyninstAPI/src/InstrucIter-xplat.C
modified:   dyninstAPI/src/InstrucIter.h
modified:   dyninstAPI/src/arch-power.C
modified:   symtabAPI/h/Symtab.h
modified:   symtabAPI/src/Object-elf.C
modified:   symtabAPI/src/Region.C
modified:   symtabAPI/src/Symtab.C

Prototype implementation of slice->AST symbolic expansion mechanism.

Correctly implement sign-extension for constant types.

Merge branch 'master' of git.dyninst.org:/pub/dyninst

Reimplementation of ASTs as non-templated to allow creation of visitor classes.

SymEval: remove redundant handling of PC for call instruction

SymEval: Fix conversion to ROSE instruction involving implicit PC updates