predator icon indicating copy to clipboard operation
predator copied to clipboard

verified publisher icon kdudka
→

Metadata

A Shape Analyzer Based on Symbolic Memory Graphs

Results 5 predator issues
Sort by recently updated
recently updated
newest added

CI: add GitHub Actions workflows with macOS

1 comment

lzaoral avatar lzaoral

macOS 14: predator cannot be built due to a bug in GCC

Related: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114007 I suggest to add a configure check to abort the build if broken GCC in used on macOS 14.

lzaoral avatar lzaoral

drop `fwnull` and `vra`

See the individual commit messages for details.

kdudka avatar kdudka

improve user experience with the full recovery mode

See the individual commit messages for details.

kdudka avatar kdudka

[WIP] Experiment with CL+LLVM testsuite

lzaoral avatar lzaoral

← Metadata

69
Stars
21
Forks
Watchers

Owner

verified publisher icon kdudka

Metadata

A Shape Analyzer Based on Symbolic Memory Graphs

Back