gitextract_g5a28eqg/

├── README.md
├── evaluation/
│   ├── README.md
│   ├── ghttpd
│   ├── httpd
│   ├── lt-wireshark
│   ├── nginx1
│   ├── nullhttpd
│   ├── opensshd
│   ├── orzhttpd
│   ├── proftpd
│   ├── smbclient
│   ├── sudo
│   └── wuftpd
├── payloads/
│   ├── README.md
│   ├── abloop.spl
│   ├── execve.spl
│   ├── ifelse.spl
│   ├── infloop.spl
│   ├── loop.spl
│   ├── memrd.spl
│   ├── memwr.spl
│   ├── print.spl
│   ├── regmod.spl
│   ├── regref4.spl
│   ├── regref5.spl
│   ├── regset4.spl
│   └── regset5.spl
├── setup.sh
└── source/
    ├── BOPC.py
    ├── README.md
    ├── absblk.py
    ├── calls.py
    ├── capability.py
    ├── compile.py
    ├── config.py
    ├── coreutils.py
    ├── delta.py
    ├── map.py
    ├── mark.py
    ├── optimize.py
    ├── output.py
    ├── path.py
    ├── search.py
    └── simulate.py