Kick Spy!, Kick Zeitgeist and Kick Widgets
wesnerm.blogs.com — This story illustrates how aspects of loop handling in the NStatic static analysis tool. read more...
wesnerm.blogs.com — Virtual methods are handled elegantly in the upcoming static analysis tool, NStatic. read more...
wesnerm.blogs.com — With the static analysis tool NStatic, it is easy to solve various types of equations. read more...
wesnerm.blogs.com — C# anonymous methods allow programming in the versatile continuation passing style to be done conveniently, concisely and elegantly. read more...
wesnerm.blogs.com — Anonymous recursion for lambda expressions and anonymous delegates in C# can be implemented using an implementation of the Y Combinator as well as a more efficient procedural approach with assignment. This article also explains how the use of the technique for representation lambda expressions renditions of values changed by loops in the static analysis tool, NStatic. read more...
wesnerm.blogs.com — Can NStatic achieve some semblance of a human-like intelligence, with performance that is indistinguishable from a code reviewer with no prior experience with the code base? There are three important ingredients that bring the tool closer to that dream: Symbolic manipulation, interprocedural analysis, and the application of general abstract principles rather than specific rules. read more...
wesnerm.blogs.com — A presentation was recently given at a user group meeting about smart new static analysis tool for C#. read more...
Sponsored Link: www.carlist.ie
Ads via The Lounge