spatch
semantic patching tool for C
RUN apt-get update && \
apt-get install -y coccinelle
RUN apt-get update && \
apt-get install -y coccinelle
RUN apt-get update && \
apt-get install -y coccinelle
RUN dnf install -y coccinelle
RUN apt-get update && \
apt-get install -y coccinelle