Pinned Repositories
bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
codeql-controller
cv
darkamaul.github.io
Personal site for Alexis
dependabot-test
fluffy-octo-train
WalkGPT
guava
Google core libraries for Java
aosp_dataset
Large Commit Precise Vulnerability Dataset based on AOSP CVE
bgraph
BGraph is a tool designed to generate dependencies graphs from Android.bp soong files.
DarkaMaul's Repositories
DarkaMaul/darkamaul.github.io
Personal site for Alexis
DarkaMaul/bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
DarkaMaul/cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS
DarkaMaul/codeql-controller
DarkaMaul/cv
DarkaMaul/fluffy-octo-train
WalkGPT
DarkaMaul/guava
Google core libraries for Java
DarkaMaul/ipyida
IPython console integration for IDA Pro
DarkaMaul/nixos-configuration
NixOS Configuration
DarkaMaul/nixpkgs
Nix Packages collection
DarkaMaul/osrobot
Repository for the OS Fall 2016 Project
DarkaMaul/ossf-cve-benchmark
The OpenSSF CVE Benchmark consists of code and metadata for over 200 real life CVEs, as well as tooling to analyze the vulnerable codebases using a variety of static analysis security testing (SAST) tools and generate reports to evaluate those tools.
DarkaMaul/slither
Static Analyzer for Solidity and Vyper
DarkaMaul/test-ossf-scorecard