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
- Output
- Blank.html
- co_CreateToDoItem(int,string,Nullable[DateTime])_ToDoItem.html
- co_DeleteToDoItem(int)_void.html
- co_FindUserByName(string)_User.html
- co_GetToDoItem(int)_ToDoItem.html
- co_GetUser(int)_User.html
- co_ListAllToDoItems()_IEnumerable[ToDoItem].html
- co_ListAllUsers()_IEnumerable[User].html
- co_ListDoneItemsForUser(int)_IEnumerable[ToDoItem].html
- co_ListToDoItemsForUser(int)_IEnumerable[ToDoItem].html
- co_ListUsersMatching(string)_IEnumerable[User].html
- co_MarkToDoItemDone(int)_void.html
- co_UpdateToDoItem(int,string,Nullable[DateTime])_void.html
- CodeModel.css
- CodeModel.js
- Content.html
- Index.html
- IndexTop.html
- so_CreateToDoItem(int,string,Nullable[DateTime])_ToDoItem.html
- so_DeleteToDoItem(int)_void.html
- so_FindUserByName(string)_User.html
- so_GetUser(int)_User.html
- so_ListAllUsers()_List[User].html
- so_ListDoneItemsForUser(int)_List[ToDoItem].html
- so_ListToDoItemsForUser(int)_List[ToDoItem].html
- so_ListUsersMatching(string)_List[User].html
- so_MarkToDoItemDone(int)_void.html
- so_UpdateToDoItem(int,string,Nullable[DateTime])_ToDoItem.html
- ui_CreateNewToDoItemClicked(object,System.Windows.RoutedEventArgs)_void.html
- ui_DeleteClicked(object,System.Windows.RoutedEventArgs)_void.html
- ui_InitializeComponent()_void.html
- ui_MarkDoneClicked(object,System.Windows.RoutedEventArgs)_void.html
- ui_RefreshToDoItems()_void.html
- ui_SaveClicked(object,System.Windows.RoutedEventArgs)_void.html
- ui_ToDoItemSelected(object,System.Windows.Controls.SelectionChangedEventArgs)_void.html
- ui_UserSelected(object,System.Windows.Controls.SelectionChangedEventArgs)_void.html
- ui_WindowLoaded(object,System.Windows.RoutedEventArgs)_void.html
- SampleApp
- LocalTestRun.testrunconfig
- ToDoApplication
- ToDoContract
- ToDoSample.vsmdi
- ToDoService
- ToDoUnitTests
- StaticCodeAnalyzer
- Arebis.CodeAnalysis.Static
- Arebis.Common
|
using System;
using System.Collections.Generic;
using System.Text;
using System.Xml;
using System.Reflection;
namespace Arebis.CodeAnalysis.Static.Processors.Rules
{
[CodeModelMatchingRule(
"modifierrule",
"Matches methods by their modifiers or by their types modifiers.",
"target=Target of the modifier.|modifiers=Comma-separated list of modifiers.")]
public class ModifierMatchingRule : BaseMatchingRule
{
private RuleTarget target;
private MethodAttributes methodAttributes;
private TypeAttributes typeAttributes;
private bool reverse;
public override void Initialize(XmlNode ruleInstance)
{
this.target = (RuleTarget)Enum.Parse(typeof(RuleTarget), ruleInstance.Attributes["target"].Value, true);
switch(this.target)
{
case RuleTarget.Method:
InitializeMethod(ruleInstance);
break;
case RuleTarget.Type:
InitializeType(ruleInstance);
break;
default:
throw new InvalidOperationException(String.Format("Invalid target '{0}' for {1}.", this.target, this.GetType().Name));
}
if (ruleInstance.Attributes["reverse"] != null)
this.reverse = Convert.ToBoolean(ruleInstance.Attributes["reverse"].Value);
}
private void InitializeMethod(XmlNode ruleInstance)
{
string modifierstring = ruleInstance.Attributes["modifiers"].Value;
foreach (string s in modifierstring.Split(','))
this.methodAttributes =
this.methodAttributes
| (MethodAttributes)Enum.Parse(typeof(MethodAttributes), s.Trim(), true);
}
private void InitializeType(XmlNode ruleInstance)
{
string modifierstring = ruleInstance.Attributes["modifiers"].Value;
foreach (string s in modifierstring.Split(','))
this.typeAttributes =
this.typeAttributes
| (TypeAttributes)Enum.Parse(typeof(TypeAttributes), s.Trim(), true);
}
public override bool Matches(ModelMethod method)
{
switch(this.target)
{
case RuleTarget.Method:
return this.MatchesOnMethod(method);
case RuleTarget.Type:
return this.MatchesOnType(method.DeclaringType);
default:
throw new InvalidOperationException(String.Format("Invalid target '{0}' for {1}.", this.target, this.GetType().Name));
}
}
private bool MatchesOnMethod(ModelMethod method)
{
return this.reverse ^ ((method.MethodBase.Attributes & this.methodAttributes) == this.methodAttributes);
}
private bool MatchesOnType(Type type)
{
return this.reverse ^ ((type.Attributes & this.typeAttributes) == this.typeAttributes);
}
}
}
|
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.