(Binary Analysis) Function index starting address was wrong

The AsmFunctionIndex class computed the wrong address for the lowest
address of a function.
(Binary Simulator) If-then-else is evaluated in symbolic context

* The demo overrides the "ite" RISC operation.

* The ite condition is converted to a symbolic expression

* If we cannot determine whether the condition is true or false,
  then we dispatch the decision to the Robin layer's ite_merge
  function.

* Added a demo paragraph to Robin::domains_for_instruction()
  that shows how to force x86 conditional branch instructions
  to be evaluated in the symbolic context.
(vulnerabilitySeeding) updating to most recent version
(Binary Simulator) Fixed bug in demo readMemory function

* The MultiDomainDemo's readMemory function read multi-byte
  values from memory as if it were running on a big-endian machine.

* The --debug=mem switch works for the MultiDomainDemo now.
(Binary Semantics) Tighten results for a few interval operations

Things that have better results are:

* The carry-output for addWithCarries

* The result from the and_ operation

* The xor_ when both operands are concrete
(Binary Simulator) Set initial ESP to an arbitrary concrete value
(Binary Simulator) Robin uses file for branch prediction
(Binary Simulator) Switch semantic domains according to a file
Merge remote-tracking branch 'llnl/master' into simulator
(Binary Analysis) Updated test answers for commit f78a33c
(Binary Analysis) Updated test answers for commit a2e2bdd
(Empty) Previous commit not picked up by Jenkins
(Binary Analysis) More documentation for instruction semantics
(Binary Simulator) Changed the API for disassembling process image

The caller may pass an explicit memory map to the disassembler in
order to disassemble just part of a process image.
(Binary Simulator) Disassembly failure doesn't stop the simulator

Old behavior: when the simulator failed to fetch an instruction
(usually because the specimen's EIP is corrupt or unknown) it
would dump the specimens core and then abort().

New behavior: instead of the simulator aborting, it rethrows
the Disassembler::Exception.  A core dump is still generated
for the specimen and the specimen is effectively dead, but
the user can catch the exception, adjust the offensive EIP
value, and then resume the specimen as if it never dumped core.

Old behavior was that when simulator dumps the specimen's core
it would also dump its own core (via abort()).  New behavior
is that the simulator dumps the specimen's core and then re-throws
the
(Memory Map) Bug fix for MemoryMap::read1()

This function didn't always stop reading at the end of a segment.
The bug was triggered when a large segment was split into multiple
segments but the original data buffer was not resized (because it
was also being used by other segments).
(Binary Simulator) First version of binary clone detection

You must apply the CloneDetection.patch to your clean ROSE
source tree in order to use the clone detection analysis.
(Binary Simulator) User chosen input values for fuzz testing

Only the integer values are used; pointers not used yet.
(Binary Analysis) Fixed bug in interval semantics unsignedExtend()

The lo and hi interval ranges were backward in the case when
unsignedExtend is being used to truncate a value.
(Binary Simulator) Just moving some declarations around