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.11 Staging #668

Merged
merged 14 commits into from
Aug 19, 2024
Merged

v0.1.11 Staging #668

merged 14 commits into from
Aug 19, 2024

Commits on Aug 9, 2024

  1. Detector: Incorrect ERC20 interface (#654) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 9, 2024
    Configuration menu
    Copy the full SHA
    ff78855 View commit details
    Browse the repository at this point in the history

  2. Detector: State variable initialized by function (#659) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 9, 2024
    Configuration menu
    Copy the full SHA
    85d18be View commit details
    Browse the repository at this point in the history

  3. Detector: Out of Order Retryable (#660) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 9, 2024
    Configuration menu
    Copy the full SHA
    71b69f6 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Feat: add python binding (#640)

    @programskillforverification
    programskillforverification authored Aug 16, 2024
    Configuration menu
    Copy the full SHA
    3945cc4 View commit details
    Browse the repository at this point in the history

  2. Detector: Incorrect ERC721 contract (#655) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 16, 2024
    Configuration menu
    Copy the full SHA
    54b7687 View commit details
    Browse the repository at this point in the history

  3. Detector: Builtin Symbol Shadow (#665) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 16, 2024
    Configuration menu
    Copy the full SHA
    48d7a5f View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. Refactor Callgraph (#669) 

    Co-authored-by: TilakMaddy <[email protected]>
    @alexroan @TilakMaddy
    alexroan and TilakMaddy authored Aug 17, 2024
    Configuration menu
    Copy the full SHA
    87d8c5b View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Detector: Constant Function changing state (#661)

    @TilakMaddy
    TilakMaddy authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    4909dad View commit details
    Browse the repository at this point in the history

  2. Detector: Costly operations with loops (#662) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    b4a6d57 View commit details
    Browse the repository at this point in the history

  3. Detector: Assert state change (#663) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    6aec572 View commit details
    Browse the repository at this point in the history

  4. Detector: Cache array length (#664) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    81f8af5 View commit details
    Browse the repository at this point in the history

  5. Remove investigator keyword for callgraph (#679)

    @alexroan
    alexroan authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    359ad8d View commit details
    Browse the repository at this point in the history

  6. Detector: Function signature collision (#670) 

    Co-authored-by: Alex Roan <[email protected]>
    @TilakMaddy @alexroan
    TilakMaddy and alexroan authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    9fcabc0 View commit details
    Browse the repository at this point in the history

  7. Bump version 0.1.11 (#680)

    @alexroan
    alexroan authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    7b30416 View commit details
    Browse the repository at this point in the history