diff --git a/Makefile b/Makefile index bb924fd5..79caad3b 100644 --- a/Makefile +++ b/Makefile @@ -120,6 +120,13 @@ valgrind: Makefile mongoose.h mongoose.c $(CC) $(SRCS) $(VALGRIND_CFLAGS) $(LDFLAGS) -g -o unit_test $(VALGRIND_RUN) ./unit_test +misra: + cppcheck --addon=misra -DMG_ARCH=MG_ARCH_UNIX -DMG_ENABLE_PACKED_FS=1 -DMG_ENABLE_SSI=1 mongoose.c >/tmp/x 2>&1 + cppcheck --addon=misra -DMG_ARCH=MG_ARCH_CUSTOM -DMG_ENABLE_LINES=1 -DTLS=MG_TLS_BUILTIN -DMG_ENABLE_TCPIP=1 mongoose.c >>/tmp/x 2>&1 + cppcheck --addon=misra --clang -DMG_ENABLE_LINES=1 -DTLS=MG_TLS_BUILTIN -DMG_ENABLE_TCPIP=1 mongoose.c >>/tmp/x 2>&1 + cppcheck --addon=misra --clang -DMG_ENABLE_LINES=1 -DMG_ENABLE_SSI=1 mongoose.c >>/tmp/x 2>&1 + less /tmp/x + armhf: ASAN= armhf: IPV6=0 armhf: CC = $(DOCKER) mdashnet/armhf cc