VB & Other .NET Languages

Send me mail if you are interested in beta testing experimental Visual Basic or IL+PDB support (for other .NET languages including C++/CLR--please specify language) if and when I do include it in an NStatic beta. I don't know if I'll be able to handle DLR-based languages. There's a slight chance

---

Read more » Jul 26, 2007, 4:17PM
NStatic

Omniscient Debugging

Bill Lewis of Tufts University, who is a computer scientist who has worked on natural language processing, gave a fascinating Google TechTalks lecture on "Debugging Back in Time." He also has a page dedicated to this new idea of Omniscient Debugging, where the debugger knows everything. The omniscient debugger records every

---

Read more » Jul 22, 2007, 12:26PM
NStatic

Methods, Part 1

Method handling is difficult in static analysis. I will describe in a few parts some of the issues that I have had to deal with. I demonstrated in earlier posts my handling of recursive functions in Loops, Part 1. In this post, I will show how I elegantly handle virtual

---

Read more » Jul 21, 2007, 3:26PM
NStatic

NStatic Usability

I have invested the past three weeks into the NStatic user interface, polishing it up and considering how it will eventually be used. I didn't feel that the previous user interface was acceptable. I'll take it to beta when it feels just right; I don't think it make sense to

---

Read more » Jul 18, 2007, 12:23PM
NStatic

Loops, Part 2

This is the second in a multi-part series on loop handling, which will be followed by treatments on methods, state, and other interesting areas of static analysis. I have tried to be as general as possible in my code analysis, while still remaining efficient, such as in how I deal with

---

Read more » Jul 18, 2007, 11:53AM
NStatic