2013 at 12:31:27AM -0500, Qi Alfred Chen wrote:
> > Hi all, I am new to CIL and I plan to work on a project requiring
> analysing
> > TCP code in Linux using program analysis tool. I only need to parse one
> > file in the kernel, but it turns out that I need to add lots of heade
build Linux kernel 3.10.19 with CIL version 1.7.3, but it turns out to have
error:
include/crypto/hash.h:71: error: requested alignment is not a power
of 2
Anyone has any idea to solve it?
Alfred
--
Kind regards,
Qi Alfred Chen
PhD Student,
Department of Electrical Engineering and Computer
Is it possible to use CIL to do static taint analysis on Linux kernel
source code? Is there existing framework to make it easier to do?
Alfred
--
Kind regards,
Qi Alfred Chen
PhD Student,
Department of Electrical Engineering and Computer Science,
University of Michigan - Ann Arbor, 48105
Tel: 1
