z3

Z3 Z3는 Microsoft Research의 정리 증명기입니다. MIT 라이선스에 따라 사용이 허가됩니다. Windows 바이너리 배포판에는 C++ 런타임 재배포 가능 패키지가 포함되어 있습니다. Z3에 익숙하지 않다면 여기에서 시작할 수 있습니다. 안정 및 야간 릴리스의 미리 빌드된 바이너리는 여기에서 사용할 수 있습니다. Z3는 Visual Studio, Makefile, CMake, vcpkg 또는 Bazel을 사용하여 빌드할 수 있습니다. 여러 프로그래밍 언어에 대한 바인딩을 제공합니다. Z3의 다양한 안정 릴리스에...

Query-Hub

CQL-Hub | CrowdStrike SIEM & LogScale Queries Welcome to the CQL-Hub Backend Repository This repository powers cql-hub.com: A free, community-driven hub for CrowdStrike Falcon SIEM queries. All queries stored here are automatically published and made visible on the CQL-Hub website, making it easi...

fuxi

Fuxi 2.1 - developing Fuxi is cross-platform compatible and works in any Python 3.x environment including Linux, Mac OSX and Windows. Getting Started Docker root@kitploit: docker pull jeffzh3ng/fuxi docker run -itd --name fuxidocker -p 5000:50020 jeffzh3ng/fuxi:latest Wait about 15 seconds for th...

xmlsec

XMLSec 라이브러리 XMLSec 라이브러리는 주요 XML 보안 표준을 위한 C 기반 구현을 제공합니다: XML 서명 구문 및 처리 XML 암호화 구문 및 처리 지원되는 기능 및 알고리즘에 대한 자세한 정보는 XMLDsig 및 XMLEnc 상호 운용성 보고서에서 확인할 수 있습니다. 문서 XMLSec 라이브러리의 전체 문서는 XMLSec 웹사이트 및 XMLSec GitHub Wiki에 게시되어 있습니다. 라이선스 XMLSec 라이브러리는 MIT 라이선스로 배포됩니다 Copyright 파일 참조. XMLSec 빌드 및 설치 자...

airgorah

Airgorah A WiFi security auditing software mainly based on aircrack-ng tools suite Installation | Usage | Credits Airgorah is a WiFi security auditing software that can capture nearby WiFi traffic, discover clients connected to access points, perform deauthentication attacks, capture handshakes,...

fsmon

fsmon Low level filesystem monitor utility for Linux, Android, iOS and macOS. Author : pancake @ nowsecure License : MIT Designed for System administrators and incident responders Security researchers and forensic analysts Developers debugging I/O-heavy applications Reverse engineers interested i...

codeql

CodeQL このオープンソースリポジトリには、GitHub Advanced Security と、GitHub が世界中の顧客に提供しているその他のアプリケーションセキュリティ製品を支える、標準の CodeQL ライブラリとクエリが含まれています。 CodeQL の学習とクエリの実行方法 CodeQL 言語 に関する広範なドキュメント、Visual Studio Code 用 CodeQL 拡張機能 を使用した CodeQL の作成方法、および CodeQL CLI の使用方法についてのドキュメントが用意されています。 貢献...

MasterHttpRelayVPN-RUST

mhrv-rs — bypass censorship for free, with your own Google account A small program that runs on your computer and lets you visit blocked websites for free, using a Google Apps Script you deploy in your own free Google account. Your ISP only sees encrypted traffic to — it can't tell what you're...

recheck

recheck The trustworthy ReDoS checker License MIT License. 2020-2025 C TSUYUSATO "MakeNowJust" Kitsune...

Bashark

Bashark 2.0 Post exploitation toolkit Bashark aids pentesters and security researchers during the post-exploitation phase of security audit. Usage To launch this tool on compromised host, simply source the bashark.sh script from terminal: $ source bashark.sh Then type help to see the help menu...

python-ecdsa

순수 Python ECDSA 및 ECDH 이것은 ECDSA타원곡선 디지털 서명 알고리즘, EdDSAEdwards-curve 디지털 서명 알고리즘 및 ECDH타원곡선 Diffie-Hellman를 지원하는 ECC타원곡선 암호의 사용하기 쉬운 구현체로, 순수 Python으로 구현되었으며 MIT 라이선스로 배포됩니다. 이 라이브러리를 사용하면 키 쌍서명 키와 검증 키을 빠르게 생성하고, 메시지에 서명하고, 서명을 검증할 수 있습니다. 또한 교환된 공개 키를 기반으로 공유 비밀 키에 합의할 수도 있습니다. 키와 서명은 매우 짧아서 처리...

FDD-book

FreeBSD Device Drivers From First Steps to Kernel Mastery by Edson Brandi · Version 2.0 April 2026 About This Book FreeBSD Device Drivers: From First Steps to Kernel Mastery is a free, open-source book that takes you from "I've never written kernel code" to "I can write, debug, and submit...

CodeAnalysis

TCA, Tencent Cloud Code Analysis code-named: CodeDog English | 简体中文 TCA Official Official website: https://tca.tencent.com Official introduction: https://cloud.tencent.com/product/tcap TCA CNB PagesBetter Internet Speed Domestic: https://cnb.cool/tencent/cloud/tca/code-analysis Domestic:...

DockSec

...

ntlm_relay_gat

NTLM Relay Gat Description NTLM Relay Gat is a powerful tool designed to automate the exploitation of NTLM relays using ntlmrelayx.py from the Impacket tool suite. By leveraging the capabilities of ntlmrelayx.py, NTLM Relay Gat streamlines the process of exploiting NTLM relay vulnerabilities,...

credcheck

Features Check credentils of given target. Check credentials passivlyusing regex. CMD-line script. Use as library Todos Publish on pypi Inclusion of api docs Pin-pointed regexes for Creds Test cases Multiple subparsers Complete regex Uses pre-requisite 3.6+ Command line usage root@kitploit: pytho...

hashcat

hashcat hashcat 은 세계에서 가장 빠르고 발전된 비밀번호 복구 유틸리티로, 300개 이상의 고도로 최적화된 해싱 알고리즘에 대해 5가지 독특한 공격 모드를 지원합니다. hashcat은 현재 Linux, Windows, macOS에서 CPU, GPU 및 기타 하드웨어 가속기를 지원하며, 분산 비밀번호 크래킹을 가능하게 하는 기능을 제공합니다. 라이선스 hashcat 은 MIT 라이선스에 따라 라이선스가 부여됩니다. 자세한 내용은 docs/license.txt를 참조하십시오. 설치 최신 릴리스를 다운로드하여 원하는 위...

adversarial-robustness-toolbox

Adversarial Robustness Toolbox ART v1.20 中国語READMEはこちら フォールバック画像の説明 Adversarial Robustness Toolbox（ART）は、機械学習セキュリティのためのPythonライブラリです。ARTは、Linux Foundation AI & Data Foundation（LF AI &...

s3sec

s3sec Test AWS S3 buckets for read/write/delete access This tool was developed to quickly test a list of s3 buckets for public read, write and delete access for the purposes of penetration testing on bug bounty programs. Screenshot Found a bug bounty using this tool? Feel free to add me as a...

zi

...