BMC Patrol for Check Point FireWall-1
PATROL uses Check Point's Open Platform for Security (OPSEC) API. This management software monitors for availability and failure of firewall nodes, firewall management servers, and the critical properties, such as rules, of each firewall module.