Hello, LOR!
Galois Inc. has introduced Grease – a program for the static analysis of executable files and for finding vulnerabilities within them. Grease disassembles the executable file and constructs a model of its execution, after which it analyzes edge cases for potential errors. Grease can be used either as a standalone tool or as a plugin for the reverse engineering system Ghidra.
Grease supports the analysis of ELF executable files and dynamic libraries containing ARMv7l, PowerPC, or x86_64 code, and can also analyze LLVM bitcode.
The code is written in Haskell and is distributed under the BSD-3 license.
Source: linux.org.ru
