codeql icon indicating copy to clipboard operation
codeql copied to clipboard

C++/Java/C# Shared Range Analysis: BigInt rewrite experiment

Open d10c opened this issue 1 year ago • 0 comments

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

d10c avatar Jun 27 '24 12:06 d10c