--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on November 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Analyzing ext2 source code with frama-c



Hi
For an academic research i want to analyze Linux ext2 file system to find
bug like null pointer exception and any bug which lead to error in file
system.
Can you help me how to analyze the ext2 source code?

When i want to analyze some file in ext2 directory like acl.c with the
following command in linux4.8.7 source code directory::
./../FramaC/frama-c-Aluminium-20160502/bin/frama-c -val -cpp-extra-args="-I
include" fs/ext2/acl.c

I got fatal error which means i cant correctly set the value to find header
file like asm/types.h

I don't even know how to set options for getting proper result for my
purpose.

I would be grateful if you give me some hint to accelerate my research.

regards.
Mohsen



-- 

===================================
Mohsen Zandieh
Msc Student
Department of Computer Engineering
Sharif University of Technology
===================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161117/82d6e492/attachment.html>