dyninst.git
9 years agoWork in progress on getting Stackwalker and Dyninst on FreeBSD.
Dan McNulty [Tue, 8 Feb 2011 21:59:56 +0000 (15:59 -0600)]
Work in progress on getting Stackwalker and Dyninst on FreeBSD.

9 years agoMerge branch 'pcint' into dyn_pc_integration
Daniel McNulty [Wed, 26 Jan 2011 21:21:42 +0000 (15:21 -0600)]
Merge branch 'pcint' into dyn_pc_integration

Conflicts:
dynC_API/make.module.tmpl
dyninstAPI/src/linux-x86.C
testsuite/amd64-unknown-freebsd7.2/make.solo_mutatee.gen
testsuite/amd64-unknown-freebsd7.2/tuples
testsuite/i386-unknown-freebsd7.2/make.solo_mutatee.gen
testsuite/i386-unknown-freebsd7.2/tuples
testsuite/i386-unknown-linux2.4/make.solo_mutatee.gen
testsuite/i386-unknown-linux2.4/tuples
testsuite/ppc32_linux/make.solo_mutatee.gen
testsuite/ppc32_linux/tuples
testsuite/ppc64_linux/make.solo_mutatee.gen
testsuite/ppc64_linux/tuples
testsuite/rs6000-ibm-aix5.1/make.solo_mutatee.gen
testsuite/rs6000-ibm-aix5.1/tuples
testsuite/sparc-sun-solaris2.8/make.solo_mutatee.gen
testsuite/sparc-sun-solaris2.8/tuples
testsuite/sparc-sun-solaris2.9/make.solo_mutatee.gen
testsuite/sparc-sun-solaris2.9/tuples
testsuite/x86_64-unknown-linux2.4/make.solo_mutatee.gen
testsuite/x86_64-unknown-linux2.4/tuples

9 years agoAdd test_stack_4
Todd Frederick [Wed, 26 Jan 2011 18:34:29 +0000 (12:34 -0600)]
Add test_stack_4

Tests stackwalking out of an entry-instrumented signal handler

9 years agoFix Stackwalker DebugStepper and allow changing the default SymReader
Todd Frederick [Wed, 26 Jan 2011 18:30:40 +0000 (12:30 -0600)]
Fix Stackwalker DebugStepper and allow changing the default SymReader

9 years agoImplement Stackwalker frame stepper helpers for Dyninst
Todd Frederick [Wed, 19 Jan 2011 19:04:31 +0000 (13:04 -0600)]
Implement Stackwalker frame stepper helpers for Dyninst

9 years agoFix improperly inlined Dwarf wrapper functions
Todd Frederick [Wed, 12 Jan 2011 15:37:09 +0000 (09:37 -0600)]
Fix improperly inlined Dwarf wrapper functions

9 years agoConvert Dyninst to use StackwalkerAPI
Todd Frederick [Mon, 29 Nov 2010 14:32:36 +0000 (08:32 -0600)]
Convert Dyninst to use StackwalkerAPI

9 years agoFix a bug with LD_PRELOAD, add some debugging support code, small changes to
Daniel McNulty [Wed, 26 Jan 2011 15:52:22 +0000 (09:52 -0600)]
Fix a bug with LD_PRELOAD, add some debugging support code, small changes to
test_driver.

Modified the test_driver to do program_teardown after all the tests for a
specific module (aka Dyninst, Symtab, etc) have been run instead of when all
the tests for all modules have been executed. In the Dyninst component's
teardown, the BPatch object is destructed which in turn makes sure the
callback thread exits. If this doesn't occur before ProcControl tests are
executed, the callback thread will interfere with the event handling
performed by the user thread in the ProcControl tests, causing them to
exhibit confusing behavior.

The LD_PRELOAD cannot be set in the Dyninst parent process when creating a
mutatee because this setting will persist for multiple mutatees. This causes
problems for when working with 32-bit mutatees.

Adds some debugging support code to dump stack walks when a process recieves a
crash signal and debugging output is on.

Modifies the Dyninst break point on Linux to use tkill. It turns out that
there is no guarantee that kill(lwp, signal) will deliver the signal to the
correct lwp. To get this guarantee, we use tkill.

Modified the implementation of the tc_lock_lock in the RT library on Linux.
There was a possible ordering of threads that would result in the lock failing.
I didn't directly observe this ordering, but it could in theory cause problems.

9 years agoMore fixes for ProcControlAPI
Daniel McNulty [Wed, 26 Jan 2011 15:31:17 +0000 (09:31 -0600)]
More fixes for ProcControlAPI

Handling for a few cases of sending stops to exiting threads was missing.  The
first is the pre-exit of the initial thread. It wasn't being marked as exiting
and as such, ProcControl was waiting for pending stops that would never arrive.

The second case is where the stop and the pre-exit occur simultaneously (at
least from ProcControl's perspective). The generator processes the stop before
the pre-exit and as a result, when processing a pre-exit, an assertion was
failing because the thread was expected to be running instead of stopped. The
handling for this case requires setting a flag in the thread when the generator
sees an exit event so the assertion can check for this case.

Finally, when a pre-exit is received before a SIGSTOP (that may never come),
the pre-exit handler needs to mark the process stopped to maintain consistency
between the actual state of the process and the state maintained by
ProcControl.

Fixes a bug with proc stopper events (such as a Breakpoint) where a event
would get dropped on the floor when the handler thread attempted to handle
a proc stopper event with a registered callback. Since the event has
a registered callback, the handler cannot handle the event. At this point,
the event is not added back to the collection of proc stopper events. The
solution is to only remove the event from the collection when it can be
handled.

9 years agoMerge branch 'master' of ssh://git.dyninst.org/pub/dyninst
Madhavi Krishnan [Mon, 24 Jan 2011 18:17:45 +0000 (12:17 -0600)]
Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

9 years agoBluegene testsuite fix
Madhavi Krishnan [Mon, 24 Jan 2011 18:17:27 +0000 (12:17 -0600)]
Bluegene testsuite fix

Adding LD_FLAGS (export-dynamic) to ppc32_bgp mutatee makefile -
so that all the functions are exported.

9 years agoMerge branch 'master' of git.dyninst.org:/pub/dyninst
Matthew P. Legendre [Mon, 24 Jan 2011 17:53:54 +0000 (09:53 -0800)]
Merge branch 'master' of git.dyninst.org:/pub/dyninst

9 years agoRemove BlueGene build warning
Matthew P. Legendre [Mon, 24 Jan 2011 17:49:43 +0000 (09:49 -0800)]
Remove BlueGene build warning

9 years agoMakefiles for bluegene.
Madhavi Krishnan [Sat, 22 Jan 2011 09:50:37 +0000 (03:50 -0600)]
Makefiles for bluegene.

9 years agoMerge branch 'master' of ssh://git.dyninst.org/pub/dyninst
Madhavi Krishnan [Sat, 22 Jan 2011 09:42:57 +0000 (03:42 -0600)]
Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

9 years agoUpdating testsuite make files
Madhavi Krishnan [Sat, 22 Jan 2011 09:42:38 +0000 (03:42 -0600)]
Updating testsuite make files

This commit updates the tuples file and generated make files
for all the platforms based on my previous commit to spec-grouped.pl.

9 years agoBluegene testsuite fixes.
Madhavi Krishnan [Sat, 22 Jan 2011 09:37:16 +0000 (03:37 -0600)]
Bluegene testsuite fixes.

More fixes to spec for bluegene platform.

9 years agoMerge branch 'master' of legendre@git.dyninst.org:/pub/dyninst
Matthew P. Legendre [Sat, 22 Jan 2011 00:21:39 +0000 (16:21 -0800)]
Merge branch 'master' of legendre@git.dyninst.org:/pub/dyninst

Conflicts:

stackwalk/ppc32_bgp_ion/Makefile

9 years agoBuilt dedicated system for static binary library tracking
Matthew P. Legendre [Sat, 22 Jan 2011 00:16:45 +0000 (16:16 -0800)]
Built dedicated system for static binary library tracking

9 years agoNew debug prints to assist debugging
Matthew P. Legendre [Sat, 22 Jan 2011 00:16:26 +0000 (16:16 -0800)]
New debug prints to assist debugging

9 years agoFix attach hang on BlueGene.
Matthew P. Legendre [Sat, 22 Jan 2011 00:15:52 +0000 (16:15 -0800)]
Fix attach hang on BlueGene.

9 years agoFix libelf usage in BlueGene makefiles
Matthew P. Legendre [Sat, 22 Jan 2011 00:15:37 +0000 (16:15 -0800)]
Fix libelf usage in BlueGene makefiles

9 years agoBluegene testsuite fixes
Madhavi Krishnan [Fri, 21 Jan 2011 18:20:40 +0000 (12:20 -0600)]
Bluegene testsuite fixes

bgxlc compilers output statically linked binaries by default
unless -qnostaticlink flag is specified. As of now, dyninst
can rewrite only dynamically linked binaries on power platforms.
This commit adds -qnostaticlink flag to the testsuite makefile
generation.

9 years agoFix for bug in loading RT library during attach on Linux x86/x86_64.
Daniel McNulty [Fri, 21 Jan 2011 17:15:20 +0000 (11:15 -0600)]
Fix for bug in loading RT library during attach on Linux x86/x86_64.

To load the RT library into a process Dyninst has attached to, we
generate some code to load the library via libdl or to an internal libc
function, if libdl isn't in the process. The generated code was not
following the ABI and allowing space for a function to store local
variables below the stack pointer. Our base tramp code already takes
this possibility into account so the solution was to wrap this
generated code with the standard RPC header and trailer that internally
do a base tramp save and restore, respectively.

9 years agoTestsuite fix
Madhavi Krishnan [Wed, 19 Jan 2011 22:42:07 +0000 (16:42 -0600)]
Testsuite fix

The arguments to tests in rewriter mode was clobbered due to my
previous commit. Fixed.

9 years agoFixes to Dyninst (w/ ProcControlAPI) related to oneTimeCodes, eventHandling
Daniel McNulty [Wed, 19 Jan 2011 17:32:38 +0000 (11:32 -0600)]
Fixes to Dyninst (w/ ProcControlAPI) related to oneTimeCodes, eventHandling

Refactored oneTimeCodes to check error conditions and let the lower level
handled continuing or stopping a process after the oneTimeCode
completes.Synchronous oneTimeCodes require a full process stop and the RPC
thread is run (as provided by ProcControl) while the other threads remain
stopped.

Adding some code in event handling to correctly handle synchronous oneTimeCodes
executed from callbacks. To avoid general recursive event handling, the events
for these RPCs bypass the main event queue and handled separately from the any
other pending events.

Made handling of a user terminate more uniform.

Refactored loadLibrary to check error conditions

Cleaned up Linux-only headers

Added sanity checks so waitForStatusChange and pollForStatusChange cannot be
called from callbacks

The user-specified environment is now passed through to ProcControl. On create,
LD_PRELOAD is now utilized to load the RT library, where available.

9 years agoA few bug fixes/enhancements for ProcControlAPI
Daniel McNulty [Tue, 18 Jan 2011 21:30:34 +0000 (15:30 -0600)]
A few bug fixes/enhancements for ProcControlAPI

Adds a new event, ForceTerminate. A callback for this event is delivered
when a process exits after a user requests a process be terminated. It's
parent event is of type Terminate.

Fixes some bugs related to stopping a thread that is in the process of
exiting (i.e., after pre-Exit but before post-Exit). There is no guarantee
that an exiting thread will be delivered a pending stop, and as such, there
are a few corner cases that require different behavior if the thread is
exiting.

Added parameters to Process::createProcess and related methods to allow the
environment of the new process to be specified.

9 years agoMore ppc32_bgp changes
Madhavi Krishnan [Tue, 18 Jan 2011 19:33:32 +0000 (13:33 -0600)]
More ppc32_bgp changes

Adding checks for ppc32_bgp for platform specific code in
dyninstAPI, SymtabAPI and testsuite.

9 years agoAdding ppc32_bgp to make.config
Madhavi Krishnan [Tue, 18 Jan 2011 18:02:19 +0000 (12:02 -0600)]
Adding ppc32_bgp to make.config

9 years agoAdding new platform:ppc32_bgp
Madhavi Krishnan [Fri, 14 Jan 2011 15:23:56 +0000 (09:23 -0600)]
Adding new platform:ppc32_bgp

This commit adds a new platform - ppc32_bgp. For now,
ppc32_bgp is the same as ppc32_linux for components.
This will change when proccontrol is commited.

The only difference between ppc32_linux and ppc32_bgp is
in the testsuite. For ppc32_bgp, we build only rewriter mutatees
and run them on on the compuet nodes. This requires a new
environment variable called "DYNINST_BGP_PARTITION" to be set.
This env variable determines which BGP partition the rewritten
mutatees must be executed.

9 years agoChanges to support synchronous thread creation and deletion
Daniel McNulty [Mon, 10 Jan 2011 22:18:52 +0000 (16:18 -0600)]
Changes to support synchronous thread creation and deletion

Refactoring how thread information is stored in the RT library. Because
we are switching to synchronous thread creation and deletion, Dyninst now
needs to tell the RT library about new threads to support tramp guards.

Fixes for handling signals in multithreaded processes. There are cases where a
process shouldn't be continued after handling an event if it has more pending
events. Consequently, event handling will be more efficient because unnecessary
stops and continues will not be issued while handling consecutive events for
a process.

Fixes some problems with dynamic callsite events, user message events.

9 years agoFix a few ProcControlAPI bugs.
Daniel McNulty [Mon, 10 Jan 2011 19:31:15 +0000 (13:31 -0600)]
Fix a few ProcControlAPI bugs.

1) When a process is forked, refresh_libraries should be called so
the underlying AddressTranslate objects can be created for the new
process. This also means that the mem_state fork constructor should
not copy over libraries because they will be correctly created when
refresh_libraries is called.

2) Certain internal continues on Linux for a thread should not continue
the thread with a pending signal. This case occurs when a signal is
received after an event that is currently being handled and the
handling for this event requires an internal continue.

9 years agoStackwalker: Fix x86 stack pointer calculation
Todd Frederick [Mon, 10 Jan 2011 18:42:08 +0000 (12:42 -0600)]
Stackwalker: Fix x86 stack pointer calculation

9 years agoAIX build fix.
David Aeschlimann [Fri, 7 Jan 2011 16:00:26 +0000 (10:00 -0600)]
AIX build fix.

9 years agoAIX build fix
David Aeschlimann [Fri, 7 Jan 2011 15:50:34 +0000 (09:50 -0600)]
AIX build fix

9 years agoMerge branch 'master' into pcint
Daniel McNulty [Thu, 6 Jan 2011 19:05:11 +0000 (13:05 -0600)]
Merge branch 'master' into pcint

Conflicts:
common/src/addrtranslate-sysv.h
dyninstAPI/src/BPatch.C
dyninstAPI/src/aix.C
dyninstAPI/src/emit-x86.C
dyninstAPI/src/instPoint.C
dyninstAPI/src/linux-x86.C
dyninstAPI/src/linux.C
dyninstAPI/src/process.C
dyninstAPI/src/signalhandler.C
dyninstAPI/src/solaris.C
proccontrol/src/process.C
stackwalk/h/procstate.h
stackwalk/src/catamount-swk.C
stackwalk/src/linux-swk.h
stackwalk/src/procstate.C

9 years agoi386 build fix for dynC generated source files.
David Aeschlimann [Thu, 6 Jan 2011 17:16:51 +0000 (11:16 -0600)]
i386 build fix for dynC generated source files.

9 years agoAdded some handling for corner cases in the main event handling block.
Daniel McNulty [Thu, 6 Jan 2011 17:05:26 +0000 (11:05 -0600)]
Added some handling for corner cases in the main event handling block.

Refactors the RT library signal handling code to be less platform-specific.

Cleans up the state accessors so there isn't any confusion between
isTerminated and hasExited, change any uses of hasExited to isTerminated.

Fixes a bug in iRPC code generation so a stack frame is created and the
stack is not corrupted by iRPC code.

Changes remaining async event handling to be synchronous events. This
includes async events that are triggered by function calls into the
RT library.

Moves some static variables used by BPatch from PCEventHandler to
BPatch_libInfo.

Removes some busy-waiting from the thread tests as well as changes some
error conditions because callbacks are now delivered at different
times.

9 years agoAIX fix
David Aeschlimann [Thu, 6 Jan 2011 16:44:27 +0000 (10:44 -0600)]
AIX fix

9 years agoFixes a ProcControlAPI bug where if only a single thread is stopped
Daniel McNulty [Thu, 6 Jan 2011 16:12:24 +0000 (10:12 -0600)]
Fixes a ProcControlAPI bug where if only a single thread is stopped
when a callback is invoked, the user can request a process stop via
the return value and it will cause an assert.

9 years agoFixed release number error
David Aeschlimann [Tue, 4 Jan 2011 17:39:42 +0000 (11:39 -0600)]
Fixed release number error

9 years agoMerge branch 'master' of ssh://git.dyninst.org/pub/dyninst
David Aeschlimann [Tue, 4 Jan 2011 16:17:29 +0000 (10:17 -0600)]
Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

9 years agoMerge branch 'master' of ssh://git.dyninst.org/pub/dyninst
David Aeschlimann [Tue, 4 Jan 2011 16:15:25 +0000 (10:15 -0600)]
Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

Adds dynC commands to dyner.

Conflicts:
Makefile
dataflowAPI/src/debug_dataflow.C
dataflowAPI/src/debug_dataflow.h
dataflowAPI/src/slicing.C
dataflowAPI/src/stackanalysis.C
dyner/make.module.tmpl
dyner/src/cmdline.l
dyner/src/cmdline.y
dyner/src/dyner.C
symtabAPI/src/Function.C

9 years agoMerge branch 'master' of ssh://bill@git.dyninst.org/pub/dyninst
Bill Williams [Wed, 22 Dec 2010 20:22:56 +0000 (14:22 -0600)]
Merge branch 'master' of ssh://bill@git.dyninst.org/pub/dyninst

9 years agoIAPI opcode fix: refer to si/addic aliased instructions by primary addic opcode.
Bill Williams [Tue, 21 Dec 2010 19:36:59 +0000 (13:36 -0600)]
IAPI opcode fix: refer to si/addic aliased instructions by primary addic opcode.

9 years agoAdd XMM registers per ABI to call/return read/write sets on AMD64.
Bill Williams [Thu, 2 Dec 2010 21:17:32 +0000 (15:17 -0600)]
Add XMM registers per ABI to call/return read/write sets on AMD64.

9 years agoExit early, falling back to using current file for debug info, if section header...
Bill Williams [Thu, 2 Dec 2010 21:17:10 +0000 (15:17 -0600)]
Exit early, falling back to using current file for debug info, if section header string table is absent.

9 years agoImplement IA_IAPI copy methods
Andrew Bernat [Tue, 21 Dec 2010 21:30:58 +0000 (15:30 -0600)]
Implement IA_IAPI copy methods

9 years agoMerge branch 'master' of git.dyninst.org:/pub/dyninst
Andrew Bernat [Tue, 21 Dec 2010 20:47:00 +0000 (14:47 -0600)]
Merge branch 'master' of git.dyninst.org:/pub/dyninst

9 years agoFix corruption bug copying IA_IAPI instruction adapters
Andrew Bernat [Tue, 21 Dec 2010 20:44:19 +0000 (14:44 -0600)]
Fix corruption bug copying IA_IAPI instruction adapters

Conflicts:

parseAPI/src/ParserDetails.C

9 years agoAdding missed files in parseAPI previous commit.
Madhavi Krishnan [Tue, 21 Dec 2010 20:37:35 +0000 (14:37 -0600)]
Adding missed files in parseAPI previous commit.

9 years agoMerge branch 'master' of git.dyninst.org:/pub/dyninst
Andrew Bernat [Tue, 21 Dec 2010 19:48:45 +0000 (13:48 -0600)]
Merge branch 'master' of git.dyninst.org:/pub/dyninst

9 years agoMerge branch 'master' of ssh://git.dyninst.org/pub/dyninst
Madhavi Krishnan [Tue, 21 Dec 2010 19:36:11 +0000 (13:36 -0600)]
Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

9 years agoSymbolic expansion now returns an error code if we fail to translate an instruction...
Andrew Bernat [Tue, 21 Dec 2010 19:35:34 +0000 (13:35 -0600)]
Symbolic expansion now returns an error code if we fail to translate an instruction or skip a possible substitution due to loops or overlapping inputs.

9 years agoAdding findFuncs to parseAPI manual.
Madhavi Krishnan [Tue, 21 Dec 2010 19:27:32 +0000 (13:27 -0600)]
Adding findFuncs to parseAPI manual.

9 years agoAdding semantics for stbx (ppc32) instruction.
Madhavi Krishnan [Tue, 21 Dec 2010 19:25:26 +0000 (13:25 -0600)]
Adding semantics for stbx (ppc32) instruction.

9 years agoMerge branch 'master' of git.dyninst.org:/pub/dyninst
Drew Bernat [Tue, 21 Dec 2010 19:24:53 +0000 (14:24 -0500)]
Merge branch 'master' of git.dyninst.org:/pub/dyninst

9 years agoAdd PPC return analysis-specific slicing predicates; fixes segfault.
Drew Bernat [Tue, 21 Dec 2010 19:24:11 +0000 (14:24 -0500)]
Add PPC return analysis-specific slicing predicates; fixes segfault.

9 years agoIdentify shared code regions
Madhavi Krishnan [Tue, 21 Dec 2010 17:26:03 +0000 (11:26 -0600)]
Identify shared code regions

Adding functionality to look up functions
in parseAPI by region (start address and
end address). This is infrastructure to
identify shared code regions.

9 years agoCheck widen/end predicates in slicing; don't assert fail if a widen node is encounter...
Andrew Bernat [Mon, 20 Dec 2010 20:28:12 +0000 (14:28 -0600)]
Check widen/end predicates in slicing; don't assert fail if a widen node is encountered in symbolic expansion.

9 years agoMerge branch 'master' of git.dyninst.org:/pub/dyninst
Andrew Bernat [Mon, 20 Dec 2010 18:45:13 +0000 (12:45 -0600)]
Merge branch 'master' of git.dyninst.org:/pub/dyninst

9 years agoPrototype implementation of "unknown" default semantics for missing PPC instructions
Andrew Bernat [Mon, 20 Dec 2010 18:44:26 +0000 (12:44 -0600)]
Prototype implementation of "unknown" default semantics for missing PPC instructions

9 years agoMerge branch 'master' of ssh://git.dyninst.org/pub/dyninst
Madhavi Krishnan [Sun, 19 Dec 2010 22:27:53 +0000 (16:27 -0600)]
Merge branch 'master' of ssh://git.dyninst.org/pub/dyninst

9 years agoMisc power rewriter commit
Madhavi Krishnan [Sun, 19 Dec 2010 22:27:05 +0000 (16:27 -0600)]
Misc power rewriter commit

1) rlwinm instruction is usually used for setting index and
    not the table start address of a jump table. This was
    causing ambiguity in the backward dataflow graph parsing
    of jump table start address. Hence, removing rlwinm
    instruction from the dataflow graph for checking
    jump table start address.
2) dgfreg was using pointers to the registers, which is not unique.
   Changed to use the register ID itself, which will be unique.
3) Indented IA_powerDetails.C - hence git blame will have my
   name on many lines.

9 years agoFix issue where 32-bit mutatees were not being filtered out on platforms that can...
Matthew Legendre [Fri, 17 Dec 2010 18:08:50 +0000 (12:08 -0600)]
Fix issue where 32-bit mutatees were not being filtered out on platforms that can't build 32-bit

9 years agoAdds placeholders for 5 additional PowerPC instructions in DataFlowAPI.
Ray Chen [Thu, 16 Dec 2010 20:40:57 +0000 (15:40 -0500)]
Adds placeholders for 5 additional PowerPC instructions in DataFlowAPI.

The PowerPC translation function for Rose in DataFlowAPI was missing
a number of cases in its switch statement.  The translation code still
needs to be implemented, but this prevents an assert in the nightly
tests at UMD.

9 years agoPower bug fix
Madhavi Krishnan [Wed, 15 Dec 2010 03:29:19 +0000 (21:29 -0600)]
Power bug fix

Nasty little bug in power code generation.
While generating code for an indirect load of
a variable in a shared library, absolute offset
was being used instead of relative offset. Fixed.

9 years agoImplement handling for fork/exec/exit syscalls, and thread creation and exit.
Daniel McNulty [Tue, 14 Dec 2010 18:22:29 +0000 (12:22 -0600)]
Implement handling for fork/exec/exit syscalls, and thread creation and exit.

Also, updates the Makefile for x86 Linux to use the new internal process
control layer. Fixes a bug in code gen for iRPCs where an incorrect result
register is returned by AST code generation, which results in the iRPC handling
code grabbing the result of the RPC from the wrong register.

Includes some refactoring of the BPatch layer to simplify the handling of
system calls and also destruction of BPatch_process and BPatch_thread objects.

Fixed a race condition with waiting for processes to stop.
BPatch_process::isTerminated should not poll for events and before waiting for
events in BPatch::waitForStatusChange, we should check and make sure some
processes are running as a sanity check.

9 years agoREX.W overrides side prefix; fix incorrect decoding
Andrew Bernat [Tue, 14 Dec 2010 16:28:21 +0000 (10:28 -0600)]
REX.W overrides side prefix; fix incorrect decoding

9 years agoMerge branch 'athome'
Matthew Legendre [Mon, 13 Dec 2010 20:45:17 +0000 (14:45 -0600)]
Merge branch 'athome'

9 years agoBuild fix for AIX
Matt Legendre [Mon, 13 Dec 2010 20:41:53 +0000 (15:41 -0500)]
Build fix for AIX

9 years agoFix Windows build
U-azul\legendre [Mon, 13 Dec 2010 20:35:20 +0000 (12:35 -0800)]
Fix Windows build

9 years agoPower rewriter cleanup
Madhavi Krishnan [Mon, 13 Dec 2010 09:24:53 +0000 (03:24 -0600)]
Power rewriter cleanup

9 years agoMinor fixes
Madhavi Krishnan [Mon, 13 Dec 2010 09:16:02 +0000 (03:16 -0600)]
Minor fixes

1) Removing extraneous printf in dataflowAPI
2) Adding filename to error message when reintrumenting a file.
3) Cleanup power rewriter.

9 years agoMerge branch 'master' of git.dyninst.org:/pub/dyninst
Andrew Bernat [Fri, 10 Dec 2010 22:21:02 +0000 (16:21 -0600)]
Merge branch 'master' of git.dyninst.org:/pub/dyninst

9 years agoFixes for StackwalkerAPI on BlueGene
Matthew Legendre [Fri, 10 Dec 2010 18:16:56 +0000 (12:16 -0600)]
Fixes for StackwalkerAPI on BlueGene

9 years agoFix instrumentation side effects; we had been erroneously moving the PC when handling...
Andrew Bernat [Fri, 10 Dec 2010 15:14:23 +0000 (09:14 -0600)]
Fix instrumentation side effects; we had been erroneously moving the PC when handling a non-active stack frame. Fixes bug 1146

9 years agoMerge branch 'master' of legendre@git.dyninst.org:/pub/dyninst
Matthew P. Legendre [Fri, 10 Dec 2010 01:05:32 +0000 (17:05 -0800)]
Merge branch 'master' of legendre@git.dyninst.org:/pub/dyninst

9 years agoFixes for StackwalkerAPI on BlueGene
Matthew P. Legendre [Fri, 10 Dec 2010 01:05:07 +0000 (17:05 -0800)]
Fixes for StackwalkerAPI on BlueGene

9 years agoTurns off gap parsing for Dyninst's runtime library and removes compiler warnings
Kevin Roundy [Thu, 9 Dec 2010 20:06:19 +0000 (14:06 -0600)]
Turns off gap parsing for Dyninst's runtime library and removes compiler warnings

9 years agoWarning cleanup
Matthew P. Legendre [Tue, 7 Dec 2010 00:25:34 +0000 (16:25 -0800)]
Warning cleanup

9 years agoFixes for StackwalkerAPI on BlueGene
Matthew P. Legendre [Tue, 7 Dec 2010 00:25:22 +0000 (16:25 -0800)]
Fixes for StackwalkerAPI on BlueGene

9 years agox86 fix
Madhavi Krishnan [Mon, 6 Dec 2010 18:45:54 +0000 (12:45 -0600)]
x86 fix

isReturnInst is relevant only in power since a return instruction (blr) can
be a real return or indirect jump using LR. For x86, if the instruction
category is ReturnInsn, is it HAS to be a return. Hence, it is the same
as isReturn function.

9 years agoFix for vxWorks platform.
Ray Chen [Sun, 5 Dec 2010 21:32:55 +0000 (16:32 -0500)]
Fix for vxWorks platform.

Older 4.x versions of GCC cannot compare const_iters and regular iters.

9 years agoOptimize the x86/x86_64 stack alignment sequence.
Ray Chen [Sun, 5 Dec 2010 14:27:49 +0000 (09:27 -0500)]
Optimize the x86/x86_64 stack alignment sequence.
 - Only align the stack if we generate a function call or save the FP state.
 - If we must align the stack, only preserve the flags if they are live.

9 years agox86 build fix for previous commit
Madhavi Krishnan [Sun, 5 Dec 2010 02:46:21 +0000 (20:46 -0600)]
x86 build fix for previous commit

9 years agopowerpc rewriter commit
Madhavi Krishnan [Sat, 4 Dec 2010 23:32:52 +0000 (17:32 -0600)]
powerpc rewriter commit

This commit implements more accurate heuristics for parsing
powerpc jump tables using backward dataflow graph analysis.

This commit also implements heuristics and backward slicing
to determine if a blr instruction in a powerpc binary,
is a return or a jump table. This is specially relevant to BlueGene binaries.
To do slicing, an instruction adapter is always constructed/associated
with a specific block.

9 years agoForce FP saves
Madhavi Krishnan [Sat, 4 Dec 2010 01:49:14 +0000 (19:49 -0600)]
Force FP saves

As per user request, we are adding a force FP save option.
This will force FP registers to be saved. This is necessary because
right now, even if saveFP is set, analysis may incorrectly determine
no FP is ised and hence not save FP registers. This happens if
the instrumentation calls a function using FP in the rewriter case.
forceFPSave interface will not be published - since we hope to fix this for
the next release.

9 years agoEnable powerpc traps.
Madhavi Krishnan [Fri, 3 Dec 2010 23:53:02 +0000 (17:53 -0600)]
Enable powerpc traps.

1)This will cause sigtraps to be used for long jumps or when we do
  have free registers.
2)This will cause trap instructions to be used in placed of
  relocated instructions. This makes life easy for debugging when
 we have jumps into relocated code.

9 years agopowerpc instruction semantics
Madhavi Krishnan [Fri, 3 Dec 2010 23:39:05 +0000 (17:39 -0600)]
powerpc instruction semantics

Adding more instructions to powerpc semantics set.

9 years agoSlicing changes
Madhavi Krishnan [Fri, 3 Dec 2010 23:37:05 +0000 (17:37 -0600)]
Slicing changes

Slicing had a bug in labeling edges in the backward slicing case.
The edge from the instruction at which backward slicing
is applied, was labeled with the output of the instruction. Instead we
should create an edge for each of the inputs to the instruction (since
it is backward slicing) and label them based on the input.

9 years agoMinor commit
Madhavi Krishnan [Fri, 3 Dec 2010 23:31:23 +0000 (17:31 -0600)]
Minor commit

This commit includes many small changes:
1) Added semantics for si, subfz and ora powerpc instructions
2) Removed printf from dataflow Visitor
3) Added check to make sure we are not opening a
   rewritten binary using openFile. Opening rewritten file
   will cause symtabAPI and and parsing to fail.
4) Symtab was adding a new library dependency using the full
   path of the library. We should only add the library name
   without full path, so that LD_LIBRRAY_PATH of the user's
   environment will determine which library to use. This is
   very critical in bluegene type environment where the
   backend does not have access to the whole filesystem.

9 years agoHandful of tests passing in dynamic mode on Linux.
Daniel McNulty [Thu, 2 Dec 2010 18:28:05 +0000 (12:28 -0600)]
Handful of tests passing in dynamic mode on Linux.

This commit is a work in progress.

9 years agoMake symlinks local to the install directory, rather than including build residue.
Bill Williams [Thu, 2 Dec 2010 18:11:59 +0000 (12:11 -0600)]
Make symlinks local to the install directory, rather than including build residue.

9 years agoMake destination directories have absolute paths so that we don't screw up symlinks.
Bill Williams [Thu, 2 Dec 2010 16:59:46 +0000 (10:59 -0600)]
Make destination directories have absolute paths so that we don't screw up symlinks.

9 years agoRemove dead code (save_the_world, #if 0).
Bill Williams [Wed, 1 Dec 2010 16:44:27 +0000 (10:44 -0600)]
Remove dead code (save_the_world, #if 0).

9 years agoA few more fixes for RTlib naming.
Bill Williams [Wed, 1 Dec 2010 16:44:10 +0000 (10:44 -0600)]
A few more fixes for RTlib naming.

9 years agoAdd absolute conditionals and blrl to ppc semantics.
Bill Williams [Tue, 30 Nov 2010 19:11:27 +0000 (13:11 -0600)]
Add absolute conditionals and blrl to ppc semantics.

9 years agoAdd component versioning information to all components & filenames.
Bill Williams [Mon, 29 Nov 2010 23:23:18 +0000 (17:23 -0600)]
Add component versioning information to all components & filenames.

9 years agoChanges for library versioning; verified on linux/x86_64 and AIX
Bill Williams [Tue, 16 Nov 2010 20:04:33 +0000 (14:04 -0600)]
Changes for library versioning; verified on linux/x86_64 and AIX