Skip to content

BigInt: Range Analysis experiment - #16743

Draft
d10c wants to merge 8 commits into
github:mainfrom
d10c:d10c/bigint-range-analysis-experiment
Draft

BigInt: Range Analysis experiment#16743
d10c wants to merge 8 commits into
github:mainfrom
d10c:d10c/bigint-range-analysis-experiment

Conversation

@d10c

@d10c d10c commented Jun 12, 2024

Copy link
Copy Markdown
Contributor

No description provided.

Comment thread java/ql/lib/semmle/code/java/Constants.qll Fixed
Comment thread java/ql/lib/semmle/code/java/Expr.qll Fixed
@d10c
d10c force-pushed the d10c/bigint-range-analysis-experiment branch from acee343 to b7b865b Compare June 25, 2024 14:02
d10c added 4 commits June 25, 2024 16:41
If this doesn't break any tests, then this will simplify the rewrite of all SimpleRangeAnalysis floats to BigInt.
@d10c
d10c force-pushed the d10c/bigint-range-analysis-experiment branch from b7b865b to ad73bd0 Compare June 25, 2024 14:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants