Skip to main content

Browse the archive

Revision 71f76bcf2eeb5498c3a10ed320fd10de150ac626 authored by Cole Lightfighter on 19 January 2018, 01:13:36 UTC, committed by Cole Lightfighter on 19 January 2018, 01:13:36 UTC 
Check metadata lengths for SolidityMetadata
 
Modified member functions of SolidityMetada to check against the length
of metadata on the end of runtime_bytecode and bytecode fields.

Part of #716
1 parent fad56db
Raw File
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"]
back to top