This release has been yanked by its maintainers, and will be ignored by installers, except when explicitly specified.
Consider using release 0.7.6 instead.
Reason given by maintainers: faulty release pipeline gave bad version number
VerinFast™
Welcome to the Scanning Agent.
This tool safely and securely analyzes applications for benchmarking.
Requirements:
- Python3 - Test with
python3 --version - pip - Test with
pip -V - SSH access to code repositories - Test with
git status - Command line tool access to cloud hosting providers
- Admin privileges on the computer used to run the agent
- Outbound internet access (for posting results and fetching dependency metadata)
- Your dependency mangement tools (e.g.
npmoryarnormaven)
To run the Agent:
- Install this package with
pip install verinfast - In a directory with a
config.yamlfile runverinfast- Alternatively you can point to a config with
verinfast --config=/path/to/config
- Alternatively you can point to a config with
Config Options
- If you want to check the output for yourself you can set
should_upload: false, and use the flag--output=/path/to/dir. This will give you the chance to inspect what we collect before uploading. For large repositories, it is a lot of information, but we never upload your code or any credentials, just the summary data we collect.
Troubleshooting:
Python
- Run
python3 -m pip install --upgrade pip setuptools wheel
git
- Run
which git,git --version - Run
ssh -vT git@github.comto test access to GitHub
AWS
- Run
which aws,aws --version
Azure
- Run
az git,az --version - Run
az account subscription listto check subscription Id
Semgrep
- Run
which semgrep,semgrep --version
pip
- Run
which pip - If no
pip, run:curl -o get-pip.py https://bootstrap.pypa.io/get-pip.pypython get-pip.pyORpython3 get-pip.pyRunsudo apt update
Copyright 2023 Startos Inc.
1 maintainer
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file verinfast-2023.8.15184132.tar.gz.
File metadata
- Download URL: verinfast-2023.8.15184132.tar.gz
- Upload date:
- Size: 25.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/4.0.2 CPython/3.11.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
b2df11f564a6228aec86219b0b371fd90542f93108215ff091ec28c781591f77
|
|
| MD5 |
22b1aa4489d59e7b038f2224767c460a
|
|
| BLAKE2b-256 |
3469b87d3b13225dd2fef7abbc0046cdc38b250f084d528d462a87f3992b09f8
|
File details
Details for the file verinfast-2023.8.15184132-py3-none-any.whl.
File metadata
- Download URL: verinfast-2023.8.15184132-py3-none-any.whl
- Upload date:
- Size: 30.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/4.0.2 CPython/3.11.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
24c815669a44bbe675f54a7f36416c3393c9a6980a9c6c43673980a4e9501bd3
|
|
| MD5 |
b99893293832d763644fdbd74a23cf8b
|
|
| BLAKE2b-256 |
2b71bb256e14c215e9562d54580d1f8f86967a7c7dcd45af0dc1d7030c5e7aa2
|
