c-intermediate-language

3熱度

1回答

如何在我的CIL模塊中訪問給cilly的文件

我已經爲CIL（C中間語言）添加了一個新功能。我能夠使用 $cilly --dotestmodule --save-temps -D HAPPY_MOOD -o test test.c 現在，在我的testmodule，我想打電話給Cfg.computeFileCFG爲test.c的文件來執行我的新模塊。但我不知道如何訪問我的模塊中的test.c文件。 我試過使用Cil.file。但它會顯示「

ocaml static-analysis c-intermediate-language 2012-05-09

---

1熱度

1回答

具有有限數量元素的類型 - OCaml

我正在使用CIL使用pthread庫來處理C程序。我必須處理與pthread函數不同的用戶定義和非pthread函數。我能有一個類型定義，它看起來像： type PThreadFun = "pthread_create" | "pthread_join" | ...;; ，讓我在功能名稱，然後第一個模式匹配它發送到任何 processFunction (fn_name: string) 或

types functional-programming ocaml c-intermediate-language 2013-09-22

---