# memory-models
Memory models in C for researching static compiler analysis