
Toolchain di ricerca sulla sicurezza basata su LLVM: NeverC, un cross-compilatore C23, e NeverD, un motore di analisi binaria e decompilazione che solleva PE, ELF, Mach-O, EVM e SBF a LLVM IR.
Sto sviluppando NeverC e NeverD — due strumenti basati su LLVM per la ricerca sulla sicurezza. NeverC è un compilatore C23; NeverD è un motore di analisi binaria e decompilazione. Compila in ingresso, solleva e decompila in uscita. Entrambi sono ancora in fase di sviluppo.
Un compilatore C23 AI-friendly per la ricerca sulla sicurezza, basato su LLVM.
Compila C standard in binari hosted, eseguibili freestanding e DynCode position-independent. Compilatore, linker e runtime vengono distribuiti come un unico binario, così puoi compilare in cross-compilazione Windows PE, Linux ELF, macOS Mach-O, Android e iOS da un singolo host. Include string, xorstr, mimalloc e un'API di plugin C attraverso la pipeline del compilatore.
Un motore di analisi binaria e decompilazione AI-friendly con lifting 1:1, basato su LLVM.
Carica PE, ELF, Mach-O, EVM e Solana SBF. I lifter sono scritti a mano; le istruzioni sconosciute falliscono invece di diventare un NOP silenzioso. Una sola pipeline: solleva a LLVM IR, decompila in C / Solidity / Rust, oppure riscrivi il binario. Gli strumenti CLI e gli agenti AI usano lo stesso motore attraverso un'API in puro C.