v3.0.16

Fix python2.7 paths due to Py2.7 EOL (#723)

* Fix python2.7 paths due to Py2.7 EOL

v3.0.15

Fix the maze example with KLEE (#719)

The x86 and x86_64 binaries are re-compiled with clang-10 from the
vcpkg, cxx-common libraries, because KLEE would fail with segfault if
the LLVM bitcode is lifted from binaries compiled with GCC (10.2.0). It
may be worth looking into why KLEE fails with the bitcodes lifted from
GCC compiled binaries in this case.

The AArch64 binary is re-compiled with aarch64-linux-gnu-gcc (10.2.0),
but mcsema-lift-10.0 fails with the following message.

```
F1228 23:41:38.079257 120074 Analyze.cpp:491] Check failed: dest_size < 64u (64 vs. 64)
*** Check failure stack trace: ***
    @          0x11601cc  google::LogMessageFatal::~LogMessageFatal()
    @           0x785c3c  anvill::XrefExprFolder::VisitTrunc()
    @           0x786108  anvill::XrefExprFolder::VisitICmp()
    @           0x660113  mcsema::(anonymous namespace)::LowerXrefs()::$_1::operator()()
    @           0x65b388  mcsema::(anonymous namespace)::LowerXrefs()
    @           0x65a458  mcsema::OptimizeModule()
    @           0x657bdc  mcsema::LiftCodeIntoModule()
    @           0x66e9ee  main
    @     0x7ffb0e016152  __libc_start_main
    @           0x61bafe  _start
    @              (nil)  (unknown)
```

I have not tried compiling the AArch64 binary with clang
(`-target aarch64-linux-gnu`). It may be worth trying and see if the
resulting bitcode works with KLEE.

v3.0.14

MacOS CI: Fix Python tool test with PYTHONPATH (#718)

v3.0.13

Support vcpkg build system (#717)

First step towards transitioning away from cxx-common's `pkgman.py` dependency management system towards compatibility with and use of vcpkg (https://github.com/microsoft/vcpkg) to manage dependencies.

This commit attempts to support both the new and old build systems until we can phase out the old completely.

Please see the updated remill, anvill, and trailofbits/cxx-common repositories to learn how to fetch the required dependencies.

v3.0.12

Disable building any 32-bit runtimes. (#712)

v3.0.11

Fixes one egregious bug in how we alias registers. What would happen …

v3.0.10

Update .remill_commit_id

v3.0.9

Fixes issue identified by BoLei related to a function that has no ass…

v3.0.8

Fixes Issue #704 (#705)

v3.0.7

Update dyninst frontend (#701)

* cmake: Set c++ standard to c++17.

* dyninst: Properly set is_referenced_by_data if bb is target of data reference.

* dyninst: Always set some value to is_reference_by_data field.

Co-authored-by: Peter Goodman <[email protected]>