hal-hardware-analyzer 4.5.0 single
Comprehensive reverse engineering and manipulation framework for gate-level netlists
- Name
hal-hardware-analyzer-4.5.0- Package set
- top-level
- Homepage
- https://github.com/emsec/hal
- License
- MIT
- Main program
hal- Source
- pkgs/by-name/ha/hal-hardware-analyzer/package.nix:105
- Derivation
/nix/store/kwddkl1jijbj1hffn3ykrm76lfpp5549-hal-hardware-analyzer-4.5.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| risicle | Robert Scott | GitHub · code@humanleg.org.uk | listed on package |
Dependencies 19
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| boost 1.91.0 | buildInputs | 23,820 | unmaintained | |
| graphviz 15.1.1 | buildInputs | 16,056 | maintained outdated | |
| igraph_0 0.10.17 | buildInputs | 1 | single | |
| libsForQt5.quazip 1.5 | buildInputs | 4 | unmaintained outdated | |
| nlohmann_json 3.12.0 | buildInputs | 1,900 | single | |
| python3 3.14.7 | buildInputs | 72,272 | team-only outdated | |
| python314Packages.pybind11 3.0.4 | buildInputs | 10,844 | maintained outdated | |
| qt5.qtbase 5.15.19 | buildInputs | 841 | maintained | |
| qt5.qtsvg 5.15.19 | buildInputs | 724 | maintained | |
| rapidjson 1.1.0-unstable-2025-02-05 | buildInputs | 2,831 | maintained | |
| spdlog 1.17.0 | buildInputs | 21,472 | single | |
| verilator 5.052 | buildInputs | 4 | maintained | |
| z3 5.1.0 | buildInputs | 114 | maintained | |
| cmake 4.4.3 | nativeBuildInputs | 68,621 | unmaintained outdated | |
| ninja 1.13.2 | nativeBuildInputs | 67,851 | maintained | |
| pkg-config 0.29.2 | nativeBuildInputs | 77,751 | unmaintained | |
| qt5.wrapQtAppsHook 26.05pre-git | nativeBuildInputs | 535 | unmaintained setup hook | |
| 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.