CheckPoint publishes the WinRAR Code Execution vulnerability details