Static Code Analysis

Rudi Breedenraedt

Rate me:

4.97/5 (34 votes)

15 Mar 2010CPOL16 min read

87.2K

1.1K

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.

codeanalyzerandtodosample.zip
- CodeAnalyzer and Sample Solution.sln
- Generate.cmd
- Generator
  - bin
    - .noclean
    - Arebis.CodeAnalysis.Static.dll
    - Arebis.CodeAnalysis.Static.XML
    - Arebis.CodeGeneration.dll
    - Arebis.CodeGeneration.VisualStudio.dll
    - Arebis.CodeGenerator.dll
    - Arebis.Common.dll
    - Arebis.Common.xml
    - CGen.exe
    - CGen.exe.config
  - Content.cst
  - Content.cst.gen
  - COperation.cst
  - COperation.cst.gen
  - DocManager.cs
  - DocToHtml.xslt
  - files
    - Blank.html
    - CodeModel.css
    - CodeModel.js
  - GenerationProfile.xml
  - GenerationSettings.xml
  - GeneratorMain.cst
  - GeneratorMain.cst.gen
  - Index.cst
  - Index.cst.gen
  - IndexTop.cst
  - IndexTop.cst.gen
  - SOperation.cst
  - SOperation.cst.gen
  - StaticCodeAnalyserProfile.xsd
  - UIOperation.cst
  - UIOperation.cst.gen
  - Utils.cs
- Output
- SampleApp
  - LocalTestRun.testrunconfig
  - ToDoApplication
    - App.config
    - App.xaml
    - App.xaml.cs
    - Infrastructure
    - MainWindow.xaml
    - MainWindow.xaml.cs
    - Properties
      - AssemblyInfo.cs
    - Service References
    - ServiceProxies.cs
    - ToDoSample.Application.csproj
  - ToDoContract
    - InvalidIdException.cs
    - IToDoService.cs
    - Properties
      - AssemblyInfo.cs
    - SecurityRoles.cs
    - ToDoItem.cs
    - ToDoSample.Contract.csproj
    - User.cs
  - ToDoSample.vsmdi
  - ToDoService
    - App.config
    - Entities.cs
    - Entities.Designer.cs
    - Entities.edmx
    - Infrastructure
      - SimulatedAuthorizationPolicy.cs
    - MappingExtensionsHelpers.cs
    - Properties
      - AssemblyInfo.cs
    - ToDoComponentManager.cs
    - ToDoSample.Service.csproj
    - ToDoSample.Service.csproj.user
    - ToDoSampleDb.create.sql
    - ToDoSampleDb.mdf
    - ToDoSampleDb_log.ldf
    - ToDoServiceImplementation.cs
  - ToDoUnitTests
    - App.config
    - Properties
      - AssemblyInfo.cs
    - Testing
      - AssertExtensions.cs
    - ToDoSample.UnitTests.csproj
    - ToDoSample.UnitTests.csproj.user
    - UnitTests
      - ToDoComponentManagerTests.cs
      - ToDoServiceCodeTest.cs
- StaticCodeAnalyzer
  - Arebis.CodeAnalysis.Static
    - Arebis.CodeAnalysis.Static.csproj
    - Arebis.CodeAnalysis.Static.csproj.user
    - CodeModel.cd
    - CodeModel.cs
    - IAnalyzerFilter.cs
    - IProcessor.cs
    - MethodListExtensions.cs
    - ModelAssembly.cs
    - ModelMethod.cs
    - ModelType.cs
    - Processors
    - Properties
      - AssemblyInfo.cs
    - StaticCodeAnalyserProfile.xsd
    - StaticCodeAnalyzer.cs
    - StaticCodeAnalyzerSession.cs
  - Arebis.Common
    - Arebis.Common (Partial).csproj
    - Arebis
      - Collections
        
        Generic
        
        DictionaryBag.cs
      - Reflection
        
        CsLanguageInfo.cs
        
        DefaultLanguageInfo.cs
        
        ILanguageInfo.cs
        
        ILInstruction.cs
        
        MethodBodyReader.cs
        
        VbLanguageInfo.cs
    - Properties
      - AssemblyInfo.cs
    - System
      - Collections
        
        Generic
        
        Net2
        
        HashSet.cs
      - Threading
        
        Net2
        
        Parallel.cs
      - TypeExtensions.cs

@ECHO OFF

IF NOT EXIST "SampleApp\ToDoApplication\bin\Debug\ToDoSample.Application.exe" (
  ECHO Please compile the ToDoSample application and try again.
  GOTO :EOF
)

ECHO Refreshing code analyzer assemblies...
COPY "StaticCodeAnalyzer\Arebis.CodeAnalysis.Static\bin\Debug" "Generator\bin" /y
ECHO Done.

PUSHD %~dp0Generator

ECHO Copying static files to output...
COPY /Y files\*.* ..\Output
ECHO Done.

ECHO Generating dynamic pages...
bin\CGEN GenerationSettings.xml
ECHO Done.

POPD

PAUSE


start Output\Index.html

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

Rudi Breedenraedt

Architect AREBIS

Belgium

Senior Software Architect and independent consultant.

Static Code Analysis

License

Comments and Discussions