Abdulellah Alsaheel's repositories
bsod-kernel-fuzzing
BSOD: Binary-only Scalable fuzzing Of device Drivers
crypto-trading-bot
Cryptocurrency trading bot using python and binance.
cssaheel.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
DnD
A decompiler to automatically recover the DNN semantics from its compiled binary using program analysis
dxgkrnl_ubuntu
Microsoft GPU-P (dxgkrnl) on Hyper-V Ubuntu VM
Ethlint
(Formerly Solium) Code quality & Security Linter for Solidity
funcap_modified
IDA Pro script to add some useful runtime info to static analysis
llvm-slicing
Symbolic Program Slicing with LLVM
peafl64
Static Binary Instrumentation tool for Windows x64 executables
privateGPT
Interact privately with your documents using the power of GPT, 100% privately, no data leaks
ReveraLabs
http://reveralabs.blogspot.com/
securityonion
Security Onion 2 - Linux distro for threat hunting, enterprise security monitoring, and log management
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
semgrep-rules
Semgrep rules registry
signal-temporal-logic
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
slither
Static Analyzer for Solidity and Vyper
solhint
Solhint is an open-source project to provide a linting utility for Solidity code.
systeminformer
A free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware. Brought to you by Winsider Seminars & Solutions, Inc. @ http://www.windows-internals.com
ThreatHunting
An informational repo about hunting for adversaries in your IT environment.
TPLinkArcherC1200v1
Firmware for the TP-Link Archer C1200v1 Router
velociraptor
Digging Deeper....
VulHawk
This is the official repository for VulHawk.