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 (25)* | EPEL 10 (31 downloads) |
|
EPEL 7
|
x86_64 (100)* | EPEL 7 (71 downloads) |
|
EPEL 8
|
x86_64 (142)* | EPEL 8 (63 downloads) |
|
EPEL 9
|
x86_64 (133)* | EPEL 9 (62 downloads) |
Fedora 41
|
x86_64 (46)* | Fedora 41 (35 downloads) |
|
Fedora 42
|
x86_64 (16)* | Fedora 42 (28 downloads) |
|
Fedora 43
|
x86_64 (4)* | Fedora 43 (14 downloads) |
|
Fedora rawhide
|
x86_64 (531)* | Fedora rawhide (249 downloads) |
| Rhel+epel 10 | x86_64 (4)* | Rhel+epel 10 (15 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable @aufover/predator
More info about enabling Copr repositories