cXprop/CComp: reporting 2 bugs

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

	Updated instructions for CComp
	Thanks to a bug report from Fernando Magno Quintao Pereira at UCLA, I found out the posted CComp distribution has a number of bugs. I updated the distribution and the instructions. Sorry. By Nathan Cooprider  - Apr 15 2008 - 1 new of 1 message

	New pdfs
	I put up pdf versions of a number of the talks we have done about cXprop and CComp. [link] [link] By Nathan Cooprider  - Mar 13 2008 - 1 new of 1 message

	New slides!
	John Regehr presented the research behind cXprop this past weekend at the Washington University in St. Louis. You can find the slides here: [link] By Nathan Cooprider  - Jan 21 2008 - 1 new of 1 message

	Substantial update pending
	John Regehr submitted a bug last night that led me to discover I had accidentally written over the native machine dependency file. So anybody running cXprop for normal desktop programs has probably been getting incorrect answers. This bug has been lurking since I added the 8051 machine dependency file... more » By Nathan Cooprider  - Dec 13 2007 - 2 new of 2 messages

	Sydney talk
	John Regehr presented our work for cXprop in Sydney Australia earlier this month. The slides for that presentation can be found here: [link] Most of this describes work we have already done, but the triggering and sequencing ideas are future work.... more » By Nathan Cooprider  - Nov 20 2007 - 1 new of 1 message

	output of state
	Hi Nathan, I'm posting here in case other users have similar questions. Is there a way to output the abstract variable state after the analysis ? E.g. when using the interval domain it would output { l = [0 20], h = [1 19], ... } or something. thanks Jonathan By jonathan heusser  - Nov 16 2007 - 3 new of 3 messages

	Updated version
	I updated the source download on the CComp website. So the current version of cXprop/CComp can be found here: [link] By Nathan Cooprider  - Nov 13 2007 - 1 new of 1 message

	John's talk on CComp
	I put John's slides for his upcoming talk on RAM compression on the website: [link] By Nathan Cooprider  - Nov 1 2007 - 1 new of 1 message

	CIL tools for TinyOS
	I just put together a web page which has simplified binaries and scripts for running our static analysis tools on TinyOS code. It is designed to help people get started easier at using our tools: [link] By Nathan Cooprider  - Apr 27 2007 - 1 new of 1 message