In reply to Re^2: Software security analysis with BogoSec by marto in thread Software security analysis with BogoSec by marto