Essays about: "Indirect jump resolution"
Found 1 essay containing the words Indirect jump resolution.
-
1. Proof-producing resolution of indirect jumps in the binary intermediate representation BIR
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : HolBA is a binary analysis library that can be used to formally verify binary programs using contracts. It is developed in the interactive theorem prover HOL4 to achieve a high degree of trust in verification, the result of verification is a machine-checked proof demonstrating its correctness. This thesis presents two proof-producing procedures. READ MORE
Result pages:
1