Search:
Search Results
Results: 1 - 7 of 7
Page:
1
dev-util/ropper
Use to display information about binary files in different file formats
sci-mathematics/vampire
The Vampire Prover, theorem prover for first-order logic
llvm-core/llvm
Low Level Virtual Machine
dev-libs/triton
Triton is a Dynamic Binary Analysis (DBA) framework
dev-util/ghidra
A software reverse engineering (SRE) framework
dev-haskell/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
dev-python/cpmpy
A numpy-based library for modeling constraint programming problems
Results: 1 - 7 of 7
Page:
1