---
layout: fc_discuss_archives
title: Message 4 from Frama-C-discuss on August 2008
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] context depth and pointer
- Subject: [Frama-c-discuss] context depth and pointer
- From: jjduan at cs.utah.edu (Jianjun Duan)
- Date: Wed Aug 20 20:08:53 2008
Hi,
In changelog I see context depth mentioned with pointer
initialization. Can somebody points me to a paper or elaborate on it
please?
Thanks,
Jianjun