adlint_cma
open source and free source code static analyzer
RUN apt-get update && \
apt-get install -y adlint
RUN apt-get update && \
apt-get install -y adlint
RUN apt-get update && \
apt-get install -y adlint