mirror of
https://github.com/github/codeql.git
synced 2026-01-30 06:42:57 +01:00
I wrote a ql library which can perform range analysis on expression and can detect whether an arithmetic operation may overflow. I wrote this library with reference to the `SimpleRangeAnalysis.qll` for C language. I hope this helps a little bit for those who want to detect integer overflow issues in code.