Spectra Assure
Community
failRisk: Vulnerabilities
Scanned: 1 day ago

VsCoq

Artifact:
latest
VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant
License: Permissive (MIT)
Published: 9 months ago
Publisher: maximedenes
Visit GitHub
See on Visual Studio Code

SAFE Assessment

Compliance

Licenses
No license compliance issues
Secrets
No sensitive information found

Security

Vulnerabilities
2 severe vulnerabilities exploited
Hardening
1 baseline mitigations missing

Threats

Tampering
No evidence of software tampering
Malware
No evidence of malware inclusion

FAQ for VsCoq

What is VsCoq?

VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant. For more information about this package, visit its homepage.

Is VsCoq malicious or is it safe to use?

The VS Code package VsCoq was scanned for malware, software tampering, risky behaviors, exposed secrets and known vulnerabilities. The package contains risks, and the analysis results should be reviewed before it is downloaded and used. Visit the Issues and Behaviors sections of the analysis for more details.

Is VsCoq popular?

The VS Code package VsCoq ranks among the top 10000 projects in this community. It has 42K recorded downloads. A package's popularity is not a good indicator of its safety, visit the SAFE Assessment section to see the full analysis of package deployment risk categories.

How do I secure VsCoq once it is in my app?

Since we can't know when or where malicious attacks will happen, we recommend tracking how VsCoq behaviors change over multiple software releases. By adopting differential analysis in your release process, you can detect unexpected changes to a VsCoq version, which can prevent advanced software supply chain attacks. Read how our technology can help prevent future attacks similar to SolarWinds and 3CX.

Did you know...

... that you can use ReversingLabs’ Spectra Assure platform to perform regular risk assessments of packages you develop in-house?

We recommend continuous software safeness monitoring through CI/CD integrations and pre-release/deployment checks. In addition to basic package information found on this page our platform offers rich reports for developers and DevSecOps that help them remediate all reported issues.

This website uses cookies to ensure the best website experience. By continuing to use this website you are giving your consent to cookies being used. Detailed information about our use of cookies is here.