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

v0.1.9 Staging #634

Merged
merged 15 commits into from
Aug 5, 2024
Merged

v0.1.9 Staging #634

merged 15 commits into from
Aug 5, 2024

Conversation

alexroan
Copy link
Contributor

@alexroan alexroan commented Jul 29, 2024 •
edited
Loading

New Detectors:

  • HIGH: Unchecked send return value
  • HIGH: Storage Signed Integer Array
  • HIGH: Strict ETH balance equality
  • HIGH: Tautology or Contradiction
  • HIGH: Contract that locks ETH
  • HIGH: msg.value used inside a loop
  • HIGH: Bad use of tx.origin
  • LOW: Boolean equality
  • LOW: State variable read in an external context
  • LOW: Redundant statements
  • LOW: Constant functions contain assembly

Fixes:

  • State variable shadowing - title and description fix
  • Upgrade check checks github releases instead of cargo releases

TilakMaddy and others added 15 commits July 29, 2024 14:28
@TilakMaddy @alexroan
Detector: Unchecked send() on address (#611)
5273e5c 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy @alexroan
Detector: Public variable read in an external context (#619)
25a368c 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy @alexroan
Detector Redundant statements (#621)
6378621 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy @alexroan
Detector: Storage signed integer array (#624)
2aea4d0 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy @alexroan
Detector: Strict Equality Check on Contracts' balances (#625)
ee2f464 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy @alexroan
Detector: Tautology or contradiction (#623)
b0c2ed7 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy @alexroan
Fix title & desc - state variable shadowing (#629)
82d4877 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy @alexroan
Detector: Contract that locks ether (#630)
2230dae 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy @alexroan
Fix: load_solidity_with_source_unit should load callgraphs by defau…
7b5a1d0 
…lt (#637)

Co-authored-by: Alex Roan <alex@cyfrin.io>
@TilakMaddy
Detector: msg.value used in loop (#636)
c9c1bd1
@TilakMaddy @alexroan
Detector: Bad use of tx.origin (#642)
4454c90 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@alexroan
Check Github releases for upgraded version, instead of crates.io (#647)
dcefbea
@TilakMaddy
Detector: Boolean equality (#633)
155a9d6
@TilakMaddy @alexroan
Detector: constant functions contains assembly (#641)
ada7f0f 
Co-authored-by: Alex Roan <alex@cyfrin.io>
@alexroan
Bump version to 0.1.9 (#652)
37522ef
@alexroan alexroan marked this pull request as ready for review August 5, 2024 09:28
@alexroan alexroan merged commit af4f127 into master Aug 5, 2024
18 checks passed
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.
2 participants
@alexroan @TilakMaddy