If an .so file is present for LIBDWARF, set LIBDWARFSTATIC to false, etc.
These checks are fragile and will probably be replaced later.

Automatically generating make.config.local...
(example for cs.wisc.edu machines with AFS access)
From the root of dyninst.git, run:
./autodyninst/configure --with-package-base=/afs/cs.wisc.edu/p/paradyn/packages

Added AMD64 support to test for dereferences.

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

Instruction API bugfix: use the correct size registers for all dereferences, and test this.

Remove erroneous assert. We were asserting in instrSideEffect that
an instPoint had at least one instPointInstance. This is not the case
for uninstrumentable code, and is correctly handled anyway.

This commit fixes bug 921.

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

Replace a printed error (perror) with a proccontrol_printf. Fixes bug 885.

Add an "analyze everything" test for overhead/bug finding purposes.

Add preliminary data tracking for hooking up function call parameters.

Removed more error messages

Removed more error messages printed from internal dyninst routines regarding invalid process to attach and non-existent file passed to dlopen

In Object-elf, we were not adding a non-unique symbol to the module. There are cases where the symbol name will be not be unique - for example, header file included by multiple files. But, we still want to add the symbol to the Module

Minor modification to sparc Makefile - to include CFLAGS that is configured depending on the host to include fpic or Kpic.

Removed print statements from sol_proc.C which produced undesirable output when a valid mutatee process doesnt exist for attaching. Instead we should just return an error code that will be handled by the mutator.

Fix for (1) power deadlock problem due to incorrect lock implementation. We now use dyn_pthread_self to get threadID instead of DYNINSTthreadSelf (2) Sparc test1_33 failure. plt calls are incorrectly categorized as non returning which causes problem with CFG analysis.

Use fixpoint analysis correctly.

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

The DDG code now uses the annotation interface to store the DDG at a function level whenever it is created.

Also includes misc. bugfixes.

Windows fix: with IA32 decoding getting consolidated in IAPI, we need to export the functions that are still used by legacy code in Dyninst.

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

Couple of build error fixes (1) polito build error - changed std::vector to pdvector for performInstrumentation (2) Solaris native compiler build error - because we were overwriting MUTATEE_CFLAGS_NATIVE. In make.module.tmpl, now MUTATEE_CFLAGS_NATIVE ?= ~(CFLAGS)

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

Removed incorrect assert from generating long branches on power

Compensate for InstructionAPI shared_ptr limitations.

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

Handle aliasing correctly (in theory; pending bug fixes)

Correctly promote 64-bit registers that may show up in 32-bit mode.

Fix dumb bug introduced yesterday; expand debugging output.

Fix for parseThat failures. While relocating functions, we also relocate functions that share code with the function being relocated. We did not install these dependent functions correctly. This commit generates, installs and links functions which share code with relocated functions.

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

Update to new Graph::printDOT interface

Implement aliasing in the DDG.

Fix for incomplete parsing in the event of failures in parseDwarf.C. This commit fixes test5_* failures on x86, x86_64 platforms

Added real FP liveness tracking to AMD64.  This fixes test1_20.
This also includes several instruction cracking bug fixes for bugs that came to light along the way.

InstructionAPI documentation updates: properly integrated into make system, produces consistently named PDF with other manuals.

Really delete mutatees.

Add debugging print statement (DYNINST_DEBUG_STACKANALYSIS) for new stack analysis code.

Remove compiler warning by initializing pointer to NULL.

Replace prototype "getContainingReg" with "promote".

DDG updates:

1) Updates to handle stack slots as abslocs. Depends on the stack depth analysis in dyninstAPI/src/stackanalysis.[Ch]

2) Add "print graph in DOT format" call.

TODO: handle calls, intra-instruction use/def, aliasing.

Two new methods in the image_func and int_function class hierarchies:

Add a method to get a vector of InstructionAPI instances, represented
by (Instruction, Offset) pairs. This parallels the BPatch_basicBlock
method.

Add a conversion function from int_function Address to image_func Offset.

Add prototype stack depth analysis derived from Matt's initial
implementation. This analysis depends on the InstructionAPI and currently
has x86/AMD-64 specific logic that is unimplemented for other platforms.

Input: an image_func

Output: two interval trees (see earlier commit). The first tree contains
intervals of stack heights (see below) and presence (existence) of a stack
frame.

Stack height: the height of the stack is represented by a
StackAnalysis::StackHeight object. This object has the following methods:
  height() - returns the height of the stack if defined; MINLONG (if
  unknown/bottom); MAXLONG (if uninitialized/top)
  isBottom(), isTop() - determine whether the stack height is unknown
    due to lack of analysis (top) or more than one possible height (bottom)
  Also, there are constant StackHeight::top and StackHeight::bottom
  definitions.

Debugging output should be made with stanalysis_printf.

Use stl::queue instead of stl::list for worklist data structure.

Add a new "Interval Tree" type. This is a templated version of our
codeRangeTree data structure used in Dyninst.

IntervalTree<class K, class V>

K is the datatype for lower and upper bounds. It must have a <, >, and
== operator defined. The ranges are stored as [lB..ub).

V is the value. It must have a default and copy constructor, as well as
an equality/inequality operator.

This class assumes the incoming ranges are disjoint; very, very, very
weird things will happen if this assumption is not held. It's also
not checked, so be careful in your usage.

One implemented optimization: joint ranges with identical types are
merged.

One exception: overlapping ranges with the same value are allowed
(needed to handle overlapping basic blocks).

Fix problems with identifying thread starts on x86 based systems

Fix performance issue in SymtabAPI for objects with lots of modules

Minor bug fixes to binary rewriter

- recalculate program headers on x86_64
- initialize .hash section on x86 and x86_64

In process.C, installInstrRequests(), vector of miniTramps was added to preExitInst without being cleared each time. This lead to duplicate entries of miniTramps which eventually caused assertion. This fix clears the vector of miniTramps as soon as it is added to preExitInst vector.

Enable Frame pointer location list for all platforms. Previously. only on x86_64, we merged locations lists of frame pointer and variables together to get the final location list of variables. This commit enables all architectures to save location lists of frame pointers and merge it with variable's list if the variable's location is relative to frame pointer. This fixes test1_23,24 and 26 failures on x86.

Fixed test_instruction_read_write for correctness on AMD64.

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

Fixed bug in checking FP register liveState. anyLiveFPRsAtEntry() returns true if the register is dead instead of live! Probably a typo, now fixed. This was causing failures in test1_20 with icc compiler

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

Correctly handle a case when a block contains no instructions that
define registers.

Convert incoming registers (from InstructionAPI) to the "canonical"
containing register.

Add upconverting "getContainingReg" method.

Add the "Auxiliary carry" flag to the set of ID->name mappings for
IA32/AMD64. Also reorder register IDs to make converting between
8/16/32/64-bit registers easier.

Bug fix: readsMemory() and writesMemory() were converting an Operand's Expression to the wrong type, and thus always returning false.  Fixed.

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

Add necessary methods to get the new DDG component to link with a mutator.

I've also added a baby test case in the DDG/test directory. The mutator
takes two arguments: a program name to open and a function to analyze.

windows binary rewriter

This commit contains codes for windows binary rewriter, which currently is able to rewrite basic windows executable files. Two new files are added in this commit: emitWin.C and emitWin.h.

Fix for variables in BSS section in icc. With icc, variables in bss are categorized as ST_NOTYPE instead of ST_OBJECT. If an object is in BSS section and its size is greater than zero, we can almost always say, it is a variable. We check for this condition and change the type to ST_OBJECT from ST_NOTYPE. This fixes test1_24-28 failures in x86 icc compiler mode

Bugfix: AMD64 liveness

AMD64 uses the REX byte's B bit to switch between EAX...ESI and R9...R16.  In cases where this register was not directly encoded in the opcode, we decoded this information correctly.  When it was, we didn't.  This fixes that bug.

Avoid invalid stl::map iterator usage

stl::map.erase invalidates the iterator of the erased element.
Deleting BPatch_function pointers while iterating over the map
containing them invoked an erase call in the BPatch_function
destructor. This bug was caught with valgrind while investigating
another failure.

Properly build block lists of shared functions

In some cases, shared code parsing could be triggered over a
partially-built control flow graph (due to recursive traversal
of call targets). This commit detects those situations, and
ensures that all functions built using shared code parsing
eventually contain the correct block lists.

Add additional BPatch_basicBlock::getInstructions<Instruction,Address> to complement
BPatch_basicBlock::getInstructions<Instruction>

Remove obsolete CVS files

Working commit of new DDG component

Add parallel BPatch_flowGraph::getAllBasicBlocks that takes an STL set as
argument:

BPatch_flowGraph::getAllBasicBlocks(std::set<BPatch_basicBlock*>&)

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

Fixes for binary rewriter

We were writting the executable and its dependant libraries to the same file name, one after the other, with each written file overriding the previous one.  This led to things not working.

Fix for test1_33 on Windows.

On Windows, we subtract off the load address from all of our symbols and code references before they leave Symtab.

When we parse a jump table, we get addresses to parse that do not have the load address subtracted off.  This makes that adjustment for both the table address and the table entries as needed.  Jump tables emitted by VC2003 are now parsed correctly.

This commit fixes chaining of dieEntries in parsing DWARF information. test5_5.C adds a new test for checking if constructor is added to the object through getComponents. In baseTramp.c, we Null-ify references to baseTrampInstances before clearing them to avoid mempry corruption.

C++ comments in mutatee files are bad.

Fixed test1_27 so that the mutatee will have correct type information on both gcc and VC2003 platforms.

Also fixed a warning in BPatch_function (returned an undefined bool, rather than 'true' as was appropriate at that point).

Also reworked BPatch_type::isCompatible to go through the locking interface properly.

Fix miniTramp uninstrument bug. uninstrument removes MT instances by iterating over the list, first to last. But we should really iterate from last to first so that changes instances.size() doesn't affect the iterator

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

Fix memory corruption, remove debugging printfs

We had numerous tests across Linux/x86, Linux/PPC, and Linux/x86_64 that were failing in the nightly runs but working when people ran them manually.  The culprit turned out to be a memory corruption bug in the newtestsuite that would only manifest when it was run in the database output mode--we were putting a vector to a local variable string into a global array.

This has been fixed, and the debugging printfs I added last night were removed.

This should fix the crash in test 1_29 on Windows.

We had several bugs in our decoding of Ap-style operands on x86.  Since these only show up in far jumps and calls, this was not generally an issue.

I've added an InstructionAPI test that verifies that our decoding of far calls is correct, and it passes.  This should fix Windows.

Fix printfs before nightly runs

Add debugging prints for output in nightly tests

Fixes for Power platforms:

- Check for bad call targets consistently across all platforms when parsing
call targets.

- Correctly interpret blrl as a return instruction when provided with the
right hint in the instruction encoding

Bugfix: don't try to build instructionAPI component if we have no mutators (and thus if instructionAPI is not implemented).

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

Fix windows build problem in newtestsuite

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

Added InstructionAPI test to new test suite on supported platforms; fixed a bug revealed by that test.
Updated InstructionAPI make.module.tmpl to copy include files to the right place.

Added InstructionAPI test to new test suite on supported platforms; fixed a bug revealed by that test.
Updated InstructionAPI make.module.tmpl to copy include files to the right place.

Add initial support for binary rewriting to newtestsuite

Binary rewriter fixes

Fix build warnings found on Linux/x86

Recycling a stab at automagically generating make.config.local.
This work was originally pioneered by Dorian/Bill.
In an ideal world, we would use the Autotools to generate a
configure script for all of Dyninst; however, complete adoption
will probably require a non-trivial amount of effort.

Example use on cs.wisc.edu machines with AFS access:
From the root of dyninst.git, run...
./autodyninst/configure --with-package-base=/afs/cs.wisc.edu/p/paradyn/packages
make DyninstAPI

... note the above will blow away any make.config.local you may have in the
dyninst.git root directory.

It is possible to rebuild the configure script within the autodyninst directory.
Just use...
aclocal
autoconf

Fixes parseThat build on x86_64

Removed test_thread_4 from newtestsuite and its entry in spec-grouped.pl. Also generated tuples for all architectures.

Fixed bug - eh_frame->page_start is subtracted from PC twice to convert pc
from absolute address to relative address.

Added full namespace specification to fix a build error.

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

HACK to handle kernel bug in VsysPage address range. vsys page address is randomized by the debug information is not updated with this address range.

Expanded .gitignore

InstructionAPI port to Windows.

New InstructionAPI feature: Expression::bind().
Arguments: another Expression subExpr and a Result r
Effect: Wherever subExpr appears in this Expression, assign it the value represented by r.
Returns: True if subExpr was found in this expression, false otherwise.