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 (26 downloads) |
|
EPEL 7
|
x86_64 (100)* | EPEL 7 (66 downloads) |
|
EPEL 8
|
x86_64 (142)* | EPEL 8 (58 downloads) |
|
EPEL 9
|
x86_64 (133)* | EPEL 9 (57 downloads) |
Fedora 40
|
x86_64 (22)* | Fedora 40 (0 downloads) |
|
Fedora 41
|
x86_64 (46)* | Fedora 41 (32 downloads) |
|
Fedora 42
|
x86_64 (16)* | Fedora 42 (25 downloads) |
|
Fedora 43
|
x86_64 (4)* | Fedora 43 (7 downloads) |
|
Fedora rawhide
|
x86_64 (531)* | Fedora rawhide (245 downloads) |
| Rhel+epel 10 | x86_64 (4)* | Rhel+epel 10 (12 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable @aufover/predator
More info about enabling Copr repositories