回答情况：
提问时间：
问题标签：
1回答
我正在通过Reflection.Emit输出一个相当长的CIL列表。我不需要快速生成程序集的过程，但我确实需要生成的程序集尽可能快地运行，因为我正在生成游戏的内部循环。
浏览 3提问于2013-01-16得票数 1
回答已采纳
1回答
我想根据CIL打印CIL结构(例如Cil.instr )，它有一个类似于Cil.d_instr的函数，我可以用它来打印到错误信息中，比如Errormsg.log "Instruction: %a\n"
浏览 6修改于2013-11-01得票数 0
回答已采纳
1回答
我有一个用CIL写的代码。比方说，一个名为some_il_code.il的文件保存了它。我想编译它以创建托管exe程序集。
我该如何做到这一点？
浏览 0提问于2012-10-05得票数 3
回答已采纳
我遇到了一个问题，Ast.get()返回Cil_types.file类型，但我需要Cil.file供以后使用。它们实际上具有相同的字段，但是ocaml编译器只是不允许从Cil_types.file直接分配到Cil.file。在Ocaml中是否有任何类型的强制转换函数可以帮助我做到这一点。Ps:我尝试将Cil_types.file的每个字段分配给Cil.file，但同样的问题是递归发生的(不允许Cil.file.* = Cil_types.file.*)
浏览 1修改于2013-12-04得票数 0
回答已采纳
使用Frama中定义的Cil_datatypes模块，我试图将一个术语(Cil_datatype)替换为谓词(Cil_datatype)中的一个新术语。
浏览 2修改于2014-07-21得票数 2
回答已采纳
1回答
在查看已编译的 CIL 时，我注意到编译后的CIL中包含了代码大小。它被删除了。下面是一个例子static void MakeACar()Car myCar = new Car();CIL：{ .maxstack 1
.locals init ([0] class SimpleGC.Car
浏览 2修改于2012-08-12得票数 1
回答已采纳
4回答
我可以将指令编译成字节码，甚至可以很容易地执行它们，但我找到的唯一提取CIL的函数是GetILAsByteArray，顾名思义，它只返回字节，而不返回CIL指令。那么如何在.NET上以编程方式反汇编CIL呢？
请注意，我不希望结果以人类可读的形式出现。我想编写元程序来操作从其他程序生成的CIL。
浏览 1提问于2012-02-13得票数 11
回答已采纳
ECMA公共语言基础设施文档中提到了CIL "isinst类“指令：
正确的CIL确保类是指示类的有效typeref或typeref或类型标记，并且obj始终为null或对象引用。
浏览 3提问于2010-08-23得票数 1
回答已采纳
在使用旧版本的Frama-c程序时，我有一些问题。它使用函数varinfo_from_vid ()来获取varinfo。在更改日志中，我看到它已被删除，可以使用由varinfo索引的映射或哈希表来获取它。我不是很理解，因为我是个新手。这是否意味着我需要自己保存一个(vid，varinfo)哈希表，并将其传递给每个使用过variunfo_from_vid()的函数？或者有其他方法可以做到这一点。如果有人有例子或建议，我将不胜感激。谢谢
浏览 3修改于2014-04-04得票数 1
typeof(Dictionary<string, object>), "{}").method private hidebysig static void Run() cil
浏览 9提问于2020-10-13得票数 1
回答已采纳
有没有一个简单的库可以用来访问.NET类型的CIL？让我演示一下我想让虚构的CilExtractor做些什么：public class Type_For_Extract_Cil_Test {
.class public auto ansi serializable beforefieldinit Type_For_Extract_Cil_Test {
.method public
浏览 0修改于2010-05-06得票数 3
回答已采纳
mscorlib]System.Object //catch its body .method public hidebysig specialname rtspecialname
instance void .ctor() cil
浏览 3提问于2012-10-21得票数 1
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号