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 (96)* | EPEL 7 (46 downloads) |
EPEL 8 | x86_64 (121)* | EPEL 8 (43 downloads) |
EPEL 9 | x86_64 (104)* | EPEL 9 (40 downloads) |
Fedora 39 | x86_64 (53)* | Fedora 39 (0 downloads) |
Fedora 40 | x86_64 (10)* | Fedora 40 (23 downloads) |
Fedora 41 | x86_64 (29)* | Fedora 41 (10 downloads) |
Fedora rawhide | x86_64 (504)* | Fedora rawhide (218 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable @aufover/predator
More info about enabling Copr repositories