Common Compiler Infrastructure - Code and AST components

Created Issue: CCI Nuget (Feature request) [6788]

thargy — Tue, 21 Feb 2012 11:18:59 GMT

Creating a Nuget for CCIAst (& CCIMetadata) would make it far easier to use in projects and is relatively trivial.

Is this something that you are willing to consider? Obviously, someone else can create a Nuget and maintain it, however having it published from source is a far more robust solution.

Source code checked in, #67853

hermanv — Wed, 15 Feb 2012 18:34:51 GMT

Sync up with internal copy.

Source code checked in, #67672

stobies — Wed, 08 Feb 2012 10:44:12 GMT

Re-insert fix of DerefConstFinder that has been lost by a previous sync

Source code checked in, #67671

stobies — Wed, 08 Feb 2012 09:29:14 GMT

Make sure that name lookup caches in GlobalsClass are in sync with the members list

Source code checked in, #67670

stobies — Wed, 08 Feb 2012 09:26:33 GMT

Re-insert fix of ErrorForOutParameterReporter that has been lost by a previous sync

Source code checked in, #67613

hermanv — Fri, 03 Feb 2012 18:29:23 GMT

Sync up with internal copy.

New Post: Adding support for postfix/prefix decrement/increment and so on.

hermanv — Sat, 28 Jan 2012 03:22:02 GMT

As of changeset 67463 the Code Model has some new properties and new behavior. The reason for this is to make it possible to model statements such as "i ^= j" and "++i" and "i++" in the Code Model. This is desirable because the decompiler has to either introduce locals (as is done in the old one) or expose explicit stack manipulation instructions (as is done in the new one).

The basic idea is that an IBinayOperation may have a LeftOperand value that is an ITargetExpression instance. (The type system has always allowed this, but such operations were never constructed and were not understood by components such as CodeModelToIL.) In order to distinguish between ++i and i++, IBinaryOperation now has a new property, ResultIsUnmodifiedLeftOperand, that is true when i++ is intended.

Another change is that ITargetExpression and INamedArgument now have properties, GetterIsVirtual and SetterIsVirtual. These come into play when the target binding is an IPropertyDefinition. The Code Model has allowed such targets for a long time, but this was not used and not widely supported. CodeModelToIL can now deal with these. The new properties provide a way to retain information from the setter/getter call instructions when decompiling.

If you use a decompiler to obtain a Code Model, particulary the new one, you'll now have to deal with cases you've not seen before.

Source code checked in, #67463

hermanv — Sat, 28 Jan 2012 03:08:08 GMT

Sync up with internal copy.

New Post: Failing to load .NET core libraries

hermanv — Thu, 26 Jan 2012 18:59:07 GMT

Changeset 67429 should fix the crash for you.

Source code checked in, #67429

hermanv — Thu, 26 Jan 2012 18:57:23 GMT

Add type inference case for ptr + char.

New Post: Failing to load .NET core libraries

hermanv — Thu, 26 Jan 2012 07:16:12 GMT

Reference assemblies only have metadata, so it is expected that every method body is empty.

I'll look into the crash.

New Post: Failing to load .NET core libraries

perelman — Thu, 26 Jan 2012 06:32:09 GMT

I am trying to do a code analysis task which involves using the bodies of methods in libraries. Some libraries on my system load just fine with CCI. Some others cause CCI to crash, while others have every method body empty.

An example of the latter (every method body empty) is
C:\Program Files (x86)\Reference Assemblies\Microsoft\Framework\.NETFramework\v4.0\Profile\Client\System.Xml.dll

An example of the former (crashes with a contract failure "Description: Assumption failed." in Microsoft.Cci.IlToCodeModel.TypeInferencer.GetBinaryNumericOperationType(IBinaryOperation)) is

C:\Windows\Microsoft.NET\Framework\v4.0.30319\System.Xml.dll

The crash occurs within the statement "finder.Traverse(result);" in the method GetCodeModelFromMetadataModelHelper in the class Microsoft.Cci.ILToCodeModel.Decompiler.

Source code checked in, #67300

hermanv — Fri, 20 Jan 2012 22:49:11 GMT

Add a new version of ILToCodeModel as a separate project. Eventually this will replace ILToCodeModel itself and this project will go away.

New Comment on "Getting Started"

paddedcell — Sat, 14 Jan 2012 20:31:27 GMT

The article refers to Visual Studio 2008 but I had to (install and) use 2010 to open it (Jan 2012).

Source code checked in, #67085

hermanv — Tue, 10 Jan 2012 01:26:14 GMT

Sync up with internal copy.

Source code checked in, #66650

stobies — Fri, 09 Dec 2011 11:18:56 GMT

Fix traverser behavior

Source code checked in, #66649

stobies — Fri, 09 Dec 2011 09:35:00 GMT

collect binaries from Release

Patch Applied: #11014

hermanv — Fri, 09 Dec 2011 01:35:43 GMT

hermanv has applied patch #11014.

Comment:
See 66634.

Source code checked in, #66634

hermanv — Fri, 09 Dec 2011 01:34:21 GMT

Changes to get CCI compiling on Mono.

New Post: CodeDeepCopier doesn't seem to support mixed assemblies

hermanv — Wed, 07 Dec 2011 18:55:53 GMT

I don't know, but that was supposed to a scenario for them. Better ask them directly.