+++
title = "Finite Memory CompCert "
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a9"]
forwardlinks = ["3a10a"]
zettelid = "3a10"
+++

One main problem with CompCert is that it does not have a finite memory
model, as at it's base it is infinite. However, there have been various
works to try and remedy this.