diff --git a/Dockerfile b/Dockerfile index 4ae1ece..2b2aae6 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,6 +1,7 @@ ## -*- docker-image-name: "libmatch" -*- FROM angr/angr MAINTAINER edg@cs.ucsb.edu +USER root RUN apt-get update && apt-get install -y sudo automake virtualenvwrapper python3-pip python3-dev python-dev build-essential libxml2-dev \ libxslt1-dev git libffi-dev cmake libreadline-dev libtool debootstrap debian-archive-keyring \ libglib2.0-dev libpixman-1-dev screen binutils-multiarch nasm vim libssl-dev diff --git a/bdsig/lmd.py b/bdsig/lmd.py index f9a63b4..8cc0d6e 100644 --- a/bdsig/lmd.py +++ b/bdsig/lmd.py @@ -150,6 +150,8 @@ def __init__(self, project, function): self.call_sites[n] = call_targets def __getattr__(self, a): + if a == "__getstate__" or a == "__setstate__": # to ensure correct pickling + raise AttributeError if "orig_function" in self.__dict__: return getattr(self.orig_function, a) else: