--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on June 2008 ---
How i must analyze, for example, ? SAMBA plugin, with many cross headers, sources. For example, my Makefile # ------------------------------------ SMBDIR=/usr/src/samba/source SAMBA_INCLUDES="includes pop vfs" SRC=$(wildcard *.c) OBJS=$(subst .c,.o,$(SRC)) BIN=test.so CFLAGS=-g -O2 -I. $(foreach inc,$(SAMBA_INCLUDES),-I$(SMB_DIR)/$(inc)) %.o: %.c @echo "CC $<" ; $(CC) -c -o $@ $< /* --------- source.c --------------------------- */ #ifndef __KERNEL__ #define __KERNEL__ #include <linux/compiler.h> #endif #include "local.h" #include "includes.h" static int skel_connect(vfs_handle_struct *handle, const char *service, const char *user) { return SMB_VFS_NEXT_CONNECT(handle, service, user); } static vfs_op_tuple skel_op_tuples[] = { { SMB_VFS_OP(skel_connect), SMB_VFS_OP_CONNECT, SMB_VFS_LAYER_TRANSPARENT }, { NULL, SMB_VFS_OP_NOOP, SMB_VFS_LAYER_NOOP} }; NTSTATUS init_module(void) { return smb_register_vfs(SMB_VFS_INTERFACE_VERSION, "skel_transparent", skel_op_tuples); } /*-------------------- EOF ---------------------- */ HELP ME CHECK;