8000 Create a test that demonstrates the payable multicall vulnerability · Issue #178 · a16z/halmos · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Create a test that demonstrates the payable multicall vulnerability #178
New issue
New issue
Open
Open
Create a test that demonstrates the payable multicall vulnerability#178
Labels
enhancementNew feature or requestgood first issueGood for newcomers
@0xkarmacoma

Description

@0xkarmacoma
0xkarmacoma
opened on Aug 15, 2023

The issue is described here:

Uniswap/v3-periphery#52

can halmos find the problem and produce a counterexample? If it does, we should consider it for inclusion under tests/

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestgood first issueGood for newcomers

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0