Hi Erich, On Wed, Mar 3, 2010 at 8:21 AM, <klee-dev at erichocean.otherinbox.com> wrote: > Interesting papers! I love the work being done here. > > I've noticed now in three different papers that Klee is being continuously > extended, but the code is not available. I myself have been doing a port to > LLVM 2.7, as well as to 64-bits. It seems like better co-ordination would > benefit all of us so we can focus more on using Klee in novel ways, rather > than independently making Klee itself better. Is there a repository with > your changes that I simply don't have access to? Is there an issue getting > committer access to the Klee repository at llvm.org?
I will push the changes to KLEE to work with LLVM 2.7 fairly soon, I just want to get some more testing in. 64-bit support is in and working as far as I know, please file bugs if you encounter problems. Aside from that, the standard policy we follow on the LLVM project is to send patches to the commit list. I don't get a lot of time to work on KLEE these days, but I will (eventually) respond to patches, and if people step up and consistently contribute good stuff getting them commit access is no problem. - Daniel > > Kiee is obviously useful and I would hope we could all develop it further > out in the open. Even a GitHub repository would go a long way to allowing us > to share improvements and do some basic issue tracking. Any ideas? > > Best, Erich > > On Wed, Mar 3, 2010 at 11:21 AM, Cristian Zamfir (cristian.zamfir at epfl.ch) > wrote: >> >> Hi, >> >> We would like to draw your attention to two new papers from our group >> that will appear in EuroSys 2010. ?Both of these papers build on Klee, >> so you may find them interesting. >> >> Reverse Engineering of Binary Device Drivers with RevNIC?( >> http://dslab.epfl.ch/pubs/revnic ) describes a tool that takes?a >> closed-source binary driver, automatically reverse engineers its >> logic, and synthesizes a new driver that implements the exact same >> hardware protocol as the original driver.?The synthetic driver can be >> targeted for a different OS or the same OS. >> >> Execution Synthesis: A Technique for Automated Software Debugging?( >> http://dslab.epfl.ch/pubs/esd ) describes a technique that takes a >> program + a bug report and automatically produces an explanation and >> an execution of the program that leads to the reported bug symptoms. >> >> Best regards, >> Cristi >> _______________________________________________ >> klee-dev mailing list >> klee-dev at keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >> > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
