That's funny, I recently went to a talk by Cristian Cadar about developments in ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		angry_octet on Aug 28, 2024 \| parent \| context \| favorite \| on: KLEE Symbolic Execution Engine That's funny, I recently went to a talk by Cristian Cadar about developments in KLEE and it seems very much alive. Perhaps you are talking through your hat.

rurban on Aug 28, 2024 [–]

good to hear. I thought it's dead (llvm 4.7 only)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact