I am a new to CIL (and program analysis) and would appreciate
any advice in getting started with my problem.
1. I have a function that accepts a pointer argument and checks if it
is pointing into the valid segment in the data memory..
2. I would like to invoke this function before every write/store
operation through a pointer within a single program.
What would be a good CIL module to look at to get started ? Also, are
there any modules in CCured that could be used for this ?