This repository has been archived by the owner on Mar 24, 2024. It is now read-only.

certora_bins has 1 suspicious file formats #420649

Open

github-actions bot opened this issue Mar 24, 2024 · 0 comments

Labels

sus-file-formats

github-actions bot commented Mar 24, 2024

https://pypi.org/project/certora_bins
https://inspector.pypi.io/project/certora_bins

  "packages/certora_bins/gambit: ELF 64-bit LSB pie executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=01e9dd5da3861697b941ca65af5c12e181289d82, for GNU/Linux 3.2.0, with debug_info, not stripped"
]```

The text was updated successfully, but these errors were encountered:

github-actions bot added the sus-file-formats label

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