(Binary Analysis) Fixed use-def bug in symbolic semantics

* Current instruction was sometimes added as a definer when it
  shouldn't have been added.
(Binary Analysis) Updated use-def answers
(Binary Analysis) Changed filter for semantics test results

* The old filter wasn't working because the size of the address
  replacement text depended on the size of the original address,
  which varied across machines (and probably even runs on the
  same machine).
(SQLite3) Fixed compile error on 32-bit platforms
(Binary Analysis) Fixed compile error for 32-bit platforms
(Binary Analysis) Replaced a couple HT with SP
(Binary Analysis) Fixed a test filter bug