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 7
|
x86_64 (70)* | EPEL 7 (25 downloads) |
|
EPEL 8
|
x86_64 (92)* | EPEL 8 (26 downloads) |
|
EPEL 9
|
x86_64 (92)* | EPEL 9 (22 downloads) |
Fedora 37
|
x86_64 (287)* | Fedora 37 (0 downloads) |
|
Fedora 38
|
x86_64 (108)* | Fedora 38 (54 downloads) |
|
Fedora 39
|
x86_64 (22)* | Fedora 39 (13 downloads) |
|
Fedora 40
|
x86_64 (0)* | Fedora 40 (2 downloads) |
|
Fedora rawhide
|
x86_64 (497)* | Fedora rawhide (192 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable @aufover/predator
More info about enabling Copr repositories