Pinned Repositories
llvm-pass-cpp-rust
A skeleton LLVM pass in C++ and Rust
nix-config
nixpkgs
Nix Packages collection & NixOS
z3-matrix
An implementation of matrices for Z3 in OCaml.
bap
Binary Analysis Platform
lighthouse
A Coverage Explorer for Reverse Engineers
Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
nixpkgs
Nix Packages collection & NixOS
0poss's Repositories
0poss/z3-matrix
An implementation of matrices for Z3 in OCaml.
0poss/nix-config
0poss/llvm-pass-cpp-rust
A skeleton LLVM pass in C++ and Rust
0poss/nixpkgs
Nix Packages collection & NixOS