symcc 1.0-unstable-2024-07-16 single
Efficient compiler-based symbolic execution
- Name
symcc-1.0-unstable-2024-07-16- Package set
- top-level
- Homepage
- https://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
- License
- GPL-3.0-or-later
- Main program
symcc- Source
- pkgs/by-name/sy/symcc/package.nix:62
- Derivation
/nix/store/36vynpx2pf47kgp5zckk9yjd6s1sxfl4-symcc-1.0-unstable-2024-07-16.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| jollheef | Mikhail Klementev | GitHub · root@dumpstack.io | listed on package |
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| llvm 21.1.8 | buildInputs | 31,283 | team-only | |
| z3 5.1.0 | buildInputs | 114 | maintained | |
| clang 21.1.8 | nativeBuildInputs | 16,405 | team-only | |
| cmake 4.4.3 | nativeBuildInputs | 68,621 | unmaintained outdated | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,592 | unmaintained setup hook | |
| ninja 1.13.2 | nativeBuildInputs | 67,851 | maintained | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.