問題タブ [c-intermediate-language]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
ocaml - 私のCILモジュールでcillyに与えられたファイルにアクセスする方法
CIL（C Intermediate Language）に新機能を追加しました。を使用して新しいモジュールを実行できます
ここで、テストモジュールで、test.cファイルに対してCfg.computeFileCFGを呼び出します。しかし、モジュール内のtest.cファイルにアクセスする方法がわかりません。
Cil.fileを使ってみました。ただし、「バインドされていない値Cil.file」と表示されます。
私のコード：
test.cファイルのCfgを計算する方法を教えてください。
linux-kernel - CIL を使用した Linux カーネルのマージ
CIL マージを使用して Linux カーネルをマージし、解析を実行しようとしています。これを別のバージョンのカーネルで試しました。それぞれが異なるエラーを出しました。
Linux-3.4.2:
Linux Kernel-3.4.2 ソース フォルダーで、次のコマンドを使用しました
$ make CC="cilly --save-temps --dofsvd --merge"
そして、次のエラーが発生しました
/home/srikanth/projects2test/linux-3.4.2/arch/x86/include/asm/cpufeature.h[345:0-0] : 構文エラー解析エラー致命的なエラー: 例外 Frontc.ParseError("解析エラー")
エラーは次の行によるものです。
asm goto(... : : "i" (ビット) : : t_no);
「asm」命令を認識できません。私はそれをググった。BLAST バグ レポート (ここ) で、いくつかのアスペクト オプションを使用して、そのような構成を防止できることがわかりました。しかし、どのオプションを使用すればよいかわかりません。asm (またはサポートされていないその他の構造) を無視するにはどうすればよいですか?
Linux-2.4.5:
Linux Kernel-2.4.5 ソース フォルダーで、次のコマンドを使用しました
$ make CC="cilly --save-temps --dofsvd --merge"
上記のコマンドで次のエラーが発生しました
Makefile:229: arch/x86_64/Makefile: No such file or directory make: *ターゲット `arch/x86_64/Makefile' を作成するルールがありません。止まる。
このために、ファイルを作成するための ARCH=i386 オプションを含めました。
$ make ARCH=i386 CC="cilly --save-temps --dofsvd --merge"
そしてそれは言った
init/main.c:1:0: エラー: 選択した CPU は x86-64 命令セットをサポートしていません
このエラーを修正するにはどうすればよいですか?
Linux カーネル (任意のバージョン) で解析を実行したいと考えています。これらのエラーのため、マージできません。これらの問題を解決するのを手伝ってください。
types - 要素数が有限の型 - OCaml
pthread ライブラリを使用して C プログラムを処理するために CIL を使用しています。ユーザー定義関数と非 pthread 関数は、pthread 関数とは異なる方法で処理する必要があります。次のような型定義を使用できますか。
そのため、最初に関数名でパターンマッチを行い、次にどちらかに送信します
また