Software  /  CCA  /  MLpcap  /  Private  /  Promet

Software

From time to time I like to write software. Some of the more serious software projects are listed here.

C Code Analyzer

statically analysing C code for security problems

Promet - Promela Model Extraction

My Bachelor thesis was about creating a compiler from arbitrary complex C code to Promela. The so created models can be checked for specification violations using the SPIN Model Checker.

MLpcap

provides libpcap bindings for ocaml

private

an LSM module which implements 4.4BSD securelevels on linux

harpoon

a tool to detect ARP abuse within your network. (e.g. arp spoofing attacks or similar)
Download: Version 1.0 here (updated 28.03.04)