http://groups.google.com/group/cxprop-users This is the users group for people using the cXprop tool. -0-0T::Z Google Groups Nathan Cooprider ncoopri...@gmail.com 2009-01-31T20:02:23Z http://groups.google.com/group/cxprop-users/browse_frm/thread/8cdfd961d3036327

Aurélien - <br> I looked into the two bugs you mentioned today. Unfortunately, the first <br> problem occurs inside CIL's parser and not in cXprop. The current <br> version of CIL still does not deal with labels for operands in inline <br> assembly, and adding that feature to their parser is beyond what I have <br> time to do. If you were to get it updated in CIL, I could then update

Nathan Cooprider c...@cs.utah.edu 2008-04-15T18:41:17Z http://groups.google.com/group/cxprop-users/browse_frm/thread/e0f88a013a193764

Thanks to a bug report from Fernando Magno Quintao Pereira at UCLA, I <br> found out the posted CComp distribution has a number of bugs. I updated <br> the distribution and the instructions. Sorry.

Nathan Cooprider c...@cs.utah.edu 2008-03-13T16:24:44Z http://groups.google.com/group/cxprop-users/browse_frm/thread/3d5e286c63aac0df

I put up pdf versions of a number of the talks we have done about cXprop <br> and CComp. <br> <a target="_blank" rel=nofollow href="http://www.cs.utah.edu/~coop/research/cxprop">[link]</a> <br> <a target="_blank" rel=nofollow href="http://www.cs.utah.edu/~coop/research/ccomp">[link]</a>

Nathan Cooprider c...@cs.utah.edu 2008-01-21T17:24:29Z http://groups.google.com/group/cxprop-users/browse_frm/thread/2ae62ffe8fe93823

John Regehr presented the research behind cXprop this past weekend at <br> the Washington University in St. Louis. You can find the slides here: <br> <a target="_blank" rel=nofollow href="http://www.cs.utah.edu/~coop/research/cxprop/washu08.ppt">[link]</a>

Nathan Cooprider c...@cs.utah.edu 2007-12-13T16:57:05Z http://groups.google.com/group/cxprop-users/browse_frm/thread/5003538ffdbaa34b

John Regehr submitted a bug last night that led me to discover I had <br> accidentally written over the native machine dependency file. So anybody <br> running cXprop for normal desktop programs has probably been getting <br> incorrect answers. <br> This bug has been lurking since I added the 8051 machine dependency file

Nathan Cooprider c...@cs.utah.edu 2007-11-20T17:25:31Z http://groups.google.com/group/cxprop-users/browse_frm/thread/c778909bd62709bc

John Regehr presented our work for cXprop in Sydney Australia earlier <br> this month. The slides for that presentation can be found here: <br> <a target="_blank" rel=nofollow href="http://www.cs.utah.edu/~coop/research/cxprop/sydney07.ppt">[link]</a> <br> Most of this describes work we have already done, but the triggering and <br> sequencing ideas are future work.

jonathan heusser jonathan.heus...@googlemail.com 2007-11-16T11:55:02Z http://groups.google.com/group/cxprop-users/browse_frm/thread/12008014cb24bde6

Hi Nathan, <br> <p>I'm posting here in case other users have similar questions. <br> Is there a way to output the abstract variable state after the <br> analysis ? E.g. when using the interval domain it would output { l = <br> [0 20], h = [1 19], ... } or something. <br> <p>thanks <br> Jonathan

Nathan Cooprider c...@cs.utah.edu 2007-11-13T20:49:53Z http://groups.google.com/group/cxprop-users/browse_frm/thread/95d1f2512c0ffb38

I updated the source download on the CComp website. So the current <br> version of cXprop/CComp can be found here: <br> <a target="_blank" rel=nofollow href="http://www.cs.utah.edu/~coop/research/ccomp/cil-cXprop.tgz">[link]</a>

Nathan Cooprider c...@cs.utah.edu 2007-11-01T20:33:35Z http://groups.google.com/group/cxprop-users/browse_frm/thread/5ad413e66c66b3b0

I put John's slides for his upcoming talk on RAM compression on the website: <br> <a target="_blank" rel=nofollow href="http://www.cs.utah.edu/~coop/research/ccomp/">[link]</a>

Nathan Cooprider c...@cs.utah.edu 2007-04-27T19:57:48Z http://groups.google.com/group/cxprop-users/browse_frm/thread/e41621fe9162fcd9

I just put together a web page which has simplified binaries and scripts <br> for running our static analysis tools on TinyOS code. It is designed to <br> help people get started easier at using our tools: <br> <a target="_blank" rel=nofollow href="http://www.cs.utah.edu/~coop/research/tools/">[link]</a>

Nathan Cooprider c...@cs.utah.edu 2007-04-26T21:07:13Z http://groups.google.com/group/cxprop-users/browse_frm/thread/b59f300bd5521a0b

I have just expanded the CComp web page to be somewhat useful: <br> <a target="_blank" rel=nofollow href="http://www.cs.utah.edu/~coop/research/ccomp">[link]</a> <br> CComp extends cXprop to do offline compression of on-chip RAM. There is <br> a link on the page to our paper describing this technique. <br> If you haven't visited the cXprop page in a while, it is still here:

Nathan Cooprider c...@cs.utah.edu 2006-02-18T15:33:47Z http://groups.google.com/group/cxprop-users/browse_frm/thread/71f2120af17c21c1

Testing again.

Nathan Cooprider c...@cs.utah.edu 2005-09-14T20:38:14Z http://groups.google.com/group/cxprop-users/browse_frm/thread/b98a1038004b6562

This is a test message.