Tools and Experiments for Software Security