Thank you for the help Elnatan.
I managed to get around it by appending to the file #pragma
cilnoremove("func") for every function in the program, and then running
CIL with the option --sliceGlobal. This will remove all functions except
func which is what I wanted. I guess epicenter as a featu
Vijayaraghavan Murali nus.edu.sg> writes:
> I'm new to this list and I just obtained CIL. For our research which
> uses compositional reasoning, we need a tool to extract out each
> function individually from a C program (including global declarations
> like variables, structs and typedefs) and a
Hello everyone,
I'm new to this list and I just obtained CIL. For our research which
uses compositional reasoning, we need a tool to extract out each
function individually from a C program (including global declarations
like variables, structs and typedefs) and analyze it.
CIL's doepicenter featu
