Galois, Inc.
Results
16
repositories owned by
Galois, Inc.
HaLVM
1.0k
Stars
88
Forks
Watchers
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
MATE
171
Stars
11
Forks
Watchers
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
blt
65
Stars
10
Forks
Watchers
Lattice-based integer linear programming solver
cclyzerpp
111
Stars
14
Forks
Watchers
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
yapall
50
Stars
3
Forks
Watchers
A precise and scalable pointer analysis for LLVM, written in Ascent
surveyor
18
Stars
1
Forks
Watchers
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
grift
54
Stars
8
Forks
Watchers
Galois RISC-V ISA Formal Tools