Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

New detector: CellBounds #214

Merged
merged 32 commits into from
Nov 21, 2024
Merged

New detector: CellBounds #214

merged 32 commits into from
Nov 21, 2024

Conversation

jubnzv
Copy link
Member

@jubnzv jubnzv commented Nov 11, 2024 •
edited
Loading

Closes #172

Could detect both: overflow and underflow problems.

  • I have updated CHANGELOG.md
  • I have added tests to demonstrate the contribution is correctly implemented
  • No test failures were reported when running yarn test-all
  • I did not do unrelated and/or undiscussed refactorings

jubnzv added 26 commits November 11, 2024 10:28
@jubnzv
feat(detectors): Add CellUnderflow
48404e0 
Closes #172
@jubnzv
chore: Update changelog
24a2bc8
@jubnzv
feat(cellUnderflow): Interpret method calls in the transfer function
3d33a11
@jubnzv
feat(cellUnderflow): Interval-based store interpretation
02c50a9
@jubnzv
feat(cellUnderflow): Better analysis for loaded/stored calls
ee5509f
@jubnzv
feat(cellUnderflow): Deep copy funcitons
8178195
@jubnzv
fix(cellUnderflow): Extra methods iteration
40676f4
@jubnzv
chore(cellUnderflow): Remove debug prints
b539828
@jubnzv
chore(cellUnderflow): Generalize storage construction
073b99b
@jubnzv
chore: run yarn fix-all
14d990d
@jubnzv
feat(cellUnderflow): Add simple test
1320bef
@jubnzv
fix(cellUnderflow): Avoid double iterations
b85f949
@jubnzv
feat(cellUnderflow): Additional variable kind checks
eb7c867
@jubnzv
fix(cellUnderflow): Logic error
1e46be5
@jubnzv
fix(util): getMethodCallsChain implementation
083f5e8
@jubnzv
fix(cellUnderflow): Dataflow processing of intermediate variables
54a35d1
@jubnzv
feat(cellUnderflow): Support CellOverflow
43669fd
@jubnzv
feat(cellUnderflow): Support storing local builders/slices
6f3b112
@jubnzv
fix(cellOverflow): Create deep copies of the state
2998552
@jubnzv
fix(cellUnderflow): comma is not logical &&
1ecfd29
@jubnzv
fix(cellUnderflow): Don't track processed calls
38dbe95
@jubnzv
fix(cellUnderflow): Don't add extra intermediate variables
f94582f
@jubnzv
fix(cellUnderflow): Don't copy intermediate values to out
0897a15 
These are applied only to a single statement.
@jubnzv
chore(cellUnderflow): Simplify
bbe06e5
@jubnzv
feat(cellUnderflow): Support assignments to beginCell(), `emptySlic…
abc462f 
…e()`, ....
@jubnzv
fix(cellUnderflow): Processing of unused assignments
dd46ac7
@jubnzv jubnzv changed the title New detector: CellUnderflow New detector: CellBounds Nov 19, 2024
@jubnzv jubnzv marked this pull request as ready for review November 21, 2024 11:05
@jubnzv jubnzv merged commit ae1f8d5 into master Nov 21, 2024
1 check passed
@jubnzv jubnzv deleted the 172-cell-underflow branch November 21, 2024 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Cell Underflow
1 participant
@jubnzv