diff options
-rw-r--r-- | Dockerfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile index 36f45121..b881c7c8 100644 --- a/Dockerfile +++ b/Dockerfile @@ -61,3 +61,6 @@ RUN export REAL_CXX=g++-10 && export CC=gcc-10 && \ RUN echo 'alias joe="jupp --wordwrap"' >> ~/.bashrc RUN echo 'export PS1="[afl++]$PS1"' >> ~/.bashrc ENV IS_DOCKER="1" + +COPY --from=aflplusplus/afl-dyninst /usr/local/lib/libdyninstAPI_RT.so /usr/local/lib/libdyninstAPI_RT.so +COPY --from=aflplusplus/afl-dyninst /afl-dyninst/libAflDyninst.so /usr/local/lib/libAflDyninst.so |