![11
WitchcraftCompiler:Unlinking+Relinking
# i n c l u d e < s t d i o . h>
# i n c l u d e < s t d l i b . h>
# i n c l u d e < u n i s t d . h>
# i n c l u d e < s t r i n g . h>
char * ap parse log level ( const char * str , int * val ) ;
i n t main ( i n t a r g c , c h a r ** a r g v ) {
i n t i = 0;
char * r e t = 0;
i f ( argc < 2) {
p r i n t f ( ” Usage : %s <l o g l e v e l >n ” , argv [ 0 ] ) ;
e x i t ( EXIT SUCCESS ) ;
}
r e t = a p p a r s e l o g l e v e l ( a r g v [ 1 ] , &i ) ;
if (! ret ) {
p r i n t f ( ” l o g l e v e l : %d n ” , i ) ;
} else {
p r i n t f (”% s n ” , r e t ) ;
}
return 0;
}
New Release, on the DEF CON website](https://image.slidesharecdn.com/brossardjonathanwsolverdefcon-2026-260813153044-1731c9af/85/Witchcraft-Solver-Automated-0day-Discovery-in-Stripped-Binaries-11-320.jpg)
![19
CandidTake
"There are many opportunities at the
intersections with different disciplines, and I
would say that’s where there is the most to
be found. It is also where there is the most
value to build, because we talk a lot about
artificial intelligence for health, artificial
intelligence for the climate—in a way, it's a
bit of greenwashing at this stage, because
today artificial intelligence mostly serves to
generate hype[*]." - January 14 2026
Arthur Mensch
https://youtu.be/boIiMLR37kA?si=jf9WSLuUmZgQzpjw&t=542
[*] "Ca sert surtout à faire de la Publicité"](https://image.slidesharecdn.com/brossardjonathanwsolverdefcon-2026-260813153044-1731c9af/85/Witchcraft-Solver-Automated-0day-Discovery-in-Stripped-Binaries-19-320.jpg)
![38
OurfinalCProgram("theAIShowStopper:ExploitingabuginMathematics"):
undecidable.c
For each i in [0 ; 2⁶⁴ − 1], find {xᵢ,yᵢ,zᵢ} in ℤ³ such that:
xᵢ³ + yᵢ³ + zᵢ³ = i
The Question : Given a C program that bruteforces a
solution for each i, "will this algorithm stop ?"
is undecidable](https://image.slidesharecdn.com/brossardjonathanwsolverdefcon-2026-260813153044-1731c9af/85/Witchcraft-Solver-Automated-0day-Discovery-in-Stripped-Binaries-38-320.jpg)
Skip to main content
Uploaded byJonathan Brossard
Witchcraft Solver Automated 0day Discovery in Stripped Binaries
Explore automated vulnerability discovery in stripped binaries, the undecidability of security problems, and the theoretical limits of AI through formal proofs and practical demonstrations at DEF CON 34.
![[D2 COMMUNITY] Spark User Group - 머신러닝 인공지능 기법](https://cdn.slidesharecdn.com/ss_thumbnails/1-160307085445-thumbnail.jpg?width=640&height=640&fit=bounds)
