
Andy Moser wrote:
It would be really great if we could get the CVS version of the PPL from you!
We have a paper deadline coming very soon so maybe you could give us a snapshot as soon as possible? :) We don't mind if it's not perfect, we just want to see if it works with the tool we developed as soon as possible.
Dear Andy,
a snapshot of what will become PPL 0.10 is available from
ftp://ftp.cs.unipr.it/pub/ppl/snapshots
Notice that it is advisable to run a `make check', especially if you use an old compiler (the PPL code seems to be particularly good at triggering compiler bugs). Please, let us know of any anomalies and do not hesitate to come back to us if you need advice on how to use the MIP_Problem class. Please, direct all correspondence to ppl-devel@cs.unipr.it. All the best,
Roberto
P.S. Concerning the paper and your research on malware detection, we are very curious about it. When the paper is finished, please send us one copy. We also have a web page where we list applications of the PPL: is is at http://www.cs.unipr.it/ppl/Applications/ If you find the PPL useful for your research purposes, we would appreciate a citation of the original paper about the library:
@InProceedings{BagnaraRZH02, Author = "R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill", Title = "Possibly Not Closed Convex Polyhedra and the {Parma Polyhedra Library}", Booktitle = "Static Analysis: Proceedings of the 9th International Symposium", Address = "Madrid, Spain", Editor = "M. V. Hermenegildo and G. Puebla", Publisher = "Springer-Verlag, Berlin", Series = "Lecture Notes in Computer Science", Volume = 2477, ISBN = "3-540-44235-9", Pages = "213--229", Year = 2002, URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraRZH02.pdf" }
participants (1)
-
Roberto Bagnara