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.

Windows build & parsing fixes

1) Enforcement of correct const_iterator semantics by MSVS prevented
Dyninst from building on the Windows platform.

2) The recursive traversal parsing update attempted to conserve memory
by deleting image_func objects that failed to parse. Because our current
CFG design lacks a coherant mechanism for undoing all changes to global
state incurred by parsing, particular scenarios could lead to bad state
if we delete these spurious image_func objects. I've disabled this
feature for now; a design-level fix is necessary to solve the underlying
issue.

Removed -g debug info flag when building RT library assembly file

Madhavi discovered a problem when building the RT library with debug info enabled, where one of the assembly files would produce a .o file with un-resolvable relocations.  This almost seems like a bug in our assembler, as a debug info symbol should not need relocations in the first place.

I've fixed this by removing the -g option for building this file.  Debug info odesn't produce anything useful for assembly files anyways.

fix solaris 2.9 newtestsuite build.  (add compiler parameter for test6 assembly files)

Fix missing whitespace in makemake.py and regenerate newtestsuite files

Fix build failure in newtestsuite

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

Conflicts:
newtestsuite/src/dyninst/test5_7_mutatee.C

Bug fixes that go with the Binary Rewriter features

Introducing recursive traversal parsing into Dyninst.

Instead of blindly parsing past call instructions, we now
parse the callee first, attempting to determine (if possible)
whether the function returns. If we can safely determine that
it _does not_, parsing is terminated at the call instruction
to prevent misparsed code.

This commit also disables speculative parsing of stripped
binaries using our current heuristics, which are known to
be faulty on some platforms.

A couple of other fixes crept in:

 - Functions created based on bad symbol table data
   (e.g., invalid addresses) are no longer parsed

 - A couple of build errors in the newtestsuite

Gracefully handle unexpectedly empty SYMTAB sections

We were not checking for validity of SYMTAB sections handed back by libelf;
this commit prevents faults in the case of empty but extant sections.

Windows build fixes, take 1:

* Test suite make gen-clean, make gen-all should work again.
* test2_10 removed from Windows genfiles
* Annotation test now passes on Windows
* Removed unused local from pdwinnt.C, thus removing a compiler warning

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

Conflicts:
dyninstAPI/src/BPatch_type.C
symtabAPI/src/parseDwarf.C

Bug fixes from testing binaryEdit changes

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

Conflicts:
dyninstAPI/src/BPatch_addressSpace.C
dyninstAPI/src/BPatch_module.C
dyninstAPI/src/BPatch_snippet.C
make.config
symtabAPI/src/parseDwarf.C

This commit allows us to return a correct set of types in BPatch_type::getComponents() for types whose base type (constituent type) is a structure/class.

In Dyninst::Symtab::Type::getComponents(), we were ignoring all derived types that are not typedefs. However, pointers to classes/structures are derived types that should be handled correctly. Instead of just dealing with typedeftypes, we now treat all derived types the same: return the components of the base type.

We never created BPatch_type objects for some Dyninst::Symtab::Type's. Therefore, the upPtr in Type was set to null. However, for derived types, Dyninst::Symtab::Type::getComponents() relies on correctly set upPtr's. Now, whenever we create a new BPatch_type from a Type object that is a derived type, we create a BPatch_type object for the base type as well. upPtr's are set accordingly in BPatch_type constructor. For now, we are not registering these new BPatch_type objects anywhere else.

Changed reference to `stl::vector' to `pdvector', as AIX still uses
our home-rolled vector class.