Revision 461da57ea3a9b30c20b52d7bcded863d680f3fcd authored by feliam on 27 February 2018, 00:09:34 UTC, committed by GitHub on 27 February 2018, 00:09:34 UTC
* Array value configurable. 8,16,32..256 bits (not prefixed to 8) * Test Array256->256 * Remove old 8 bit assumptions * Add arrayProxy copy constructors and remove old 8 bit assumptions * remove old 8 bit assumptions * remove old 8 bit assumptions * Better ArrayProxy special case handling * Fix tests * Review fixes * review fix * fix gas variable * Review fixes * Fix vm.gas access
1 parent a3ee31e
Dockerfile
FROM ubuntu:16.04
MAINTAINER JP Smith
RUN apt-get -y update && \
DEBIAN_FRONTEND=noninteractive apt-get -y install python-pip git && \
git clone https://github.com/trailofbits/manticore.git && \
cd manticore && \
pip install .
RUN useradd -m manticore
USER manticore
WORKDIR /home/manticore
ENV HOME /home/manticore
CMD ["/bin/bash"]
Computing file changes ...
