Adding BPatch_dependenceGraphNode and -Edge to represent graphs used in slicing

Moving Annotation Framework into common library and making BPatch_function annotatable

Moving Annotation Framework into common library

Fix off-by-one memory allocation error

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Change in call to decodeStartupSysCalls, which is now in class process

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added some private helper functions, grouped them together

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Just re-ordering of process construction initializations to avoid a compiler warning

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added extra assert(0); function stubs and fixed a compile time bug, assert(0) functions require return address in windows

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added copy of link structure to help in parsing of malformed binaries for 64 bit linux

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added 64 bit functionality to the backup find main code

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Made bugfix in analyzeImage

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added extra assert(0); function stubs

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Bugfix to the code I added last time, fixes function offsets in new regions

Extended backup method for finding main to linux x86 64 bit and fixed some bugs that I had introduced.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Disable save-the-world tests

Fixed test race condition that was causing Linux/x86 test13 failures

Change asserts in dwarf code to proper error returns

Workaround for issue where system() would lead to mutatee crashes

Fix issue where some Linux/x86-64 systems could not load RT library

Turn an warnings from fprintf(stderr, ... to a dyn_uwn_printf

Test if module has been unloaded before allowing some operations

Mark BPatch_threads as cleaned after exec

Added dyninst version #defines as per request of O|SS

Add symtabAPI and common to link lines

Don't abort build if 'gcc -v' errors

Minor updates

More updates from previous commit

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Propagate s/process/AddressSpace/g

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Pull out non-dynamic code from process class

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Centralize inferior heap code

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Define and implement AddressSpace refactoring of process class

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Add AddressSpace as an InstructionSource

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Use addressSpace instead of process

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Remove obsolete code

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
SaveTheWorld work

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Refactor process parameter into AddressSpace parameter

Refactoring of AddressSpace from process class  - - - - - - - - - - - - -
Add addressSpace.[Ch] and infHeap.C

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added API function addMemModule

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Replaced sanity checks with warnings

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
made change to handleProcessCreate so that we don't fail if main has not been located

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Made changes to the fileDescriptor class, added a new constructor and fields: startAddr, endAddr

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Changed findmain so that it doesn't automatically fail when it can't find a text section

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
added handling for two new events evtLibcLoaded and evtLibcTrap

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
added SignalGeneratorCommon::decodeStartupSysCalls() function

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
decodeIfProcessStartup now calls decodeStartupSysCalls if we're tracing startup events

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added a few functions for system call tracing so we can tell when and where libc is loaded

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
I added a new bootstrap state, 'libcLoaded_bs', that comes before initialized_bs.  Made changes to process::loadDYNINSTlib(), we now wait for the 'loadedLibc' bootstrap state instead of 'initialized' before starting

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
If our findMain heuristics fail it is detected here and I activate the libc instrumentation method for finding main

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Replaced sanity check with warning and added special case code

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Made change to continueLWP_ so that it issues PTRACE_SYSCALL instead of PTRACE_CONTINUE under certain conditions

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added code for ...

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
changed image::analyzedImage(), so it searches for functions from the beginning of the text segment to its end instead of just in between functions.

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
fixed bug in int_function::addPrettyName

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added assert(0) function shells

Add backup method for finding main and added API function BPatch_module *BPatch_image::addMemModule, which creates a new memory module and parses its contents.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Added two new events evtLibcLoaded and evtLibcTrap

Bugfix: we weren't checking the beginning of a jump table candidate for validity correctly.  This caused assertions on the Maryland machines.

Added Passed Test Message to test16

Bugfix: change to setCurrentAddress() semantics in InstrucIter broke stack walk test pm x86-64.  setcurrentAddress() again behaves properly, this time without causing an infinite loop.

M dyninstAPI/src/InstrucIter-x86.C
M dyninstAPI/src/InstrucIter-xplat.C
M dyninstAPI/src/InstrucIter.h
M dyninstAPI/src/image-flowGraph.C

Moved getBPInstruction to InstrucIter-xplat.C

M dyninstAPI/src/InstrucIter-ia64.C
M dyninstAPI/src/InstrucIter-power.C
M dyninstAPI/src/InstrucIter-sparc.C
M dyninstAPI/src/InstrucIter-xplat.C
M dyninstAPI/src/InstrucIter.h

Fixing x86 InstrucIter semantics to be consistent with other platforms.  Also, this removes the infinite loop that produced some of our sea of red tests this morning.

M InstrucIter-x86.C

InstrucIter refactoring:

* new InstructionSource abstraction, replacing dual proc/image ownership; processes and images now are InstructionSources
* getNextInstruction/getPrevInstruction removed, as side effects were inconsistent
* increment/decrement made to work cross-platform
* IA32 previous instruction stack made more compact

Bill

Brought .cvsignores up to date  - - - - - - - - - - - - - - - - - - - - -
cvs -nq update from core will no longer give ?s on legitimate build products

Debug output to figure out nightly build problem

Fixes a memory bug that affects the Fortran tests  - - - - - - - - - - -
Fix off-by-one memory allocation bug and buffer overflow in findVariable()

Comply with 64-bit ELF PowerPC ABI by adding function descriptors for DYNINSTthreadIndexFAST() and atomic_set().
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

instruction::generateMemAccess64() expects a signed 16-bit integer as an immediate load offset argument.  Following an instruction::loadPartialImmIntoReg(), the lowest 16 bits of a load address needs to be explicitly converted to a signed 16-bit integer before being passed to instruction::generateMemAccess64().  We now use an explict (int16_t) cast to perform this needed conversion.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Fix a problem caused by branching to a displacement rather than
absolute address.

Not having OpenMP compiler doesn't break build

incremental commit; ppc64_linux passes about one-third of tests.  - - - -
Handle 64-bit ELF functions that have aliases.

incremental commit; ppc64_linux passes about one-third of tests.  - - - -
Use region_hi_64() and region_lo_64() for 64-bit mutatees.

incremental commit; ppc64_linux passes about one-third of tests.  - - - -
Move region_hi() and region_lo() out of linux-power.h.

Bugfix: use mkstemp() to create tempfiles, rather than dying when we run out of the 100 we knew how to generate.

Push POWER branch overflow handling deeper into POWER specific code.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Remove unneeded branch range check.

Push POWER branch overflow handling deeper into POWER specific code.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Add trap-inst to generateBranch().  Fix generateInterFunctionBranch() bug.

Push POWER branch overflow handling deeper into POWER specific code.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Remove unneeded definition of instruction::offsetWithinRangeOfBranchInsn().

Fix for 1_29 failure

POWER fix.  Check return branch displacement when generating in trampEnd.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Check branch displacement before generating return branch.

POWER fix.  Check return branch displacement when generating in trampEnd.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Modify instruction::offsetWithinRangeOfBranchInsn() to use long parameter.

POWER fix.  Check return branch displacement when generating in trampEnd.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Add instruction::offsetWithinRangeOfBranchInsn() method.

Makes compilation work whether OpenMP compiler is present or not

Fix some C++-isms that was giving the AIX native compiler fits.

process::loadDYNINSTlib_hidden() works for 64-bit ELF.  - - - - - - - - -

OpenMP support in form of test16

OpenMP test added to testsuite as test16

test_driver.C: added quiet mode for interactive use.
--Bill

ppc64_linux (64-bit ELF) passes first test:  test1_41.  - - - - - - - - -
Implement calculation of the TOC (table of contents) offset for a given module.  The TOC is a section within the data segment that contains global symbols.

ppc64_linux (64-bit ELF) passes first test:  test1_41.  - - - - - - - - -
Put in changes to handle both 32-bit and 64-bit mutatees.  Read/write 32 or 64 bits when appropriate.  Use different offsets to read registers and stack.  getAddressWidth() is used a lot.

fix memory leakage

fix memory leakage of SubTest objects

checkPPC64DescriptorSymbols fix - check for all pretty&mangled names

Change Address to OFFSET

Fix a special case for ppc64 ELF binary symbols

Add new ppc32_linux platform.  - - - - - - - - - - - - - - - - - - - - -

Handle 64-bit ELF PowerPC Linux stack frame convention.  Changes in stack walking:  getCallerFrame().  Changes in function parameter access:  emitR(), case getParamOp.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

 64-bit ELF PowerPC Linux (and AIX) uses r2 as TOC base register; changes in emitFuncCall().  64-bit ELF PowerPC Linux (and AIX) also has a three-part function descriptor; changes in writeFunctionPtr().
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Update stack frame pointer handling to satisfy both 32-bit and 64-bit PowerPC ELF ABI documents.  Change STACKSKIP from 220 bytes to 288 bytes.  16-byte (quadword) align all stack frame pointer updates.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Corrected data type of two register-save variables from 'unsigned' to 'unsigned long'.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

generatedBlock().proc() returns NULL.  Use (process *) parameter instead.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

recommit:  Linux and AIX save registers into different places on the stack.
  - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Adding implementation of sparc specific functions that will be used by slicing