codeql
codeql copied to clipboard
C++/Java/C# Shared Range Analysis: BigInt rewrite experiment
This PR use BigInt as the Delta type everywhere in the shared range analysis library.
Shared commit:
- shared/rangeanalysis: use BigInt as the Delta type everywhere
C++ commits:
- cpp/ql/lib: rewrite shared range analysis library to use BigInts
- cpp/ql/src: update queries
- cpp/ql/test: update tests
Java commits:
- java/ql/lib: update shared range analysis library to use BigInts
- java/ql/src: update queries
- java/ql/test: update library-tests
C# commits:
- csharp/ql/lib: update shared rangeanalysis library to use BigInts
- csharp/ql/test: update ModulusAnalysis test to use BigInt