smack

SMACK is both a modular software verification toolchain and a self-contained software verifier. It can be used to verify the assertions in its input programs. In its default mode, assertions are verified up to a given bound on loop iterations and recursion depth; it contains experimental support...

ProxyBridge

ProxyBridge ProxyBridge is a lightweight, open-source universal proxy client Proxifier alternative that provides transparent proxy routing for applications on Windows , macOS , and Linux. It redirects TCP and UDP traffic from specific processes through SOCKS5 or HTTP proxies, with the ability to...

cpufetch

Simple yet fancy CPU architecture fetching tool cpufetch is a command-line tool written in C that displays the CPU information in a clean and beautiful way Table of contents 1. Support 2. Installation 2.1 Installing from a package 2.2 Building from source 2.3 Android 3. Examples 3.1 x8664 3.2...

elfpeek

elfpeek Minimal ELF inspector with interactive REPL for quick binary analysis Why? Not a replacement for readelf or objdump. Just a quick, focused tool for common RE questions: What's the binary layout? Which segment/section contains this address? What's the file offset for this VA? What bytes ar...

brpc

中文版 bRPC is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "bRPC" means "better RPC". You can use it to: Build a server that can talk in multiple protocols on same...

Citrix-Bleed-Buffer-Overread-Demo

Citrix-Bleed-Buffer-Overread-Demo This code functionally approximates the Citrix Bleed vulnerability CVE-2023-4699 of the improper handling of the return value of snprintf in C...

Narthex

Narthex Narthex Greek: Νάρθηξ, νάρθηκας is a modular & minimal dictionary generator for Unix and Unix-like operating system written in C and Shell. It contains autonomous Unix-style programs for the creation of personalised dictionaries that can be used for password recovery & security assessment...

Q-DDOS-GUI

Q-DDOS-GUI DDOS WRITTEN IN C TCP/HTTP/HTTPS ddos written in c . Attack on tcp, http and https protocol. Attack with ddos choosing a random TIMEOUT between a range of seconds or with a defined Timeout. Select the number of threads you want to use. check the stop all box to stop all threads and...

iconvfix

iconvfix Bash script to patch for CVE-2024-2961 Currently works on Centos7. No warranty, do not use on production systems, this is just an internal helper : Usage tsh ssh username@target sudo 'bash -s' iconvfix.sh...

nexmon

nexmon이란? Nexmon은 Broadcom/Cypress WiFi 칩을 위한 C 기반 펌웨어 패칭 프레임워크로, radiotap 헤더가 포함된 모니터 모드와 프레임 주입을 활성화하는 등 자체 펌웨어 패치를 작성할 수 있게 해줍니다. 아래에서 nexmon으로 가능한 작업의 개요를 확인할 수 있습니다. 이 저장소는 주로 다양한 칩에서 모니터 모드와 프레임 주입을 활성화하는 데 초점을 맞춥니다. 추가 기능을 원한다면 다음 프로젝트들이 흥미로울 수 있습니다: http://nexmon.org/jammer: 진행 중인 프레임 전송에...

CVE-2026-11105-Stack-Buffer-Overflow-in-Custom-Base64-Decoder

CVE-2026-11105 – 사용자 지정 Base64 디코더의 스택 버퍼 오버플로우 프로그램 코드 C // base64vuln.c - Vulnerable Base64 decoder include include include int base64decodeconst char in, sizet inlen, char out, sizet outlen static const char table = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"; int outpos...

ShellShock-CGI-Scan

ShellShock-CGI-Scan C로 작성된 스크립트로, CGI 스크립트가 CVE-2014-6271 Bash 버그에 취약한지 확인합니다. 옵션: -i 로컬 IP 주소 -p 수신할 포트 -l 사이트 목록 -t 연결 타임아웃 기본값: 15초 예시: $ ./Scanner -i 127.0.0.1 -p 31337 -l sites.txt -t 5 로컬호스트의 포트 31337에서 수신을 시작하고, 'sites.txt' 파일의 사이트를 스캔하며, 연결 타임아웃을 5초로 설정합니다. 미리보기: alt tag...

external_libexif_AOSP10_r33_CVE-2020-0198

libexif ------- DESCRIPTION libexif is a library for parsing, editing, and saving EXIF data. It is intended to replace lots of redundant implementations in command-line utilities and programs with GUIs. FEATURES libexif supports parsing, editing and saving of EXIF data. In addition, it has gettex...

ica2tcp

Ica2Tcp 소개 Ica2Tcp는 C로 개발된 도구로, Citrix ICA 연결 내부에서 모든 TCP 연결을 프록시할 수 있게 해줍니다. 이는 Citrix에 있어 SSH에서의 ssh -D와 같은 역할을 합니다. 추가 정보는 여기에서 확인할 수 있습니다: https://www.sstic.org/2022/presentation/ica2tcp/ 면책 조항 이 도구는 인턴십 프로젝트로 개발되었으며 아직 개발 중입니다. "있는 그대로" 게시되므로 코드의 일부는 아직 약간 지저분합니다. 따라서 가끔 충돌이 발생할 수 있습니다. 더 깔끔...

c-jwt-cracker

JWT 크래커 C로 작성된 멀티스레드 JWT 무차별 대입 크래커입니다. 운이 매우 좋거나 엄청난 컴퓨팅 파워가 있다면, 이 프로그램은 JWT 토큰의 비밀 키를 찾아내어 유효한 토큰을 위조할 수 있게 해줍니다. 이는 테스트 목적으로만 사용하십시오. 문제에 빠지지 마세요 : 약간 수정한 Apple Base64 구현체를 사용했습니다. Docker 이미지 빌드 docker build . -t jwtcrack Docker에서 실행 docker run -it --rm jwtcrack...

CVE-2019-0708-test

CVE-2019-0708-test CVE-2019-0708 C Vulnerability Verification Programming Language: C Programming Software: Visual Studio 2012 Programming Environment: .Net Framework 4.5 A software written in C to verify the CVE-2019-0708 vulnerability Calls 0708detector.exe released by 360's 360Vulcan Team...

Revenant

Revenant Revenant는 C로 작성되었으며 Talon을 기반으로 하는 Havoc용 서드파티 에이전트입니다. 이 임플란트는 은밀한 실행 방법, 강력한 기능, 그리고 더 많은 커스터마이징을 구현하여 Talon 임플란트를 확장하기 위한 것입니다. 설정 이 프로젝트는 자체 포함된 Havoc C2 임플란트를 목표로 합니다. 목표로 하는 최종 사용자 기능은 다음과 같습니다: 참고 2023년 8월 기준, Havoc 0.6은 서드파티 에이전트 지원을 중단했습니다. @C5pider는 향후 릴리스에서 이 기능을 다시 가져올 예정이지만,...

C-Port-Scanner

Port-Scanner A port scanner that scans a target IP for open ports and displays the results, built with C Features Scans a single port or a range of ports Multithreaded, utilizing 10 threads Supports TCP connections Displays open ports Usage Compile with a C compiler make sure to include -lws232...

pafish

Pafish Pafish is a testing tool that uses different techniques to detect virtual machines and malware analysis environments in the same way that malware families do. The project is free and open source; the code of all the anti-analysis techniques is publicly available. Pafish executables for...

hydrafw

HydraFW 공식 펌웨어 - HydraBus v1용 HydraFW는 HydraBus v1 보드를 위한 네이티브 C및 어셈블리 기반 오픈 소스 펌웨어입니다. HydraBus v1 온라인 구매: http://hydrabus.com/buy-online HydraBus v1 시작하기: https://github.com/hydrabus/hydrafw/wiki/Getting-Started-with-HydraBus HydraFW 위키: https://github.com/hydrabus/hydrafw/wiki VT100 터미널에서...