Aramani analyzer for .NET bytecode