Skip to content

Commit

Permalink
nvc-fuzz: new
Browse files Browse the repository at this point in the history
  • Loading branch information
NikLeberg committed Jan 5, 2025
1 parent d652fba commit fd3735a
Show file tree
Hide file tree
Showing 2 changed files with 61 additions and 0 deletions.
55 changes: 55 additions & 0 deletions nvc-fuzz/Dockerfile
Original file line number Diff line number Diff line change
@@ -0,0 +1,55 @@
FROM ubuntu:24.04

ARG DEBIAN_FRONTEND=noninteractive
ENV LANG=C.UTF-8 \
LC_ALL=C.UTF-8 \
LC_CTYPE=C.UTF-8

# Update ca-certificates to fix failing server certificate verification.
RUN <<EOF
set -e
apt-get -q -y update
apt-get -q -y install --no-install-recommends \
apt-transport-https ca-certificates
apt-get clean
rm -rf /var/lib/apt/lists/*
update-ca-certificates
EOF

# Dependencies to build and run NVC.
RUN <<EOF
set -e
apt-get -q -y update
apt-get -q -y install --no-install-recommends \
git \
wget \
automake \
autoconf \
check \
flex \
bison \
libdw-dev \
libffi-dev \
pkg-config \
zlib1g-dev \
libzstd-dev \
tcl-dev \
libreadline-dev
apt-get clean
rm -rf /var/lib/apt/lists/*
EOF

# Dependencies for CMAKE based LibFuzzer.
RUN <<EOF
set -e
apt-get -q -y update
apt-get -q -y install --no-install-recommends \
git \
llvm \
clang \
libclang-rt-dev \
ninja-build \
cmake
apt-get clean
rm -rf /var/lib/apt/lists/*
EOF
6 changes: 6 additions & 0 deletions nvc-fuzz/containers.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
[
{
"name": "nvc-fuzz",
"tags": "libfuzzer"
}
]

0 comments on commit fd3735a

Please sign in to comment.