--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on June 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ANALIZE BIG PROJECTS



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;