Add support for aarch64

 - Implement an architecture description for aarch64

 - Add endianness information to the `Arch` class.

 - Move conversion from flags register to logical flag values from the
   calling code to the concrete targets (LLDB and GDB), which is the
only point where we (have to) deal in flags registers.

 - Handle assembly/disassembly errors in serialization of
   SymbolicTransform

 - Move ProgramState's `arch` attribute into ReadableProgramState.

Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com>
Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>

1 files changed, 12 insertions, 0 deletions

diff --git a/nix.shell b/nix.shell
new file mode 100644
index 0000000..00fef51
--- /dev/null
+++ b/nix.shell
@@ -0,0 +1,12 @@
+{ pkgs ? import <nixpkgs> {} }:
+pkgs.mkShell {
+    nativeBuildInputs = with pkgs; [
+        python311
+        python311Packages.pip
+        virtualenv
+
+        gcc gnumake binutils cmake ninja pkg-config
+        musl qemu swig4
+        gdb
+    ];
+}