PEAR is a tool letting you perform static analyses on cryptographic protocols. This is the site homepage, from here you may WebStart PEAR and see it running.