eth-sri / ELINA

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

Implementation of tanh and sigm #62

Closed glebmk closed 4 years ago

ghost commented 4 years ago

DeepCode's analysis on #b8365e found:

Description Example fixes
The result of calloc, which may return null flows to the first argument of memcpy. This could result in undefined behavior. Consider adding a check for nullness. Occurrences: :wrench: Example fixes
Memory leak. Memory is never freed if realloc fails to allocate memory. Occurrences: :wrench: Example fixes

👉 View analysis in DeepCode’s Dashboard | Configure the bot

deepcodeappdev[bot] commented 4 years ago

DeepCode's analysis on #b8365e found:

Description Example fixes
The result of calloc, which may return null flows to the first argument of memcpy. This could result in undefined behavior. Consider adding a check for nullness. Occurrences: :wrench: Example fixes
Memory leak. Memory is never freed if realloc fails to allocate memory. Occurrences: :wrench: Example fixes

👉 View analysis in DeepCode’s Dashboard | Configure the bot