dotnet clr: Hi people,

Can someone point me to some libraries or techniques for conducting
aspect oriented programming (say via a weaver tool) that allows one IL
(Intermediate Language) tool (the aforementioned weaver) to draw out
certain aspects (i.e. boolean conditions of variables) of say a
program written in a specification language such as AsmL (translated
into IL).

Lets say I've created a weaver written in a arbitrary .NET higher
language (that has been translated into IL), where I want one IL to
inspect the states of variables as it executes (possibly also to
measure temporal properties of the AsmL IL, do some counting, etc) of
the first AsmL derived IL at runtime.

Am I too high, do I need to go below the CLR, and if so how? Any ideas
on good .NET routines for monitoring the runtime stack, or locksteping
execution of the two independantly running ILs into native code and
enforcing assertions (aka runtime conformance testing).

If I am too vague, coming across as a total newbie or not making any
sense feel free to tell me.

Many Thanks,
Joel



---

Joel Rivendell
Bachelor of Software Engineering (Hons)
Monash University
Clayton Campus

[quoted text, click to view]

Hi Joel,

you're going to run into some trouble with the JIT, whose native code
can look very little like the IL code it generates from. Especially with
its optimizations on, you're going to find it close to impossible to map
executing code cleanly back to the IL it came from.

I'm not sure that I fully understand your needs, but the CLR profiling
API may provide the services you seek. Have a google for it.

Maybe also if you have a specific example of the type of
tracking/introspection you seek we could be of more help.

Regards