svf-tools

ISCLicense declared in the package manifest.

* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.

static-analysisstatic-value-flowsource-code-analysiscode-securitypointer-analysisllvmdependency-analysis
83

Security score

0 known advisories in v1.0.1301

OpenSSF Scorecard 4.2/10

0-100 score computed by this site from verifiable signals only: known OSV.dev advisories affecting this exact version, how recently it was published, and the repository's OpenSSF Scorecard.advisory penalty −0 · staleness penalty −0 · scorecard component 42/100 (30% weight)

Weekly downloads

Downloads across all versions in the last 7 days, from the official npm downloads API (api.npmjs.org).

—

Unpacked size

Size of v1.0.1301 on disk after npm install extracts the tarball, as reported by the npm registry.

34.6 MB

Dependencies

Direct runtime dependencies declared by v1.0.1301. Transitive dependencies are not counted here — use the lockfile audit for the full tree.

0

Last publish

When v1.0.1301 was published to the registry. Long gaps can indicate an unmaintained package.

1 month ago

Security advisories

Vulnerabilities affecting v1.0.1301 specifically, from OSV.dev — the open database aggregating the GitHub Advisory Database (GHSA) and CVEs. Links open the full advisory.

No known vulnerabilities affect v1.0.1301.

OpenSSF ScorecardJul 20, 2026

OpenSSF Scorecard is an automated audit of the source repository's security practices, run by the Open Source Security Foundation. Each check scores 0-10; hover a check for what it means. Data via deps.dev.
  • MaintainedThe project shows recent activity: commits or issue triage within the last 90 days.Result: 30 commit(s) and 11 issue activity found in the last 90 days -- score normalized to 1010
  • Token-PermissionsCI workflow tokens follow least privilege — read-only unless a job needs more.Result: detected GitHub workflow tokens with excessive permissions0
  • Code-ReviewChanges are reviewed by another maintainer before landing on the main branch.Result: Found 8/14 approved changesets -- score normalized to 55
  • Dangerous-WorkflowGitHub Actions workflows avoid dangerous patterns such as untrusted code checkout or script injection.Result: no dangerous workflow patterns detected10
  • CII-Best-PracticesThe project holds an OpenSSF Best Practices badge, a self-certification of security practices.Result: no effort to earn an OpenSSF best practices badge detected0
  • Binary-ArtifactsNo compiled binaries are committed to the repository — binaries can't be reviewed and may hide malicious code.Result: no binaries found in the repo10
  • Security-PolicyA SECURITY.md explains how to report vulnerabilities privately.Result: security policy file not detected0
  • FuzzingThe project is fuzz-tested (e.g. OSS-Fuzz), which finds crashes and memory bugs automatically.Result: project is not fuzzed0
  • LicenseThe project publishes a license file.Result: license file detected9
  • Pinned-DependenciesBuild dependencies are pinned to exact versions or hashes, preventing silent supply-chain swaps.Result: dependency not pinned by hash detected -- score normalized to 00
  • Signed-ReleasesRelease artifacts are cryptographically signed so consumers can verify their origin.Result: Project has not signed or included provenance with any releases.0
  • Branch-ProtectionThe default branch is protected: force pushes are blocked and changes require review before merging.Result: branch protection not enabled on development/release branches0
  • SASTStatic analysis (e.g. CodeQL) runs on pull requests to catch bugs before merge.Result: SAST tool is not run on all commits -- score normalized to 00
  • PackagingReleases are published through an automated CI/CD pipeline rather than by hand.Result: packaging workflow detected10