Reasoning About LLVM Code Using CodeWalker(arxiv.org)35 points·by mindcrime·11 ปีที่แล้ว·1 commentsarxiv.orgReasoning About LLVM Code Using CodeWalkerhttp://arxiv.org/abs/1509.060831 commentsPost comment[–]LForLambda·11 ปีที่แล้วreplyIs the code for this available anywhere?