GitHub repository: martinhruska/forester
Description: Tool for Verification of Programs with Pointers