Loops in Static Analysis, Part 2(wesnerm.blogs.com)

submitted by wesnerm(220) 4 years, 10 months ago

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

add a comment |category: C# |Views: 3

tags: another

Methods in Static Analysis, Part 1(wesnerm.blogs.com)

submitted by wesnerm(220) 4 years, 10 months ago

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

add a comment |category: C# |Views: 2

tags: another

Equation Solving with Static Analysis(wesnerm.blogs.com)

submitted by wesnerm(220) 4 years, 11 months ago

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

add a comment |category: C# |Views: 5

tags: another

Continuation Passing Style & Anonymous Methods(wesnerm.blogs.com)

submitted by wesnerm(220) 5 years, 2 months ago

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

2 comments |category: C# |Views: 59

tags: AnonymousMethods another

Anonymous Recursion(wesnerm.blogs.com)

submitted by wesnerm(220) 5 years, 2 months ago

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...

1 comment |category: C# |Views: 47

tags: AnonymousRecursion LamdaExpressions C# Recursion another

Can a .NET code analysis tool approach human intelligence?(wesnerm.blogs.com)

submitted by JudahGabriel(814) 5 years, 3 months ago

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...

1 comment |category: Products |Views: 13

tags: HumanIntelligence NStatic analysis static C# another

Smart C# Static Analysis Tool(wesnerm.blogs.com)

submitted by wesnerm(220) 5 years, 3 months ago

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

1 comment |category: C# |Views: 478

tags: another