Claude escreveu a prova. A especificação ainda é sua.
O binário é RISC-V estático, compilado com clang, musl libc e lld. O fuzz target existe desde antes da prova — o que Claude fez foi transformar o teste em um enunciado matemático: para todo input abai
#software-engineering#software-development#backend#fuzzing#risc-v#theory#ai#ai-tools#ai-agent#anthropic#ai-code-security-risks#claude-code
Responses
Markdown supported · ⌘↵ to post
No responses yet.