Memory limit about p2im HOT 5 CLOSED

FROM ubuntu:16.04
RUN mkdir -p /home/project
WORKDIR /home/project

# Setting up necessary packages
RUN apt-get update && \
    apt-get install -y git build-essential gcc-arm-none-eabi zip python3 wget

# Setting up p2im
RUN git clone https://github.com/RiS3-Lab/p2im.git && \
    cd p2im/  && \
    git submodule update --init && \
    git submodule update --remote && \
    make -C afl/

# As an example, setting up the Console firmware
RUN WORKING_DIR=/home/project/p2im/fuzzing/Console/0 && \
    mkdir -p ${WORKING_DIR} && \
    cd ${WORKING_DIR} && \
    cp /home/project/p2im/externals/p2im-real_firmware/binary/Console .

WORKDIR /home/project/p2im/fuzzing/Console/0

RUN cp -r /home/project/p2im/fuzzing/templates/seeds inputs && \
    cp /home/project/p2im/fuzzing/templates/fuzz.cfg.template fuzz.cfg

# Setting up the seed so doesn't crash immediately
RUN echo "asdf" > inputs/random

# Manually setting up fuzz.cfg too for Console example
RUN sed -i '19s/.*/base        = \/home\/project\/p2im/' fuzz.cfg && \
    sed -i '21s/.*/program     = Console/' fuzz.cfg && \
    sed -i '23s/.*/run         = 0/' fuzz.cfg && \
    sed -i '47s/.*/board       = FRDM-K64F/' fuzz.cfg && \
    sed -i '48s/.*/mcu         = MK64FN1M0VLL12/' fuzz.cfg && \
    sed -i '61s/.*/img         = %(working_dir)s\/Console/' fuzz.cfg && \
    sed -i '68s/.*/objdump     = \/usr\/bin\/arm-none-eabi-objdump/' fuzz.cfg

# Creating simple executable script
RUN echo "#!/bin/bash" > exec.sh && \
    echo "/home/project/p2im/model_instantiation/fuzz.py -c fuzz.cfg" >> exec.sh && \
    chmod +x exec.sh