eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129 stars 54 forks source link

Fix double free. #55

Closed b-3-n closed 4 years ago

b-3-n commented 4 years ago

There is potential double free on memory pointed to by arr_map2 (allocated on line 727) and a potential memory leak of memory pointed to by arr_map1 (allocated on line 765). This pull request should fix these issues.

N.B.: I found this issue using deepcode. You can see all the issues that DeepCode finds for your repository here. If you want you can enable DeepCodes AI code review for your repository to be notified of this and other issues automatically in the future. It is free, no strings attached. To do this just head over to our website. Detailed instructions are also available as video.

deepcodeappdev[bot] commented 4 years ago

Congratulations :beers:. DeepCode analyzed your code in 0.914 seconds and we found no issues. Enjoy a moment of no bugs :sunny:.

:speech_balloon: This comment has been generated by the DeepCode bot, installed by the owner of the repository. The DeepCode bot protects your repository by detecting and commenting on security vulnerabilities or other critical issues.


:relaxed: If you want to provide feedback on our bot, here is how to contact us.