Description
A Shape Analyzer Based on Symbolic Memory Graphs
Installation Instructions
dnf copr enable @aufover/predator && dnf install predator
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
| Release | Architectures | Repo Download |
|---|---|---|
EPEL 10
|
x86_64 (21)* | EPEL 10 (12 downloads) |
|
EPEL 7
|
x86_64 (100)* | EPEL 7 (58 downloads) |
|
EPEL 8
|
x86_64 (138)* | EPEL 8 (53 downloads) |
|
EPEL 9
|
x86_64 (129)* | EPEL 9 (50 downloads) |
Fedora 40
|
x86_64 (22)* | Fedora 40 (0 downloads) |
|
Fedora 41
|
x86_64 (42)* | Fedora 41 (24 downloads) |
|
Fedora 42
|
x86_64 (12)* | Fedora 42 (14 downloads) |
|
Fedora rawhide
|
x86_64 (527)* | Fedora rawhide (237 downloads) |
| Rhel+epel 10 | x86_64 (0)* | Rhel+epel 10 (0 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable @aufover/predator
More info about enabling Copr repositories