eth-sri / ELINA

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

add Lait #57

Closed LostBenjamin closed 4 years ago

LostBenjamin commented 4 years ago

Add the Lait learning-based transformer

deepcodeappdev[bot] commented 4 years ago

DeepCode's analysis on #8400be found:

Description Example fixes
Using strcat can lead to severe buffer overflow vulnerabilities. Use the safe alternative strncat instead. Occurrences: :wrench: Example fixes
Use comprehensions instead of list(map(lambda: x ...)) Occurrences: :wrench: Example fixes

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