Описание тега c-intermediate-language
CIL (C Intermediate Language) - это подмножество C, разработанное для облегчения анализа и управления, а также набор инструментов, связанных с этим подмножеством. Не путайте это с CIL (Common Intermediate Language), промежуточным языком.NET.
1
ответ
Как получить доступ к файлу Cilly в моем модуле CIL
Я добавил новую функцию в CIL(C Intermediate Language). Я могу выполнить мой новый модуль, используя $cilly --dotestmodule --save-temps -D HAPPY_MOOD -o test test.c Теперь в моем тестовом модуле я хочу вызвать Cfg.computeFileCFG для файла test.c. Но…
09 май '12 в 11:36
1
ответ
Тип с конечным числом элементов - OCaml
Я использую CIL для обработки программ на C, используя библиотеку pthread. Я должен обрабатывать пользовательские и не pthread-функции иначе, чем pthread-функции. Могу ли я иметь определение типа, которое выглядит примерно так: type PThreadFun = "pt…
22 сен '13 в 07:40
0
ответов
Объединение ядра Linux с использованием CIL
Я пытаюсь использовать слияние CIL для объединения ядра Linux и анализа. Я пробовал это на другой версии ядра. каждый дал разные ошибки. Linux-3.4.2: В исходной папке Linux Kernel-3.4.2 я использовал следующую команду $ make CC="cilly --save-temps -…
18 июн '12 в 11:21
0
ответов
Объедините все исходные файлы C в один файл C для статического анализа
Я работаю над некоторыми алгоритмами статического анализа кода, которые будут гораздо более эффективными (и более простыми), если будут выполнены для всей программы. Для этого мне нужно объединить все исходные C-файлы целевой программы в один C-файл…
23 май '14 в 01:57
0
ответов
как указать CIL_MACHINE для процессора Apple M1?
Кто-нибудь знает, какие значения использовать при указанииCIL_MACHINEдля чипа Apple M1? У меня есть запуск программы C, которая выводит большую часть того, что, как я надеюсь, является правильным значением, но я не знаю, как найти закомментированные…
28 июн '22 в 22:22