Zellic's and V12's Work on x86 Binary Formal Verificationv12.sh2 points·_doctor_love··0 commentsOpen articleSaveView on HN