Rv32emu

In order to leverage the latest Infer features to check all C/C++ and Python source code in rv32emu, we need to compile it from source, since at the time of writing, the official release version is stuck at v1.1.0 from May, 2021. The daily build is triggered and pushed to sysprog21’s Docker Hub infer repo at UTC+8 0:00 every day. Notice that this Docker image only runs on x86. The dockerfile Here are the dockerfiles behind each of the daily build....

This dockerfile didn’t make it into the upstream repo because of “the specific utilization context of Docker images, which are designed to streamline deployment processes for particular objectives, rather than encompassing a comprehensive solution”. But nevertheless, I am using it for my day-to-day development on my M1 Macbook, and I find it useful since it won’t pollute my MacOS and also provides Linux-like environment. Hopefully you will find this useful, too!...