Stack Overflow
Stack Overflow

Questions tagged [c-intermediate-language]

CIL (C Intermediate Language) is a subset of C designed to be easier to analyze and manipulate, as well as a suite of tools related to that subset. Do not confuse this with CIL (Common Intermediate Language), the intermediate language of .NET.

C Intermediate Language (CIL) is a subset of C designed to be easier to analyze and manipulate. CIL is also the name of a suite of tools that produce CIL from C source code.

Note that to most programmers, the abbreviation CIL means Common Intermediate Language, the intermediate language of .NET.

4 questions
3
votes
1 answer

How to access file given to cilly in my CIL module

I have added a new feature to CIL(C Intermediate Language). I am able to execute my new module using $cilly --dotestmodule --save-temps -D HAPPY_MOOD -o test test.c Now, in my testmodule, I want to call Cfg.computeFileCFG for test.c file. But I…
Srikanth Vaindam
  • 455
  • 4
  • 13
2
votes
0 answers

Combine all source C files into a single C file for Static Analysis

I am working on some static code analysis algorithms that will be far more effective (and easier) if done on the whole program. For that, I need to combine all C source files of a target program into a single C file. I tried the CIL merger, but it…
MEE
  • 2,114
  • 17
  • 21
2
votes
0 answers

merging Linux Kernel using CIL

I am trying to use CIL merger to merge Linux Kernel and run an analysis on it. I tried this on different version of the kernel. each gave different errors. Linux-3.4.2: In Linux Kernel-3.4.2 source folder I used the following command $ make…
Srikanth Vaindam
  • 455
  • 4
  • 13
1
vote
1 answer

A type with finite number of elements - OCaml

I'm using CIL to process C programs using the pthread library. I have to process user-defined and non-pthread functions differently from pthread functions. Can I have a type definition which looks something like: type PThreadFun = "pthread_create" |…
user34812
  • 513
  • 1
  • 4
  • 15