Click here to Skip to main content
15,895,709 members
Articles / Programming Languages / C#

Static Code Analysis

Rate me:
Please Sign up or sign in to vote.
4.97/5 (34 votes)
15 Mar 2010CPOL16 min read 87.1K   1.1K   63  
A static code analyzer building method call networks + sample applications
This article describes the operation of a method-based static code analyzer for .NET that constructs in-memory method call networks of compiled assemblies. You will also see a concrete application of static code analysis to generate a website providing easy insights on a sample application.
using System;
using System.Collections;
using System.Collections.Generic;
using System.ComponentModel;
using System.Linq;
using System.Text;
using Arebis.CodeAnalysis.Static;
using System.Security.Permissions;

public static class HelperExtension
{
    public static IList<ModelMethod> Sorted(this IEnumerable<ModelMethod> methods)
	{
        List<ModelMethod> result = new List<ModelMethod>(methods);
		result.Sort(new MethodComparer());
		return result;
	}

    public static string DisplayString(this ModelMethod subject)
    {
        return subject.DeclaringType.Name + "." + subject.Name;
    }

    public static string ToFilename(this ModelMethod subject, string format)
	{
        string str = subject.Signature;
		str = str.Replace("<", "[");
        str = str.Replace(">", "]");
        str = str.Replace("*", "_");
        str = str.Replace("?", "_");
        str = str.Replace(":", "_");
        str = str.Replace(" ", "");
		return String.Format(format, str);
	}

    public static string ToLink(this ModelMethod subject, string format)
    {
        return subject.ToLink(format, null);
    }

    public static string ToLink(this ModelMethod subject, string format, object options)
    {
        StringBuilder sb = new StringBuilder();
        sb.Append("<a href=\"");
        sb.Append(subject.ToFilename(format));
        sb.Append("\"");
        foreach (PropertyDescriptor prop in TypeDescriptor.GetProperties(options))
            sb.AppendFormat(" {0}=\"{1}\"", prop.Name, prop.GetValue(options));
        sb.Append(">");
        sb.Append(subject.DisplayString());
        sb.Append("</a>");

        return sb.ToString();
    }

    public static string[] RequiredRoles(this ModelMethod subject)
    {
        List<string> roles = new List<string>();
        foreach (var item in Attribute.GetCustomAttributes(subject.MethodBase, typeof(PrincipalPermissionAttribute)))
            roles.Add(((PrincipalPermissionAttribute)item).Role);

        return roles.ToArray();
    }

    public static bool IsFullyImplemented(this ModelMethod subject)
    {
        return (subject.GetAllCallsMethods().WhereTagsContains("missingimplementationexception").Count() == 0);
    }
}

public class MethodComparer : System.Collections.Generic.IComparer<ModelMethod>
{
    int IComparer<ModelMethod>.Compare(ModelMethod left, ModelMethod right)
	{
		string leftname = (left.Name.Contains(".") ? left.Signature : left.DeclaringType.ToString() + "." + left.Signature);
		string rightname = (right.Name.Contains(".") ? right.Signature : right.DeclaringType.ToString() + "." + right.Signature);
		return leftname.CompareTo(rightname);
	}
}

By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.

If a file you wish to view isn't highlighted, and is a text file (not binary), please let us know and we'll add colourisation support for it.

License

This article, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)


Written By
Architect AREBIS
Belgium Belgium
Senior Software Architect and independent consultant.

Comments and Discussions