Skip to content

WAKOKO: coverage tool for WASM #54

Open
Open
WAKOKO: coverage tool for WASM#54

Description

@monperrus
monperrus
opened on Jul 29, 2020

issue to keep some traces of the progress and todos.

  • Add support for instruction coverage in SWAM

Next steps:

  • Implement the coverage in linear memory instead of one variable per block

Activity

  1. monperrus commented on Aug 18, 2020

    @monperrus
    monperrus
    on Aug 18, 2020
    CollaboratorAuthor

    TODO @Jacarte @tareq97 rebase branch optin against SWAM master

  2. Jacarte commented on Aug 19, 2020

    @Jacarte
    Jacarte
    on Aug 19, 2020
    Collaborator

    Path coverage in KTH/swam#9

  3. monperrus
    changed the title [-]coverage tool for WASM[/-] [+]WAKOKO: coverage tool for WASM[/+] on Nov 19, 2020

  4. orestisfl commented on Nov 19, 2020

    @orestisfl
    orestisfl
    on Nov 19, 2020
    Contributor

    See https://github.com/WebAssembly/binaryen/blob/master/src/passes/InstrumentLocals.cpp and https://github.com/WebAssembly/binaryen/blob/master/src/passes/InstrumentMemory.cpp

  5. monperrus commented on Nov 19, 2020

    @monperrus
    monperrus
    on Nov 19, 2020
    CollaboratorAuthor

    FYI v2 is a pure C implementation: #74

  6. monperrus commented on Nov 19, 2020

    @monperrus
    monperrus
    on Nov 19, 2020
    CollaboratorAuthor

    Alternatives could be https://github.com/rustwasm/walrus/ and the other one in binaryen, see Orestis' comment above.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions