New sections

More manual updates

Updated manuals to 9.0 cover page

Symtab manual bug fixes: escape all underscores

Symtab manual updates.

Proper support for extended ELF machine types.

common: try process_vm_readv/writev for Linux bulk access

These syscalls can read/write entire blocks of memory in one syscall,
rather than using a series of word-sized ptrace peek/poke requests.

However, not all kernels have these (ENOSYS), and they don't bypass page
protection (EFAULT), so the ptrace way is still required as a fallback.

Fix typo in filling loop entries

Current implementation of non-returning function analysis
require parsing call edges before parsing call fallthrough edges.

common: rewrite caching in Linux P_cplus_demangle()

This had a bug where a last_typed value was saved even for parameter
includeTypes==false, where cplus_demangle opts lacked DMGL_PARAMS.
Similarly, the nativeCompiler parameter wasn't considered at all for
caching.

This caused strange issues in boost::multi_index, where its internal
rehashing was sometimes allocating buffers incorrectly for its buckets.
This was because Symbol->getTypedName() was returning different values
depending on how P_cplus_demangle was cached, and silently changing keys
in a map is no good at all.

P_cplus_demangle caching now requires an exact match on all three input
parameters before returning the saved result.

Fencepost error fixed, from John Mellor-Crummey at Rice.

ICC detection enabled under CMake, from Rashawn Knapp at Intel.

ParseAPI manual update

Window build fix

This commit merges my various changes in parsing to master,
including machine learning based gap parsing, new jump table analysis
and fixes to our existing tail call heuristics.
It also includes changes made to slicing code to support the new jump table analysis,
where users now have a better control to stop slicing
when their analysis has achieved their goals
and can choose to include control flow dependencies into slice.
Lastly, the ParseAPI manual is updated accordingly.

Merge branch 'master' into parsing

Conflicts:
dataflowAPI/src/slicing.C

Always use cache in slicing, but clear the cache when jump table is reoslved on one branch

dataflowAPI: use boost::bind() instead of bind<void>()

With boost 1.58, the boost::bind<void>() in Slicer::getPredecessors()
gave an "error: call of overloaded 'bind[...]' is ambiguous".

Every other bind in dyninst uses plain boost::bind(), which does its own
inspection of return type.  That works well in this case too, even with
older boost versions.

Debug output cleanning and ParseAPI manual update

Priorize existing call fallthrough edges over any jumps to increase the effectiveness of tail call heurisitcs

If a non-function symbol points to code sections, then the pointed range is not code and do not apply gap parsing to it

Change slice interface to allow choose whether control flow dependenc or stack analysis is needed

Handle aliasing

Fix conflicts between caching and stopping slicing

Fix semantics of invert operation

Handle instruction xchg, where the relations between the oeprands are reversed

When an indirect jump is deferred for analysis, we may need to look for the correct block containing the jump and the correct block may overlap with some other blocks

If we ask about ABI on a register we do not care about in ABI, like st1, we should return error code rather than assertion

fix handling thunks

One byte read can produce bound [0,255], but it is possible that an one byte read is a jump table read. Only generate bound [0,255] when no jump table is found.

Merge branch 'master' into parsing

Conflicts:
common/src/dyn_regs.C
parseAPI/src/Parser.C
parseAPI/src/ParserDetails.h
proccontrol/src/int_process.h

BSF and BSR instructions can produce bounds for jump tables

Defensive mode debugging fixes.

This commit removes excess debugging and logging code from defensive mode.

Defensive mode dynamic fixes.

This commit includes a few fixes. First, it adds a callback for changing
permissions of write-protected pages (pages are write protected by default
in defensive mode). Second, it excludes IAT symbols from function parsing.
These symbols are function pointers that were previously being parsed as
code. Last, this commit improves our dynamic parsing abilities, resulting
in fewer defensive mode crashes.

Various defensive mode fixes.

This commit provides various minor fixes to defensive mode. For example,
this enables defensive parsing and includes new debugging assert
statements.

Make PC's getThreadLocalAddress interface const

Revert to default-off logs

Don't add names (notably, from DWARF) that duplicate substrings of symbol-based names.

De-static some unnecessary statics

Remove dead code

More inline fixes

Inline function handling: de-aggregate FunctionBase, add getName to functionBase for primary name, have a bunch of actual function interfaces virtual in FunctionBase rather than monolithically in Aggregate

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

Conflicts:
dyninstAPI/src/ast.C

Merge branch 'temp'

modified:   dyninstAPI/src/ast.C

Merge branch 'master' of /p/paradyn/development/xmeng/dyninstapi/dyninst into HEAD

Conflicts:
dyninstAPI/src/ast.C

modified:   dyninstAPI/src/ast.C

Merge branch 'master' of /p/paradyn/development/xmeng/dyninstapi/dyninst

Conflicts:
dyninstAPI/src/ast.C

modified:   dyninstAPI/src/ast.C
modified:   dyninstAPI/src/emit-x86.h
modified:   dyninstAPI/src/emitter.h

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

Conflicts:
dyninstAPI/src/ast.C

modified:   dyninstAPI/src/ast.C
modified:   dyninstAPI/src/emit-x86.h
modified:   dyninstAPI/src/emitter.h

Merge branch 'master' into parsing

Merge branch 'IndirectControlFlow' into parsing

Conflicts:
symtabAPI/src/Symtab.C

update sw

Merge branch 'arm64' of feta.cs.wisc.edu:/p/paradyn/development/xi/Dyninst/dyninst into arm64

fix registerMap.c

Merge branch 'arm64' of feta.cs.wisc.edu:/p/paradyn/development/xi/Dyninst/dyninst into arm64

remove warning

remove warning

remove warning

Merge branch 'arm64' of feta.cs.wisc.edu:/p/paradyn/development/xi/Dyninst/dyninst into arm64

comment #error

resolve conflicts

fix warning defines

modified for swk

change struct to classes

fixes some arm compile issues on x86

Move x86-specific emitters out of Emitter class

Define cap_stack_mods and properly limit stack mods to x86,x86_64

pull from feta

rebased and tests passes

Temporary aarch64 fixes

proccontrol: all tests passed. Solution II is used to solve arm kernel bug.

added branch reg for emulated ss

Initial cmake fixes

proccontrol: all tests passed. Solution II is used to solve arm kernel bug.

solved proccontrol mt bug by simple solution.

added branch reg for emulated ss

pc works in sp, mp mode, but mt mode failed

new file:   .syntastic_cpp_config
new file:   common/h/Display
new file:   common/h/FileType
new file:   common/h/Initial
new file:   common/h/Others
modified:   common/h/dyn_regs.h
modified:   common/src/arch-aarch64.C
modified:   common/src/arch-aarch64.h
modified:   common/src/dyn_regs.C
modified:   dyninstAPI/src/RegisterConversion-aarch64.C
modified:   dyninstAPI/src/codegen-aarch64.C
modified:   dyninstAPI/src/debug.C
modified:   dyninstAPI/src/registerSpace.h
modified:   elf/src/SystemTap.C
new file:   proccontrol/.syntastic_cpp_config
modified:   proccontrol/CMakeLists.txt
modified:   proccontrol/h/PCErrors.h
new file:   proccontrol/src/Display
new file:   proccontrol/src/FileType
new file:   proccontrol/src/Initial
new file:   proccontrol/src/Others
modified:   proccontrol/src/arm_process.C
modified:   proccontrol/src/arm_process.h
modified:   proccontrol/src/linux.C
modified:   proccontrol/src/loadLibrary/codegen-aarch64.C
modified:   proccontrol/src/mmapalloc.C
modified:   proccontrol/src/pcerrors.C
modified:   proccontrol/src/process.C
modified:   proccontrol/src/snippets.h
modified:   proccontrol/src/unix.C
modified:   stackwalk/src/aarch64-swk.C
new file:   syscalls/unistd-by-platform/Linux/Arch_aarch64/unistd.h

modified:   common/CMakeLists.txt
modified:   common/h/dyn_regs.h
modified:   common/src/arch-aarch64.C
modified:   common/src/arch-aarch64.h
modified:   common/src/arch.h
modified:   common/src/dyn_regs.C
modified:   dataflowAPI/src/ABI.C
modified:   dataflowAPI/src/RegisterMap.C
modified:   dyninstAPI/CMakeLists.txt
modified:   dyninstAPI/src/BPatch_snippet.C
new file:   dyninstAPI/src/RegisterConversion-aarch64.C
new file:   dyninstAPI/src/Relocation/Widgets/CFWidget-aarch64.C
modified:   dyninstAPI/src/Relocation/Widgets/CFWidget.h
modified:   dyninstAPI/src/arch-forward-decl.h
modified:   dyninstAPI/src/ast.C
modified:   dyninstAPI/src/binaryEdit.C
new file:   dyninstAPI/src/codegen-aarch64.C
new file:   dyninstAPI/src/codegen-aarch64.h
modified:   dyninstAPI/src/codegen.h
new file:   dyninstAPI/src/emit-aarch64.h
new file:   dyninstAPI/src/inst-aarch64.C
new file:   dyninstAPI/src/inst-aarch64.h
modified:   dyninstAPI/src/legacy-instruction.h
new file:   dyninstAPI/src/linux-aarch64.C
new file:   dyninstAPI/src/linux-aarch64.h
modified:   dyninstAPI/src/linux.h
modified:   dyninstAPI/src/mapped_object.C
new file:   dyninstAPI/src/parse-aarch64.C
modified:   dyninstAPI/src/registerSpace.C
modified:   dyninstAPI/src/registerSpace.h
new file:   dyninstAPI/src/stackwalk-aarch64.C
modified:   dyninstAPI/src/vxworks.h
modified:   dyninstAPI_RT/CMakeLists.txt
modified:   dyninstAPI_RT/src/RTcommon.c
modified:   dyninstAPI_RT/src/RTlinux.c
new file:   dyninstAPI_RT/src/RTstatic_ctors_dtors-aarch64.c
new file:   dyninstAPI_RT/src/RTthread-aarch64-asm.S
new file:   dyninstAPI_RT/src/RTthread-aarch64-asm.s
new file:   dyninstAPI_RT/src/RTthread-aarch64.c
modified:   parseAPI/CMakeLists.txt
modified:   parseAPI/h/CFGModifier.h
modified:   parseAPI/src/IA_IAPI.C
modified:   parseAPI/src/IA_IAPI.h
new file:   parseAPI/src/IA_aarch64.C
new file:   parseAPI/src/IA_aarch64.h
new file:   parseAPI/src/IA_aarch64Details.C
new file:   parseAPI/src/IA_aarch64Details.h
modified:   parseAPI/src/IA_platformDetailsFactory.C
new file:   parseAPI/src/InstructionSource-aarch64.C
modified:   parseAPI/src/SymLiteCodeSource.C
modified:   parseAPI/src/SymtabCodeSource.C
modified:   proccontrol/src/arm_process.C
modified:   stackwalk/CMakeLists.txt
new file:   stackwalk/src/aarch64-swk.C
new file:   stackwalk/src/linux-aarch64-swk.C

modified:   cmake/cap_arch_def.cmake
modified:   common/h/dyn_regs.h
new file:   common/src/arch-aarch64.C
new file:   common/src/arch-aarch64.h
modified:   common/src/arch.h
modified:   common/src/dyn_regs.C
modified:   dwarf/src/dwarfHandle.C
modified:   proccontrol/CMakeLists.txt
new file:   proccontrol/src/arm_process.C
new file:   proccontrol/src/arm_process.h
modified:   proccontrol/src/linux.C
modified:   proccontrol/src/linux.h
new file:   proccontrol/src/loadLibrary/codegen-aarch64.C
modified:   symtabAPI/CMakeLists.txt
modified:   symtabAPI/src/emitElfStatic-aarch64.C
modified:   symtabAPI/src/relocationEntry-elf-aarch64.C

modified:   symtabAPI/CMakeLists.txt
new file:   symtabAPI/src/emitElfStatic-aarch64.C
modified:   symtabAPI/src/emitElfStatic.C
new file:   symtabAPI/src/relocationEntry-elf-aarch64.C

Initial cmake fixes

patch 2

Testing stack mods build fix

proccontrol: all tests passed. Solution II is used to solve arm kernel bug.

Handle complex LEA instructions in stack analysis.

Existing stack analysis only handled LEA instructions with a single source
register. This ignores LEA instructions where the source is an SIB
expression. A new transfer func, sibFunc, has been added, and the apply()
and accumulate() functions have been updated to properly handle this new
transfer function.

Update StackAnalysis::handleMov to handle non register-register moves.

Updated StackAnalysis::handleAddSub to also operate on non-SP registers.

Redefine StackAnalysis::handleDefault to round a register to TOP or BOTTOM,
instead of always setting to BOTTOM.

Modify StackAnalysis::findDefinedHeights to include registers with a height of BOTTOM.

In stack analysis, add handlers for sign- and zero-extend instructions.

Extend stack analysis transfer functions to handle targets that should be
"rounded" to TOP or BOTTOM.

This annotate transfer functions that have the following characteristic:
if target is TOP, keep as TOP
else, target must be set to BOTTOM
E.g., sign-extending a register:
  if the register had an uninitialized stack height (TOP),
    the sign-extension has no effect
  if the register had a valid or notunique (BOTTOM) stack height,
    the sign-extension must result in a BOTTOM stack height

Redefine delta and abs to be of type long in StackAnalysis::TransferFunc

Bug fixes for arithmetic operations for StackAnalysis::Height

Previously, most arithmetic involving TOP returned TOP. This is not
correct, and the operators have been updated accordingly.

Add += operator for StackAnalysis::Height

Add sensitivity analysis for stack modifications.

This sensitivity analysis determines which instructions access
relocated stack memory or stack memory shifted due to modifications;
these instructions are updated during relocation to access the new
stack locations (via a new StackModWidget).

Added insnCodeGen::modifyDisp, which modifies the displacement encoded in an instruction.

Implement stack modifications.

Stack modifications allow users to modify the stack frame layout by
inserting, removing, or moving stack space. Stack modifications are
based on the abstraction of stack locations, not the contents of
these locations. Further, we provide the ability to insert
stack canaries or to randomize the DWARF-provided local variables
in a stack frame.

Define >, <=, >=, and - operators for StackAnalysis::Height

Add several fortran functions to list of known non-returning functions

Record the frameOffset as an absolute offset in VariableLocation (in addition to the existing relative offset)

Add flag to codeGen class to generate instrumentation code without baseTramp saves and restores.