differ
differ copied to clipboard
Detecting Inconsistencies in Feature or Function Evaluations of Requirements
We might be able to sanitize the outputs and remove any differ-created directories, but this might be easier said than done. 
When we are ready to open source and release DIFFER, we'll want to add several CI checks for production code, including: **`pip-audit`** ```yaml # update .github/workflows/ci.yml pip-audit: runs-on: ubuntu-22.04 steps:...
Add support for the `tcpdump` sample.
Some samples will require running as `root` via sudo, such as `tcpdump` (#69) when capturing network traffic. Right now, `sudo pipenv` does not work because the venv is stored in...
In practice, we could run debloated binaries within a Docker container. If GT is already creating Dockerfiles for hosting the debloating tools, we could piggyback off of those to run...
Some samples and traces will only work properly when the binary being run is connected to a TTY or PTY terminal. For example, the expected failure cases for `bzip2` requires...