
Cadena de herramientas de investigación de seguridad basada en LLVM: NeverC, un compilador cruzado de C23, y NeverD, un motor de análisis binario y descompilación que eleva PE, ELF, Mach-O, EVM y SBF a LLVM IR.
Estoy desarrollando NeverC y NeverD — dos herramientas basadas en LLVM para investigación de seguridad. NeverC es un compilador de C23; NeverD es un motor de análisis binario y descompilación. Compila a la entrada, eleva y descompila a la salida. Ambas siguen en desarrollo.
Un compilador de C23 amigable para IA orientado a la investigación de seguridad, construido sobre LLVM.
Compila C estándar en binarios con entorno de ejecución, ejecutables independientes (freestanding) y DynCode independiente de la posición. El compilador, el enlazador y los runtimes se distribuyen como un único binario, por lo que puedes compilar de forma cruzada Windows PE, Linux ELF, macOS Mach-O, Android e iOS desde un solo host. Incluye string, xorstr, mimalloc y una API de plugins en C a lo largo del pipeline del compilador.
Un motor de análisis binario y descompilación amigable para IA con elevación 1:1, construido sobre LLVM.
Carga PE, ELF, Mach-O, EVM y Solana SBF. Los elevadores (lifters) están escritos a mano; las instrucciones desconocidas fallan en lugar de convertirse en un NOP silencioso. Un solo pipeline: elevar a LLVM IR, descompilar a C / Solidity / Rust, o reescribir el binario. Las herramientas de CLI y los agentes de IA usan el mismo motor a través de una API en C pura.