QuickChecking Static Analysis Properties