Projects tagged ‘cil’

Gendarme is a extensible rule-based tool to find problems in .NET applications and libraries. Gendarme inspects programs and libraries that contain code in ECMA CIL format (Mono and .NET) and looks ... [More] for common problems with the code, problems that compiler do not typically check or have not historically checked. Gendarme uses the Cecil library to introspect code. [Less]

Cecil is a library written by Jb Evain (http://evain.net/blog/) to generate and inspect programs and libraries in the ECMA CIL format. In simple English, with Cecil, you can load existing managed ... [More] assemblies, browse all the contained types, modify them on the fly and save back to the disk the modified assembly. [Less]

Reflexil is an assembly editor and runs as a plug-in for Lutz Roeder's Reflector, a great tool for .NET developers. Reflexil is using Mono.Cecil, written by Jb Evain, which is a strategic library for ... [More] the Mono project. Reflexil is able to manipulate IL code and save the modified assemblies to disk. Reflexil also supports 'on the fly' c# code injection. [Less]

The Managed Operating System Alliance (MOSA) Framework is a set of operating system components, compiler tools and libraries for managed operating systems based on the Common Intermediate Language and ... [More] .NET technology. We provide the foundation for other projects, such as SharpOS and Ensemble OS. [Less]

The linker is a tool one can use to only ship the minimal possible set of functions that a set of programs might require to run as opposed to the full libraries.

A flow analysis engine based on Mono.Cecil

Inspired by Google Testability Explorer(by Miško Hevery), Joe and I(Sun Liwen) initialized this project(NTE, dotnet-testability-explorer) to implement the same idea on .NET platform. Most of the ... [More] analysis work to the .NET assembly based on Mono.Cecil(by Jb Evain). And the cost model is based on the original design in GTE. Thanks all the people for contributing to GTE and Mono.Cecil. Joe will help me to review the migration work and have discussion with me on the release scope. I now still working on hard on the project. Welcome to visit my blog(http://thinklouder.cn) for more information about NTE(dotnet-testability-explorer) and testability. Thanks for your reading! [Less]

CORSIS (formerly Tenka Text) is a performance‐oriented, open‐source library for corpus analysis. It utilizes typed assembly, task‐specific compilers and parallelization to deliver the best ... [More] performance with elegant design. Demonstrative GUI of the project comes with Wordlister - an advanced, extremely fast graphical wordlist tool and a regex concordance tool. CORSIS - the open-source answer to WordSmith Tools. [Less]

MoonWalker is a software model checker which can automatically detect errors in CIL bytecode programs, i.e. applications written for the .NET platform. MoonWalker has been developed on the Mono ... [More] platform. The current version of MoonWalker is able to find deadlocks and assertion violations in CIL programs, generated with Mono's C# compiler. The design of MoonWalker is inspired by the Java PathFinder (JPF), a model checker for Java programs. The performance of MoonWalker is comparable to JPF. MoonWalker was formerly known as MMC, the Mono Model Checker. [Less]

What Castore is ?Castore is a Just-In-Time (JIT) compiler which aim is to be as pluggable and language/machine depended as possible. In order to perform this task the compiler has been splitted in ... [More] three level: High language level (bytecode/source code instructions) Middle language level (ml instructions - ml language) Low language level (machine instructions) Except for the middle language level the other two level should be able to work with different languages. For example at bytecode level castore should be able to run both Java Bytecode and Ecma-335 Bytecode (aka CIL). For this reason different front-end (decoder+runtime) should be potentially used. Machine language should also be generated for a wide range of different machines and Operatign Systems. In order to perform this task castore should be able to use different back-ends to generate machine code. Why another JIT compiler?This is a very good question. Mostly because I enjoy programming and I love the magic behind a compiler. Furthermore I'd like to produce a fast JIT-Compiler that can be used by many different language as Front-End. Where to startI suggest you from the installation process by clicking here if you are a standard user ot by clicking here if you are a developer interested in the last castore version. [Less]