symcc
symcc 1.0-unstable-2024-07-16 · pkgs/by-name/sy/symcc/package.nix
Health
Risk
risk 1 low
- +1 no versionCheckHook
Version
1.0-unstable-2024-07-16 no newer release known to repology
Channels
master 1.0-unstable-2024-07-16 · nixos-unstable 1.0-unstable-2024-07-16 · nixos-26.05 1.0-unstable-2024-07-16 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Efficient compiler-based symbolic execution
License
Platforms
24 platforms: Linux
Main program
symccSource provenance
not set: built from source
Outputs
outStatus
not broken, not insecure, free
Maintainers
Version bumps 0
all open bumpsNone open.
Pull requests 0
None open.
Issues 0
None open.