Click here to Skip to main content
Click here to Skip to main content
Add your own
alternative version

Static Code Analysis

, 15 Mar 2010
A static code analyzer building method call networks + sample applications.
CodeAnalyzerAndToDoSample.zip
Generator
bin
.noclean
Arebis.CodeAnalysis.Static.dll
Arebis.CodeGeneration.dll
Arebis.CodeGeneration.VisualStudio.dll
Arebis.CodeGenerator.dll
Arebis.Common.dll
CGen.exe
Content.cst
Content.cst.gen
COperation.cst
COperation.cst.gen
files
GeneratorMain.cst
GeneratorMain.cst.gen
Index.cst
Index.cst.gen
IndexTop.cst
IndexTop.cst.gen
SOperation.cst
SOperation.cst.gen
UIOperation.cst
UIOperation.cst.gen
Output
SampleApp
LocalTestRun.testrunconfig
ToDoApplication
Infrastructure
Properties
Service References
ToDoContract
Properties
ToDoSample.vsmdi
ToDoService
Entities.edmx
Infrastructure
Properties
ToDoSample.Service.csproj.user
ToDoSampleDb.mdf
ToDoSampleDb_log.ldf
ToDoUnitTests
Properties
Testing
ToDoSample.UnitTests.csproj.user
UnitTests
StaticCodeAnalyzer
Arebis.CodeAnalysis.Static
Arebis.CodeAnalysis.Static.csproj.user
CodeModel.cd
Processors
Rules
Properties
Arebis.Common
Arebis
Collections
Generic
Reflection
Properties
System
Collections
Generic
Net2
Threading
Net2
using System;
using System.Collections.Generic;
using System.Reflection;
using System.Text;
using Arebis.Reflection;
using System.Xml;
using System.IO;
using System.Text.RegularExpressions;
using Arebis.CodeAnalysis.Static;
using System.Threading;
using Arebis.CodeAnalysis.Static.Processors;
using System.Diagnostics;

namespace Arebis.CodeAnalysis.Static
{
    /// <summary>
    /// A StaticCodeAnalyzer constructs a codemodel containing an 
    /// in-memory method call networks for code analysis.
    /// </summary>
	public class StaticCodeAnalyzer
	{
        /// <summary>
        /// Process the given session and return a codemodel containing
        /// the in-memory method call network.
        /// </summary>
        public CodeModel Process(StaticCodeAnalyzerSession session)
		{
            List<ModelAssembly> massemblies = new List<ModelAssembly>();
            List<ModelType> mtypes = new List<ModelType>();
            Dictionary<string, ModelMethod> mmethods = new Dictionary<string, ModelMethod>();
            ILanguageInfo languageInfo = session.LanguageInfo;
            IAnalyzerFilter analyzerFilter = session.AnalyzerFilter;

            // Retrieve all methods and constructors:
            foreach (Assembly asm in session.Assemblies)
            {
                if ((analyzerFilter != null)
                    && (!analyzerFilter.ProcessAssembly(asm)))
                    continue;

                ModelAssembly masm = new ModelAssembly(asm, languageInfo);
                massemblies.Add(masm);

                foreach (Type type in asm.GetTypes())
                {
                    if ((analyzerFilter != null)
                        && (!analyzerFilter.ProcessType(type)))
                        continue;

                    ModelType mtype = new ModelType(masm, type, languageInfo);
                    mtypes.Add(mtype);

                    foreach (MethodBase mb in type.GetConstructors(BindingFlags.Instance | BindingFlags.Static | BindingFlags.Public | BindingFlags.NonPublic))
                    {
                        if ((analyzerFilter != null)
                            && (!analyzerFilter.ProcessMethod(mb)))
                            continue;

                        mmethods[GetMethodKey(mb)] = new ModelMethod(mtype, mb, languageInfo);
                    }
                    foreach (MethodBase mb in type.GetMethods(BindingFlags.Instance | BindingFlags.Static | BindingFlags.Public | BindingFlags.NonPublic | BindingFlags.DeclaredOnly))
                    {
                        if ((analyzerFilter != null)
                            && (!analyzerFilter.ProcessMethod(mb)))
                            continue;

                        mmethods[GetMethodKey(mb)] = new ModelMethod(mtype, mb, languageInfo);
                    }
                }
            }

            // Build network of method calls:
            foreach (ModelMethod m in mmethods.Values)
            {
                try
                {
                    MethodBodyReader reader = new MethodBodyReader(m.MethodBase);

                    foreach (MethodBase calledmb in reader.GetCalledMethods(true, true))
                    {
                        ModelMethod calledm = FindMethod(mmethods, calledmb);
                        if (calledm != null)
                        {
                            m.CallsMethods.Add(calledm);
                        }
                    }
                }
                catch (InvalidOperationException ex)
                {
                    Debug.WriteLine(ex.Message);
                }
            }

            // Construct a code model:
            CodeModel codeModel = new CodeModel(
                massemblies,
                mtypes,
                mmethods.Values);

            // Apply processors:
            foreach (IProcessor processor in session.Processors)
            {
                processor.Process(codeModel);
            }

            // Construct & return a code model:
            return codeModel;
        }

        #region Private implementation

        private static ModelMethod FindMethod(Dictionary<string, ModelMethod> methods, MethodBase methodBase)
		{
			ModelMethod result;
			if (methods.TryGetValue(GetMethodKey(methodBase), out result))
				return result;
			else
				return null;
		}

		private static string GetMethodKey(MethodBase methodBase)
		{
			StringBuilder key = new StringBuilder(64);
			key.Append(methodBase.DeclaringType);
			key.Append('.');
			key.Append(methodBase.Name);
			foreach(ParameterInfo param in methodBase.GetParameters())
			{
				key.Append('(');
				key.Append(param.ParameterType);
			}
			return key.ToString();
        }

        #endregion
    }
}

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)

About the Author

Rudi Breedenraedt
Architect Wolters Kluwer Belgium
Belgium Belgium
Rudi is a Software Architect at Wolters Kluwer Belgium.

| Advertise | Privacy | Mobile
Web01 | 2.8.140721.1 | Last Updated 15 Mar 2010
Article Copyright 2010 by Rudi Breedenraedt
Everything else Copyright © CodeProject, 1999-2014
Terms of Service
Layout: fixed | fluid