« Vocabulary for "Modeling, Optimization and Computation for Software Verification" by Roozbehani et al | Main | The delisting of SGI »
October 05, 2005
Writing a debugger for C# in C#
The goal here is to turn a C# debugger for C# into a C# model checker for C#. Such a thing is similar to the Java PathFinder or our own model checker called Estes. It looks like we can hijack the Microsoft mdbg sample to do our bidding. Mostly we just need a way to get and set variable and registe values (including the program counter, yikes)
Here's a hard to find tip on how to read the code.
Posted by jones at October 5, 2005 09:42 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)