⬤  v0.1 — MISRA C:2023 · CERT C · CWE

Provadyne 다운로드

단일 로컬 바이너리와 오픈 분석 엔진 — macOS, Linux, Windows용. 계정도, 카드도 필요 없고, 어떤 데이터도 컴퓨터를 벗어나지 않습니다. 바이너리는 직접 검증할 수 있는 SHA-256 체크섬과 함께 공개됩니다.

$ curl -sSL https://provadyne.com/install.sh | sh

macOS 빠른 설치 — 최신 서명 릴리스를 받아 데몬을 설치하고 런치 에이전트를 등록합니다. 직접 설치하고 싶으신가요? 아래에서 아카이브를 받으십시오.

데스크톱 빌드

데몬은 단일 바이너리로 제공됩니다. 각 아카이브에는 데몬, 네이티브 메시징 호스트, 엔진이 함께 묶여 있습니다.

macOS · Apple Silicon

arm64 (M1/M2/M3/M4)
provadyne-darwin-arm64-<version>.tar.gz
.tar.gz 다운로드

macOS · Intel

amd64 (x86-64)
provadyne-darwin-amd64-<version>.tar.gz
.tar.gz 다운로드

Linux

amd64 (x86-64)
provadyne-linux-amd64-<version>.tar.gz
.tar.gz 다운로드

Windows

amd64 (x86-64)
provadyne-windows-amd64-<version>.zip
.zip 다운로드

각 플랫폼별 수동 설치 단계는 함께 제공되는 INSTALL.md에 있습니다. 모든 에셋은 공개 다운로드 릴리스에 있습니다 — 전체 릴리스 보기.

CI & 헤드리스용 엔진

파이프라인에서, 또는 데스크톱이 없는 서버에서 실행하시나요? PyPI에서 분석 엔진만 설치하십시오 — 데스크톱 앱에 포함된 것과 동일한 엔진입니다.

$ pip install provadyne-engine

또는 네이티브 GitHub Action을 워크플로우에 추가하십시오 — 엔진을 설치하고, 검사를 실행하며, SARIF를 code scanning에 업로드합니다. 스니펫은 홈 페이지에서 확인하십시오.

다운로드한 파일을 검증하십시오

기능안전 팀은 도구 체인을 신뢰할 수 있어야 합니다. 이 바이너리가 정확히 어떻게 빌드되는지, 그리고 어떻게 확인하는지 안내합니다.

SHA-256 체크섬

모든 릴리스는 전체 아카이브에 대한 checksums.sha256을 공개합니다. 실행하기 전에 검증하십시오: 체크섬 다운로드shasum -a 256 -c.

공개 CI에서 빌드

바이너리는 태그된 커밋으로부터 GitHub Actions가 컴파일합니다 — 빌드 로그는 공개되어 감사할 수 있습니다. 우리가 제공하는 것은 컴파일된 산출물이며, 손으로 조립한 것은 없습니다.

소스는 비공개로 유지

컴파일된 바이너리와 오픈 Python 엔진만 공개됩니다. Go 데몬 소스는 공개되지 않습니다 — 따라서 공개 트리에서 Pro 게이트를 패치로 우회할 수 없습니다.

에어갭 & 서명 전달

적격성이 확인된 도구 체인을 위해 암호화 서명된 산출물, SBOM, 재현 가능한 빌드, 또는 에어갭 네트워크로의 전달이 필요하신가요? 그것은 Enterprise 등급에 포함됩니다 — 영업팀에 문의하시면 귀사 환경에 맞춘 통제된 전달을 준비해 드리겠습니다.