Skip to content
This repository was archived by the owner on Mar 4, 2025. It is now read-only.
This repository was archived by the owner on Mar 4, 2025. It is now read-only.

could you give the command to get execve on nginx? #16

@YuxiLing

Description

@YuxiLing

Hi, I'm trying to reproduce the experiment of getting execve on nginx. But bopc always returns 0 solution. Could you help provide specific instructions for this program?

The following is the command I tried:

./source/BOPC.py -dd --binary evaluation/nginx1 --source payloads/execve.spl --abstraction load --entry -1 --format gdb

It would be nice if you could point out the mistake above.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions