v6.8.5
Added support for memory safety checks.
Modified subprojects (since v6.8.2):
frontends/c-frontend
xcfa/c2xcfa
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli
Added support for memory safety checks.
Modified subprojects (since v6.8.2):
frontends/c-frontend
xcfa/c2xcfa
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli