DotNetKicks.com : Stories kicked by wesnerm

Loops in Static Analysis, Part 2

Sat, 21 Jul 2007 16:15:52 GMT

This story illustrates how aspects of loop handling in the NStatic static analysis tool.

Methods in Static Analysis, Part 1

Sat, 21 Jul 2007 16:12:32 GMT

Virtual methods are handled elegantly in the upcoming static analysis tool, NStatic.

Equation Solving with Static Analysis

Fri, 22 Jun 2007 07:51:40 GMT

With the static analysis tool NStatic, it is easy to solve various types of equations.

Continuation Passing Style & Anonymous Methods

Fri, 09 Mar 2007 13:31:02 GMT

C# anonymous methods allow programming in the versatile continuation passing style to be done conveniently, concisely and elegantly.

Anonymous Recursion

Fri, 09 Mar 2007 02:16:01 GMT

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.

Can a .NET code analysis tool approach human intelligence?

Fri, 09 Feb 2007 08:16:01 GMT

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.

Smart C# Static Analysis Tool

Thu, 08 Feb 2007 06:01:01 GMT

A presentation was recently given at a user group meeting about smart new static analysis tool for C#.