Nixpkgs security tracker

Login with GitHub
⚠️ You are using a production deployment that is still only suitable for demo purposes. Any work done in this might be wiped later without notice.

Suggestions search

Untriaged
Filter by:
With package: coqPackages.ConCert

Found 1 matching suggestions

View:
Compact
Detailed
Permalink CVE-2025-13044
6.2 MEDIUM
  • CVSS version: 3.1
  • Attack vector (AV): LOCAL
  • Attack complexity (AC): LOW
  • Privileges required (PR): NONE
  • User interaction (UI): NONE
  • Scope (S): UNCHANGED
  • Confidentiality impact (C): NONE
  • Integrity impact (I): HIGH
  • Availability impact (A): NONE
created 1 week, 3 days ago
Multiple Vulnerabilities in IBM Concert Software

IBM Concert 1.0.0 through 2.2.0 creates temporary files with predictable names, which allows local users to overwrite arbitrary files via a symlink attack.

References

Affected products

Concert
  • =<2.2.0

Matching in nixpkgs

pkgs.coqPackages.ConCert

A framework for smart contract verification in Rocq

  • nixos-unstable -
    • nixpkgs-unstable 1.0.1
    • nixos-unstable-small 1.0.1

Package maintainers