---
layout: fc_discuss_archives
title: Message 86 from Frama-C-discuss on November 2013
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] math vs. bits
- Subject: [Frama-c-discuss] math vs. bits
- From: dcok at grammatech.com (David Cok)
- Date: Tue, 12 Nov 2013 10:05:45 -0500
- In-reply-to: <CAOH62Jg0jH0QtviV=MR=Pary82jQ2Ow6XtkrvcPOAkFULWS0qg@mail.gmail.com>
- References: <527C59A7.1040804@cs.utah.edu> <528173A8.8070301@inria.fr> <CAOH62Jg0jH0QtviV=MR=Pary82jQ2Ow6XtkrvcPOAkFULWS0qg@mail.gmail.com>
Pascal,
I've been experimenting with the Value analysis plug-in.
But what I would really like is to be able to interact with it from my
own plug-in, asking for and reporting the value set for specific program
variables. Is this possible? Do you have any sample code that would get
me started?
- David