refactor(c): refactoring flex benchmarks (#50)

* refactor: flex-1 * refactor: flex-2 * refactor: flex-3 * refactor: flex-4 * refactor: flex-5 * refactor: flex-6 * refactor: remove old source codes
kupl · Nov 10, 2023 · a835fcd · a835fcd
1 parent b534cd2
commit a835fcd
Show file tree

Hide file tree

Showing 274 changed files with 330 additions and 69,485 deletions.
diff --git a/C/flex-1/.dockerignore b/C/flex-1/.dockerignore
@@ -0,0 +1,2 @@
+.dockerignore
+Dockerfile
diff --git a/C/flex-1/Dockerfile b/C/flex-1/Dockerfile
@@ -0,0 +1,30 @@
+FROM ubuntu:20.04
+
+RUN export DEBIAN_FRONTEND=noninteractive \
+    && apt-get update \
+    && apt-get install -y --no-install-recommends \
+        autoconf \
+        automake \
+        autopoint \
+        bison \
+        build-essential \
+        ca-certificates \
+        flex \
+        git \
+        jq \
+        libtool \
+        texinfo \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN mkdir -p /workspace
+COPY . /workspace
+WORKDIR /workspace
+
+RUN export BUGGY_PATH=$(cat metadata.json | jq -r ".buggyPath") \
+    && git clone https://github.com/westes/flex.git $BUGGY_PATH \
+    && cd $BUGGY_PATH \
+    && git checkout d3de49f84224b18c5287653f20525291b24cc26e \
+    && ./autogen.sh \
+    && ./configure
+
diff --git a/C/flex-1/metadata.json b/C/flex-1/metadata.json
@@ -0,0 +1,23 @@
+{
+    "language": "c",
+    "id": "flex-1",
+
+    "buggyPath": "buggy",
+    "referencePath": null,
+
+    "buildCommand": "make -j`nproc`",
+    "testCommand": null,
+
+    "categories": ["safety", "memory-leak"],
+
+    "leak": {
+        "source": {
+            "file": "src/buf.c",
+            "line": 175
+        },
+        "sink": {
+            "file": "src/buf.c",
+            "line": 182
+        }
+    }
+}
diff --git a/C/flex-2/.dockerignore b/C/flex-2/.dockerignore
@@ -0,0 +1,2 @@
+.dockerignore
+Dockerfile
diff --git a/C/flex-2/Dockerfile b/C/flex-2/Dockerfile
@@ -0,0 +1,30 @@
+FROM ubuntu:20.04
+
+RUN export DEBIAN_FRONTEND=noninteractive \
+    && apt-get update \
+    && apt-get install -y --no-install-recommends \
+        autoconf \
+        automake \
+        autopoint \
+        bison \
+        build-essential \
+        ca-certificates \
+        flex \
+        git \
+        jq \
+        libtool \
+        texinfo \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN mkdir -p /workspace
+COPY . /workspace
+WORKDIR /workspace
+
+RUN export BUGGY_PATH=$(cat metadata.json | jq -r ".buggyPath") \
+    && git clone https://github.com/westes/flex.git $BUGGY_PATH \
+    && cd $BUGGY_PATH \
+    && git checkout d3de49f84224b18c5287653f20525291b24cc26e \
+    && ./autogen.sh \
+    && ./configure
+
diff --git a/C/flex-2/metadata.json b/C/flex-2/metadata.json
@@ -0,0 +1,23 @@
+{
+    "language": "c",
+    "id": "flex-1",
+
+    "buggyPath": "buggy",
+    "referencePath": null,
+
+    "buildCommand": "make -j`nproc`",
+    "testCommand": null,
+
+    "categories": ["safety", "memory-leak"],
+
+    "leak": {
+        "source": {
+            "file": "src/buf.c",
+            "line": 196
+        },
+        "sink": {
+            "file": "src/buf.c",
+            "line": 203
+        }
+    }
+}
diff --git a/C/flex-3/.dockerignore b/C/flex-3/.dockerignore
@@ -0,0 +1,2 @@
+.dockerignore
+Dockerfile
diff --git a/C/flex-3/Dockerfile b/C/flex-3/Dockerfile
@@ -0,0 +1,30 @@
+FROM ubuntu:20.04
+
+RUN export DEBIAN_FRONTEND=noninteractive \
+    && apt-get update \
+    && apt-get install -y --no-install-recommends \
+        autoconf \
+        automake \
+        autopoint \
+        bison \
+        build-essential \
+        ca-certificates \
+        flex \
+        git \
+        jq \
+        libtool \
+        texinfo \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN mkdir -p /workspace
+COPY . /workspace
+WORKDIR /workspace
+
+RUN export BUGGY_PATH=$(cat metadata.json | jq -r ".buggyPath") \
+    && git clone https://github.com/westes/flex.git $BUGGY_PATH \
+    && cd $BUGGY_PATH \
+    && git checkout d3de49f84224b18c5287653f20525291b24cc26e \
+    && ./autogen.sh \
+    && ./configure
+
diff --git a/C/flex-3/metadata.json b/C/flex-3/metadata.json
@@ -0,0 +1,23 @@
+{
+    "language": "c",
+    "id": "flex-1",
+
+    "buggyPath": "buggy",
+    "referencePath": null,
+
+    "buildCommand": "make -j`nproc`",
+    "testCommand": null,
+
+    "categories": ["safety", "memory-leak"],
+
+    "leak": {
+        "source": {
+            "file": "src/dfa.c",
+            "line": 285
+        },
+        "sink": {
+            "file": "src/dfa.c",
+            "line": 298
+        }
+    }
+}
diff --git a/C/flex-4/.dockerignore b/C/flex-4/.dockerignore
@@ -0,0 +1,2 @@
+.dockerignore
+Dockerfile
diff --git a/C/flex-4/Dockerfile b/C/flex-4/Dockerfile
@@ -0,0 +1,30 @@
+FROM ubuntu:20.04
+
+RUN export DEBIAN_FRONTEND=noninteractive \
+    && apt-get update \
+    && apt-get install -y --no-install-recommends \
+        autoconf \
+        automake \
+        autopoint \
+        bison \
+        build-essential \
+        ca-certificates \
+        flex \
+        git \
+        jq \
+        libtool \
+        texinfo \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN mkdir -p /workspace
+COPY . /workspace
+WORKDIR /workspace
+
+RUN export BUGGY_PATH=$(cat metadata.json | jq -r ".buggyPath") \
+    && git clone https://github.com/westes/flex.git $BUGGY_PATH \
+    && cd $BUGGY_PATH \
+    && git checkout d3de49f84224b18c5287653f20525291b24cc26e \
+    && ./autogen.sh \
+    && ./configure
+
diff --git a/C/flex-4/metadata.json b/C/flex-4/metadata.json
@@ -0,0 +1,23 @@
+{
+    "language": "c",
+    "id": "flex-1",
+
+    "buggyPath": "buggy",
+    "referencePath": null,
+
+    "buildCommand": "make -j`nproc`",
+    "testCommand": null,
+
+    "categories": ["safety", "memory-leak"],
+
+    "leak": {
+        "source": {
+            "file": "src/misc.c",
+            "line": 109
+        },
+        "sink": {
+            "file": "src/misc.c",
+            "line": 111
+        }
+    }
+}
diff --git a/C/flex-5/.dockerignore b/C/flex-5/.dockerignore
@@ -0,0 +1,2 @@
+.dockerignore
+Dockerfile
diff --git a/C/flex-5/Dockerfile b/C/flex-5/Dockerfile
@@ -0,0 +1,30 @@
+FROM ubuntu:20.04
+
+RUN export DEBIAN_FRONTEND=noninteractive \
+    && apt-get update \
+    && apt-get install -y --no-install-recommends \
+        autoconf \
+        automake \
+        autopoint \
+        bison \
+        build-essential \
+        ca-certificates \
+        flex \
+        git \
+        jq \
+        libtool \
+        texinfo \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN mkdir -p /workspace
+COPY . /workspace
+WORKDIR /workspace
+
+RUN export BUGGY_PATH=$(cat metadata.json | jq -r ".buggyPath") \
+    && git clone https://github.com/westes/flex.git $BUGGY_PATH \
+    && cd $BUGGY_PATH \
+    && git checkout d3de49f84224b18c5287653f20525291b24cc26e \
+    && ./autogen.sh \
+    && ./configure
+
diff --git a/C/flex-5/metadata.json b/C/flex-5/metadata.json
@@ -0,0 +1,23 @@
+{
+    "language": "c",
+    "id": "flex-1",
+
+    "buggyPath": "buggy",
+    "referencePath": null,
+
+    "buildCommand": "make -j`nproc`",
+    "testCommand": null,
+
+    "categories": ["safety", "memory-leak"],
+
+    "leak": {
+        "source": {
+            "file": "src/sym.c",
+            "line": 120
+        },
+        "sink": {
+            "file": "src/sym.c",
+            "line": 120
+        }
+    }
+}
diff --git a/C/flex-6/.dockerignore b/C/flex-6/.dockerignore
@@ -0,0 +1,2 @@
+.dockerignore
+Dockerfile
diff --git a/C/flex-6/Dockerfile b/C/flex-6/Dockerfile
@@ -0,0 +1,30 @@
+FROM ubuntu:20.04
+
+RUN export DEBIAN_FRONTEND=noninteractive \
+    && apt-get update \
+    && apt-get install -y --no-install-recommends \
+        autoconf \
+        automake \
+        autopoint \
+        bison \
+        build-essential \
+        ca-certificates \
+        flex \
+        git \
+        jq \
+        libtool \
+        texinfo \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN mkdir -p /workspace
+COPY . /workspace
+WORKDIR /workspace
+
+RUN export BUGGY_PATH=$(cat metadata.json | jq -r ".buggyPath") \
+    && git clone https://github.com/westes/flex.git $BUGGY_PATH \
+    && cd $BUGGY_PATH \
+    && git checkout d3de49f84224b18c5287653f20525291b24cc26e \
+    && ./autogen.sh \
+    && ./configure
+
diff --git a/C/flex-6/metadata.json b/C/flex-6/metadata.json
@@ -0,0 +1,23 @@
+{
+    "language": "c",
+    "id": "flex-1",
+
+    "buggyPath": "buggy",
+    "referencePath": null,
+
+    "buildCommand": "make -j`nproc`",
+    "testCommand": null,
+
+    "categories": ["safety", "memory-leak"],
+
+    "leak": {
+        "source": {
+            "file": "src/sym.c",
+            "line": 180
+        },
+        "sink": {
+            "file": "src/sym.c",
+            "line": 180
+        }
+    }
+}
diff --git a/safety/C/projects/flex/.indent.pro b/safety/C/projects/flex/.indent.pro