|
This guide is intended to introduce the reader to DOC and help get new users comfortable with the framework to begin editing it's code. This guide does not go through any in-depth discussions of abstraction interpretation or the abstract stack graph, both of which DOC relies on. For that, we ask the reader to review the previously published papers. For detailed documentation of the DOC source code, see the DOC JavaDoc documentation. To quickly see DOC in action, jump to the quick-start guide. This document does not attempt to cover everything. There will be a lot of unanswered questions. I apologize for this, but due to time constraints, this had to be kept brief. If you have any questions that are not answered here, you can refer to the program documentation. You can also send me an email at mpv@ull.edu, and I'll offer whatever assistance I can. Your questions/feedback will also help improve this document. |