Introduce Infer static analyzer to the CI pipeline #379
Conversation
The infer image in use is hosted on DockerHub, which is built and pushed to sysprog21 by us since Infer's upstream image is very outdated at the time of writing. The infer image size is around 470 MB.
Fix the issue "Dead Store. The value written to `&target_reg` is never used."
I am unaware that the Arm64-based host will be run during the static analysis phase, as I didn't specify |
Can you rebuild Infer static analysis tool with |
henrybear327
force-pushed
the
ci/add_infer
branch
from
caf9610
to
06ab1e6
Compare
henrybear327
changed the title
henrybear327
changed the title
I can give this a try, but I have no guarantee on this. |
|
If Clang scan-build already makes sense to CI, do we need Infer? Can you show the considerations? |
|
The build-infer.sh invokes Reference: The Growth of the OCaml Distribution |
The previous Docker Image contained only C and Python analysis capability, but now with the release build, Java is also included. Based on prior experience, Java can be excluded by passing in parameters, but some changes to |
| shell: bash | ||
| - name: run scan-build without JIT | ||
| run: make clean && make distclean && scan-build -v -o ~/scan-build --status-bugs --use-cc=clang --force-analyze-debug-code --show-description -analyzer-config stable-report-filename=true -enable-checker valist,nullability make ENABLE_EXT_F=0 ENABLE_SDL=0 ENABLE_JIT=0 | ||
| - name: run scan-build with JIT | ||
| run: make clean && make distclean && scan-build -v -o ~/scan-build --status-bugs --use-cc=clang --force-analyze-debug-code --show-description -analyzer-config stable-report-filename=true -enable-checker valist,nullability make ENABLE_EXT_F=0 ENABLE_SDL=0 ENABLE_JIT=1 | ||
|
|
||
| static-analysis-infer: |
There was a problem hiding this comment.
Don't create a new entry. Use the existing one instead.
|
The infer image pipeline broke recently (node11 now has strict internet bandwidth restrictions), and the effort to maintain an image is a bit cumbersome. Thus, closing this PR for now. |
The Infer Docker Image in use is hosted on Docker Hub, which was built and pushed to sysprog21 by us since Infer's latest upstream release is very outdated at the time of writing.
The docker image size is around 470 MB, after numerous attempts to reduce its size from 3GB.
This PR also fixes issues reported by Infer. (The value written to
&target_regis never used.)