Frama-C 22 beta also runs on macOS 11.0.1 Beta ("Big Sur")
This might be of minor interest but Titanium beta also runs on the latest beta-version of Apple's upcoming macOS 11.0 release. I only checked WP.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information