--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on November 2016 ---
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>