smack

SMACK 既是一个 模块化软件验证工具链 ，也是一个 独立的软件验证器 。它可用于验证输入程序中的断言。在默认模式下，断言会在给定的循环迭代和递归深度边界内进行验证；同时，它也包含对无界验证的实验性支持。SMACK 能处理 C 语言的复杂特性，包括动态内存分配、指针算术和位运算。 在底层，SMACK 是一个将 LLVM 编译器的常用中间表示（IR）转换为 Boogie 中间验证语言（IVL）的翻译器。利用 LLVM IR 可以借助越来越多的编译器前端、优化和分析工具。目前，SMACK 仅通过 Clang 编译器支持 C 语言，但我们正在努力增加对其他语言的支持。以 Boogie...

elfpeek

elfpeek Inspector ELF mínimo con REPL interactivo para análisis rápido de binarios ¿Por qué? No es un reemplazo de readelf u objdump. Solo una herramienta rápida y enfocada para preguntas comunes de ingeniería inversa: ¿Cuál es la distribución del binario? ¿Qué segmento/sección contiene esta...

ShellShock-CGI-Scan

ShellShock-CGI-Scan Un script, en C, para comprobar si los scripts CGI son vulnerables a CVE-2014-6271 The Bash Bug. Opciones: -i dirección IP local -p puerto para escuchar -l lista de sitios -t tiempo de espera de conexión Predeterminado: 15s Ejemplo: $ ./Scanner -i 127.0.0.1 -p 31337 -l sites.t...

ProxyBridge

ProxyBridge ProxyBridge es un cliente proxy universal ligero y de código abierto alternativa a Proxifier que proporciona enrutamiento proxy transparente para aplicaciones en Windows , macOS y Linux. Redirige el tráfico TCP y UDP de procesos específicos a través de proxies SOCKS5 o HTTP, con la...

brpc

Versión en chino bRPC es un framework RPC de nivel industrial que utiliza el lenguaje C++, comúnmente usado en sistemas de alto rendimiento como Búsqueda, Almacenamiento, Aprendizaje automático, Publicidad, Recomendación, etc. "bRPC" significa "mejor RPC". Puedes usarlo para: Construir un servido...

cpufetch

简单而华丽的 CPU 架构信息获取工具 cpufetch 是一个用 C 语言编写的命令行工具，能够以简洁美观的方式显示 CPU 信息。 目录 1. 支持平台 2. 安装 2.1 通过软件包安装 2.2 从源码编译 2.3 Android 3. 示例 3.1 x8664 3.2 ARM 3.3 PowerPC 3.4 RISC-V 4. 颜色设置 4.1 指定名称 4.2 以 RGB 格式指定颜色 5. 实现 6. 错误或改进 6.1 未知微架构错误 6.2 其他情况 7. 致谢 8. cpufetch 用于 GPU（gpufetch） 1. 支持平台 操作系统| x8664...

nexmon

¿Qué es nexmon? Nexmon es nuestro framework de parcheo de firmware basado en C para chips WiFi Broadcom/Cypress que te permite escribir tus propios parches de firmware, por ejemplo, para habilitar el modo monitor con cabeceras radiotap e inyección de tramas. A continuación, encontrarás una visión...

Narthex

Narthex Narthex（希腊语：Νάρθηξ, νάρθηκας）是一个模块化且极简的字典生成器，适用于Unix及类Unix操作系统，用C和Shell编写。它包含独立的Unix风格程序，用于创建个性化字典，可用于密码恢复和安全评估。这些程序遵循Unix哲学，利用Unix文本流相互协作。它采用GPL v3.0许可证。 我制作了一段视频来解释Narthex的用法： https://www.youtube.com/watch?v=U0UmCeLJSkk&t=938s （时间戳是刻意为之） 工具 nchance - 大小写转换工具，将结果追加到字典底部。 ninc -...

ica2tcp

Acerca de Ica2Tcp Ica2Tcp es una herramienta desarrollada en C que permite actuar como proxy de cualquier conexión TCP dentro de una conexión Citrix ICA. Es para Citrix lo que ssh -D es para SSH. Puede encontrar información adicional aquí: https://www.sstic.org/2022/presentation/ica2tcp/ Descargo...

c-jwt-cracker

JWT cracker Un cracker de JWT por fuerza bruta multi-hilo escrito en C. Si tienes mucha suerte o un enorme poder de cómputo, este programa debería encontrar la clave secreta de un token JWT, permitiéndote falsificar tokens válidos. Esto es solo para fines de prueba, no te metas en problemas :...

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...

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...

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...

impostor

Impostor Servidor SMB1 para interceptar hashes NTLMv2, escrito en C. El objetivo del proyecto es implementar un servidor SMB1 como una máquina de estados que acepte y responda correctamente a las solicitudes del cliente para engañarlo, llevándolo a completar una autenticación NTLM y así revelar s...

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

CVE-2026-11105 – Desbordamiento de búfer en la pila en el decodificador Base64 personalizado Código del programa C // base64vuln.c - Vulnerable Base64 decoder include include include int base64decodeconst char in, sizet inlen, char out, sizet outlen static const char table =...

CVE-2019-0708-test

CVE-2019-0708-test CVE-2019-0708 Vulnerabilidad de verificación en C Lenguaje de programación: C Software de programación: Visual Studio 2012 Entorno de programación: .Net Framework 4.5 Un software escrito en C para verificar la vulnerabilidad CVE-2019-0708 Llama al 0708detector.exe publicado por...

cve-2024-2961

cve-2024-2961 Versión personalizada de https://sansec.io/downloads/cve-2024-2961.c Crédito: https://github.com/ambionics/cnext-exploits https://github.com/absolutedesignltd/iconvfix...

Revenant

Revenant Revenant es un agente de terceros para Havoc escrito en C, y basado en Talon. Este implante está pensado para expandir el implante Talon mediante la implementación de métodos de ejecución encubiertos, capacidades robustas y más personalización. Configuración Este proyecto pretende ser un...

C-Port-Scanner

Port-Scanner Un escáner de puertos que escanea una IP objetivo en busca de puertos abiertos y muestra los resultados, construido con C. Características Escanea un solo puerto o un rango de puertos Multihilo, utilizando 10 hilos Soporta conexiones TCP Muestra puertos abiertos Uso Compila con un...

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...